C风格变长函数必须至少有一个命名参数，否则va_start无法确定参数起始位置；正确写法如void print_ints(int count, ...)中传入count作为va_start的第二个参数。
用 va_list + va_start/va_arg/va_end 定义 C 风格变长函数
标准 C++ 不支持像 Python 那样直接写 void func(...) 的纯变长参数，必须借助 C 标准库的可变参数宏。这类函数底层依赖栈布局和调用约定，所以**必须至少有一个命名参数**（通常是用于推断后续参数类型的“哨兵”或计数器），否则 va_start 无法确定参数起始位置。
常见错误是漏掉固定参数，导致 va_start 行为未定义，程序可能崩溃或读到垃圾值：
// ❌ 错误：没有固定参数，va_start 无从下手
void bad_print(...) {
va_list args;
va_start(args, ???); // 这里根本没法填
}正确写法示例（按数量控制）：
void print_ints(int count, ...) {
va_list args;
va_start(args, count); // 固定参数名必须传入
for (int i = 0; i < count; ++i) {
int val = va_arg(args, int); // 必须显式指定类型
printf("%d ", val);
}
va_end(args);
}
// 调用：print_ints(3, 10, 20, 30);- 类型必须和
va_arg中声明的完全一致，int传double会解错位 - 不能跳过参数，必须按顺序逐个
va_arg取出 - 调用方和函数方对参数个数/类型的约定要严格一致，编译器不检查
C++11 起优先用模板参数包替代
现代 C++ 更推荐用 template<typename... args></typename...> 实现类型安全、零运行时开销的变长逻辑。它在编译期展开，支持自动类型推导，且能配合 std::forward 完美转发。
立即学习“C++免费学习笔记（深入）”；
比如实现一个类型安全的日志函数：
template<typename... Args>
void log(const char* fmt, Args&&... args) {
// 可用 fmt 解析占位符，再用 args... 展开传给 sprintf 或 std::format
printf(fmt, std::forward<Args>(args)...);
}
// 调用：log("x=%d, s=%s", 42, "hello"); // 类型由编译器推导，不会错- 参数包展开
...必须紧贴被展开的表达式，空格或换行会导致语法错误 - 若需在展开中做条件判断（如首个参数特殊处理），得用折叠表达式（
(args && ...)）或递归模板 - 无法直接获取参数个数，要用
sizeof...(Args)
为什么不要混用 printf 风格字符串和模板参数包
看似方便的组合——比如写 template<typename... args> void safe_printf(const char* fmt, Args&&... args)</typename...>——实际非常危险。因为 printf 系列函数本身是 C 风格变长函数，它只认运行时传入的原始值，不理解模板类型信息。一旦 fmt 字符串里的格式符（如 %s）和实际传入的 std::string 对不上，就会崩溃。
-
safe_printf("%s", std::string("hi"))→ 传的是std::string对象地址，不是 C 字符串指针，printf会尝试解引用乱地址 - 正确做法是强制转换：
safe_printf("%s", std::string("hi").c_str())，但这把类型检查责任又推回给了人 - 更稳妥的是用
std::format（C++20）：std::format("x={}", 42)，它在编译期解析格式串，类型不匹配直接编译失败
容易被忽略的 ABI 和跨平台问题
C 风格变长函数的行为高度依赖 ABI（应用二进制接口）。例如 x86-64 System V ABI 规定前 6 个整数参数走寄存器，而 Windows x64 则全部压栈；ARM64 又有不同规则。这意味着用 va_arg 取参时，如果调用方和被调用方 ABI 不一致（比如动态库用不同编译器生成），va_list 内部结构可能错位。
- Windows 上用 MSVC 编译的 DLL，被 MinGW 程序调用变长函数，大概率出错
- 嵌入式平台（如 ARM Cortex-M）某些编译器对
va_list实现有差异，尤其涉及浮点参数时 - 调试时
va_arg取出的值看起来“随机”，往往就是 ABI 不匹配或类型声明错误
除非对接 C 接口或性能极端敏感，否则别碰 va_list。模板参数包和 std::format 能覆盖绝大多数场景，而且把错误拦在编译期。
