va_list必须配对使用va_start和va_end，否则导致未定义行为；其类型平台相关，不可赋值拷贝；va_start第二参数须为省略号前最后一个具名参数；va_end须在返回前调用；连续va_start前需先va_end；va_arg类型必须严格匹配，否则读错内存。
va_list必须配对使用va_start和va_end
不配对会导致未定义行为，常见表现是程序崩溃或参数读取错乱。C++里va_list本质是个平台相关类型（可能是指针、结构体或数组），不能直接赋值或拷贝，只能通过va_start初始化、va_end清理。
实操要点：
-
va_start第二个参数必须是省略号...前的**最后一个具名参数**，写错会导致栈偏移计算错误 -
va_end必须在函数返回前调用，哪怕提前return也要包一层if或用goto确保执行 - 不能在同一个
va_list上连续调用两次va_start，需先va_end再重新va_start
va_arg读取参数时类型必须严格匹配
编译器不会检查va_arg传入的类型是否与实际压栈类型一致，类型不匹配会直接读错内存——比如把int当double读，结果是随机大数或NaN。
常见陷阱：
立即学习“C++免费学习笔记（深入）”；
- 可变参数中传
char、short会被整型提升为int，读取时得用int，不能用原类型 - 传
float会被提升为double，读取必须用double - 传结构体或类对象是未定义行为，C++标准禁止——只允许POD类型且大小≤寄存器宽度（通常限于基本类型）
printf风格接口需要额外类型提示
像printf能安全读参，是因为格式字符串里隐含了每个参数的类型信息。自己写不定参函数时，也得提供类似机制，否则调用方和实现方类型约定一旦错位就崩。
可行方案：
- 用第一个固定参数传类型标识，比如
my_printf(int count, const char* types, ...)，其中types是"iisf"这种字符串 - 用枚举常量代替字符串，更类型安全，如
my_log(LOG_INT, LOG_STR, LOG_FLOAT, ...) - 现代C++更推荐用模板+参数包替代，
va_list仅用于对接C API（如vprintf）
在C++中优先考虑variadic template而非va_list
va_list是C遗留机制，在C++里缺乏类型安全、无法展开为编译期操作、不支持移动语义。遇到需要处理任意类型参数的场景，应优先用可变参数模板。
对比示例：
// C风格：危险，无类型检查
void old_style(int n, ...) {
va_list args;
va_start(args, n);
for (int i = 0; i < n; ++i) {
int x = va_arg(args, int); // 假设全是int，错了不报错
}
va_end(args);
}
<p>// C++11风格：类型安全，自动推导
template<typename... Args>
void new_style(Args&&... args) {
((std::cout << args << " "), ...); // C++17折叠表达式
}va_list真正不可替代的场合只剩两个：封装C API（如自定义vfprintf）、或极低层系统编程（如实现自己的syscall包装）。其他情况硬用它，等于主动放弃编译器的类型保护。
