<p>可变参数函数必须至少有一个固定参数，如void log(const char* fmt, ...)，因va_start需通过其地址定位参数；不能使用void func(...)，否则行为未定义。</p>
可变参数函数必须有固定参数打头
纯“不限长度”的可变参数函数在 C++ 中不存在——va_start 要求至少一个命名参数来定位栈上参数起始位置。这意味着你不能写 void func(...) 这种零参数形式，否则 va_start 行为未定义，多数编译器会报错或崩溃。
常见错误现象：error: expected parameter declarator before '...' token（Clang/GCC）或运行时栈读取错乱。
- 必须至少带一个普通形参，比如
void log(const char* fmt, ...) - 该参数不能是引用、const 限定的右值引用等无法取地址的类型（因
va_start内部需取其地址） - C++20 起支持
auto...模板参数包，但那是编译期展开，和传统...运行时可变参数无关
用 va_list + va_start/va_arg/va_end 手动解析
这是最底层、最通用的方式，兼容所有 C++ 标准，但要求你自行管理类型安全与参数个数。
使用场景：封装日志、格式化输出（如 printf 风格）、与 C 库交互。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
va_start(ap, last_named)中last_named必须是最后一个有名字的参数（不能是数组名、临时对象） -
va_arg(ap, T)的T必须与实参类型严格匹配（int传char会出错；float自动升为double，必须用double取） - 必须调用
va_end(ap)，否则某些平台（如 x86-64 Windows）可能引发未定义行为
void print_ints(int count, ...) {
va_list ap;
va_start(ap, count);
for (int i = 0; i < count; ++i) {
int x = va_arg(ap, int); // 注意：这里必须写 int，不是 short 或 long
printf("%d ", x);
}
va_end(ap);
}C++11 起推荐用参数包模板替代运行时可变参数
如果你不需要兼容 C 接口、也不需要在运行时决定参数个数，模板参数包更安全、更高效，且支持完美转发和类型推导。
性能影响：零运行时开销，全部编译期展开；而 va_* 是纯运行时机制，无类型检查，易出错。
- 递归展开时注意终止条件（通常用空参数包特化或
sizeof...(Args)判断） - 若要支持任意类型（包括
std::string、自定义类），需配合std::forward和引用折叠 - 无法像
printf那样靠格式字符串动态控制参数解释方式
template<typename... Args>
void safe_print(Args&&... args) {
((std::cout << std::forward<Args>(args) << " "), ...); // C++17 折叠表达式
std::cout << "\n";
}别忘了类型安全这个硬伤
传统 ... 函数没有类型信息，编译器无法校验实参与形参是否匹配。这是它最危险的地方，也是现代 C++ 强烈不鼓励直接使用的原因。
容易踩的坑：
- 传
nullptr给期望int*的位置，但函数内部按int解析，导致非法内存访问 - 32 位/64 位平台下指针和整数宽度不同，
va_arg(ap, void*)和va_arg(ap, size_t)混用极易出错 - 省略号后跟了
std::string、std::vector等非 POD 类型，行为未定义（它们不会被自动退化，且构造/析构逻辑丢失）
真正需要运行时可变参数时，建议封装一层类型擦除（如 std::vector<std::any> 或自定义 variant 容器），而不是裸用 va_*。那才是可控的“不限长度”。
