可变参数函数在C++中可通过va_list和可变参数模板实现。va_list来自C语言，适用于格式化输出等需兼容C的场景，但无类型安全，依赖手动管理参数；而自C++11起引入的可变参数模板提供类型安全、编译期展开，支持任意类型且无运行时开销，推荐用于现代C++开发。两者核心区别在于类型安全性与性能：模板在编译期处理，更安全高效，但错误信息复杂；va_list运行时操作，易出错且调试困难。新项目应优先使用可变参数模板，维护旧代码或对接C库时保留va_list。掌握二者有助于应对不同需求。
在C++中实现可变参数函数主要有两种方式：传统的va_list机制和现代C++的可变参数模板（variadic templates）。两者各有适用场景，理解它们的原理和使用方法对编写灵活、高效的代码非常有帮助。
使用va_list实现可变参数函数
va_list是C语言遗留下来的机制，在C++中依然可用，适用于参数数量未知但可通过某种规则推断的场景，比如格式化输出。
核心头文件为<cstdarg></cstdarg>，涉及四个宏：
- va_start：初始化参数列表
- va_arg：获取下一个参数
- va_end：清理参数列表
- va_copy：复制参数列表（可选）
示例：实现一个简单的求和函数
立即学习“C++免费学习笔记（深入）”；
#include <iostream>
#include <cstdarg>
double sum(int count, ...) {
va_list args;
va_start(args, count);
double total = 0.0;
for (int i = 0; i < count; ++i) {
total += va_arg(args, double);
}
va_end(args);
return total;
}
// 调用
// std::cout << sum(3, 1.1, 2.2, 3.3) << std::endl;
注意：va_list不进行类型检查，传参错误容易导致未定义行为。此外，必须知道参数个数或通过结束标记判断（如printf中的%符号）。
使用可变参数模板实现类型安全的变参函数
从C++11开始，可变参数模板提供了类型安全、编译期展开的解决方案，更加灵活且不易出错。
基本语法包括参数包（parameter pack）和展开操作（...）。
示例：递归方式实现参数打印
#include <iostream>
// 终止函数
void print() {
std::cout << std::endl;
}
// 可变参数模板函数
template<typename T, typename... Args>
void print(T first, Args... args) {
std::cout << first << " ";
print(args...);
}
// 调用
// print(1, "hello", 3.14, 'x');
这种写法通过递归调用逐步展开参数包，直到参数为空时匹配终止函数。每个参数在编译期确定类型，避免运行时错误。
参数包的其他展开方式
除了递归，还可以使用逗号表达式结合数组初始化或fold expressions（C++17）来展开参数包。
C++17支持折叠表达式，极大简化了操作：
template<typename... Args>
auto add(Args... args) {
return (args + ...); // 左折叠，等价于 (((a+b)+c)+...)
}
若需遍历执行操作而不聚合结果，可使用：
(template void(print(args)), ...);
选择建议与注意事项
va_list适合兼容C风格接口或处理格式化字符串等传统场景，但缺乏类型安全。可变参数模板更推荐用于现代C++项目，尤其需要类型检查和模板推导时。
关键区别：
- 类型安全：模板是类型安全的，va_list不是
- 性能：模板在编译期展开，无运行时开销；va_list有栈操作开销
- 调试难度：模板错误信息可能复杂，va_list错误难追踪
- 通用性：模板支持任意类型，va_list要求可平凡复制且调用者明确类型
基本上就这些。对于新项目，优先考虑可变参数模板；维护旧代码或对接C库时，va_list仍是必要工具。掌握两者能让你在不同场景下游刃有余。
