在哪些情况下应使用va_list

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永远不应该使用,因为它提供了更好的替代方案,称为可变参数模板,这是类型安全而va_list不是.

在C中,您可以va_list在需要可变参数时使用,但要小心,因为它不是类型安全的.

是的,你的朋友是对的:va_list很危险.尽量避免使用它.

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

但是可变类型安全 printf可以在C++ 11中实现,如:(取自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");
}