Question

我创建了一个小型C库，它实现了图论算法，并将它们绑定在Python中使用。

我发送给朋友检查一下，他告诉我va_list是“危险的”，不得用于此类项目。

所以问题是。在哪些情况下应该使用va_list？

Answer 1

我看到的主要问题是，无法保证您确实得到了您期望的参数数量，并且无法检查它。这使得错误无法察觉，而且无法检测到的错误显然是最危险的错误。 va_arg也不是类型安全的，这意味着如果你传递double并期望unsigned long long，你将获得垃圾而不是一个好看的整数，并且无法在编译时检测它。（当类型甚至没有相同的大小时，它变得更加混乱）。

根据您处理的数据，这可能或多或少是一个问题。如果你传递指针，省略一个参数几乎立即致命，因为你的函数将检索垃圾，而这个可以（如果行星正确对齐）成为一个漏洞。

如果您传递“常规”数字数据，那么它取决于函数是否至关重要。在某些情况下，您可以轻松地检测到查看函数输出的错误，在某些实际情况下，如果函数失败，它确实没有那么大的问题。

这一切都围绕着你是否害怕自己忘记自己的论点。

C ++ 11具有可变参数模板功能，允许您以安全的方式处理任意数量的参数。如果从C到C ++的步骤没有太大的伤害，你可以调查一下。

Answer 2

在C ++ 11中，永远不应该使用va_list，因为它提供了更好的替代方案variadic template，它是类型安全的，而va_list则不是。

在C中，当需要可变参数函数时可以使用va_list，但要小心，因为它不是类型安全的。

是的，您的朋友是正确的：va_list 危险。尽量避免使用它。

在C和C ++ 03中，标准库函数printf是使用va_list实现的，这就是为什么C ++ 03程序员通常会避免使用它，因为它不是类型安全的。

但是可以在C ++ 11中实现可变的类型安全 printf，如下所示:(取自wiki）

void printf(const char *s)
{
    while (*s) {
      if (*s == '%' && *(++s) != '%')
        throw std::runtime_error("invalid format string: missing arguments");
      std::cout << *s++;
    }
}

template<typename T, typename... Args>
void printf(const char *s, T value, Args... args)
{
    while (*s) {
      if (*s == '%' && *(++s) != '%') {
         std::cout << value;
         ++s;
         printf(s, args...); 
         return;
      }
      std::cout << *s++;
    }
    throw std::logic_error("extra arguments provided to printf");
}

Answer 3

va_list有一些与函数参数规范不足相关的不利因素：

调用这样的函数时，编译器不知道是什么类型的争论是预期的，所以标准强加了一些“通常的转换“在参数传递给函数之前。例如提升比int窄的整数，所有float都是晋升为double。在某些边境案件中，你没有收到你的希望在被叫函数中使用。
在被调用函数中，您告诉编译器什么类型的参数你期待和他们有多少。无法保证呼叫者能够做到正确。

如果你无论如何都传递了参数的数量，并且它们具有相同的已知类型，你可以使用临时数组传递它们，为C99编写：

void add_vertices(graph G, vertex v, size_t n, vertex neigh[n]);

你会称之为

add_vertices(G, v, nv, (vertex []){ 3, 5, 6, 7 });

如果调用约定对你来说太难看了，你可以把它包装成宏

#define ADD_VERTICES(G, V, NV, ... ) add_vertices((G), (V), (NV), (vertex [NV]){ __VA_ARG__ })

ADD_VERTICES(G, v, nv, 3, 5, 6, 7);

这里...表示宏的类似概念。但结果更加安全，因为编译器可以进行类型检查，并且不会延迟执行。

Answer 4

如果要在C中实现具有可变参数计数的函数，可以使用va_list。例如，printf使用va_list。不知道为什么它会危险。

在哪些情况下应使用va_list

4 个答案: