C语言可变参数函数是怎么实现的？va_list 原理是什么？

可变参数函数就是参数个数不固定的函数，最典型的例子是 printf。C 语言通过 <stdarg.h> 里的四个宏来操作可变参数：va_list 声明参数指针，va_start 定位到第一个可变参数，va_arg 逐个取出参数，va_end 收尾清理。

追问

va_list 的底层原理是什么？

函数参数从右往左压栈，所以最后一个固定参数的地址紧挨着第一个可变参数。va_list 本质上是 char* 指针，va_start 根据最后一个固定参数的地址加上它的偏移量，算出第一个可变参数的位置。va_arg 取出当前参数后，指针按类型大小前进到下一个。

这就是为什么 va_start 需要传最后一个固定参数——它得知道从哪里开始找可变参数。

为什么可变参数没有类型安全？

C 语言的调用约定只负责把参数压栈，不传递类型信息。va_arg(args, type) 里的 type 完全由调用者自己指定——你写 va_arg(args, int) 就按 int 读，写 va_arg(args, double) 就按 double 读，编译器不做任何检查。printf 的 %d、%f 就是靠格式字符串来"约定"参数类型，格式串写错就会读到垃圾值。

可变参数怎么知道自己有几个参数？

没办法自动知道，必须靠约定。常见做法有三种：1) 像 printf 用格式字符串描述参数个数和类型；2) 第一个参数传数量，如 sum(3, 10, 20, 30)；3) 用哨兵值结尾，如 concat("a", "b", NULL)。

va_copy 是干什么用的？

复制一个 va_list 的当前状态。场景是你需要遍历两遍可变参数——第一遍计算长度，第二遍真正处理。遍历一遍后 va_list 已经指到末尾了，用 va_copy 在遍历前备份一份就能重来。

c
va_list args, args_copy;
va_start(args, fmt);
va_copy(args_copy, args);  // 备份
// 第一遍：计算长度
vsnprintf(NULL, 0, fmt, args);
// 第二遍：实际格式化
vsnprintf(buf, size, fmt, args_copy);
va_end(args);
va_end(args_copy);

可变参数有什么坑？

最大的是类型提升：char 和 short 会自动提升为 int，float 提升为 double。所以 va_arg(args, char) 是错的，必须写 va_arg(args, int)。另外，可变参数不能是结构体或联合体，只能传基本类型和指针。

写段代码

c
int sum(int count, ...) {
    va_list args;
    va_start(args, count);
    int total = 0;
    for (int i = 0; i < count; i++)
        total += va_arg(args, int);
    va_end(args);
    return total;
}
// sum(3, 10, 20, 30) → 60