c++ - va_list 还在 C++ 中使用吗？还是鼓励使用 template？

Question

在 C 中，定义可变长度参数的唯一方法是使用省略号声明其原型(prototype)并使用 va_list、va_start、va_arg, va_end 来提取它们。就像 printf 系列和 scanf 系列一样。

在 C++11 中，引入了如下新方法。

template <typename T, typename... MoreT>
void func(T arg, MoreT... args){
    // Do some stuff
    func(args);
}

每种方法的优点和缺点是什么？在 C++ 中是不鼓励使用还是鼓励使用它们中的任何一个？

Answer 1

在 C++ 中强烈不鼓励使用 C 风格的可变参数函数。风格各不相同，但编写这些类型的函数会让您在某些圈子(包括我的圈子)中大吃一惊，除非有真正特殊的原因。

就权衡而言，C 风格的可变参数函数是完全类型不安全的。您可以尝试从可变参数包中提取某些错误类型的内容，这将导致段错误。 C++ 可变参数模板是强类型的，所以这是不可能的(当然除非你用 reinterpret_cast 或类似的东西绝对强制它)。

除此之外，C++ 代码通常(由于代码膨胀而出现极少数异常(exception))在运行时表现更好。编译器可以使用的间接信息更少，信息更多。但是，编译时间可能会更长，特别是因为可变参数模板函数(与所有模板一样)通常必须在头文件中定义，而 C 样式可变参数可以在 .cpp 文件中定义。

在大多数 C 或 C++ 代码(为非常高性能的应用程序编写)中，优先级顺序通常是正确性，然后是性能，然后是编译时间。因此，大多数 C++ 开发人员认为可变参数模板在这里是明确、明确的赢家。

它基本上非常类似于 C++ 中使用模板的适当通用容器与 C++ 中基于 void* 的容器之间的比较。类型安全 + 运行时性能，对比编译时性能(以及 .h 对比 .cpp)。