va_list 还在 C++ 中使用吗？还是鼓励使用 template<typename... T> ？

Question

在 C 中，定义可变长度参数的唯一方法是使用省略号声明其原型并使用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++ 代码通常也会在运行时（由于代码膨胀而出现罕见的异常）在运行时表现得更好。间接性更少，编译器可以使用更多信息。但是，编译时间可能会更长，特别是因为可变参数模板函数（如所有模板）通常必须在头文件中定义，而 C 样式可变参数可以在 .cpp 文件中定义。

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

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