15、可变参数：va_list的使用与类型安全问题

可变参数，说白了就是让函数能接受不定数量的参数。

printf 大家都用过吧？它就是个典型。你传几个参数都行，它都能处理。

但这里头有个坑，而且是个大坑——类型安全。

va_list 的基本用法

先看看标准套路。我刚开始用可变参数时，也觉得挺简单。

#include <stdarg.h>

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);
}

流程就四步：

• va_list：声明一个参数列表变量
• va_start：初始化，第二个参数是最后一个固定参数
• va_arg：逐个取出参数，要指定类型
• va_end：清理收尾

嗯，这里要注意：va_start 的第二个参数必须是最后一个具名参数。少了它，编译器都不知道从哪开始取可变参数。

类型安全——最大的隐患

为什么说可变参数不安全？

因为编译器在编译时，根本不知道你传的是什么类型。

你想想看，va_arg 取参数时，类型是你自己指定的。你指定错了，程序就崩了。

我在项目中遇到过这样一个问题：

有个日志函数，用可变参数传浮点数。有人传了 float，但 va_arg 里写的是 double。结果呢？

float 在可变参数中会被自动提升为 double。所以用 double 取没问题。但反过来，你传了 double 却用 float 取，那就出事了。

默认参数提升规则

C 语言有个隐晦的规则，叫「默认参数提升」。说白了就是：

所以你在 va_arg 里，永远不要写 char、short、float。要写提升后的类型。

// 错误
char c = va_arg(args, char);

// 正确
int c = va_arg(args, int);

如何规避类型安全问题

我个人习惯用两种方式：

1. 用格式字符串控制类型——就像 printf 那样，用 %d、%f 来告诉函数该取什么类型。
2. 用宏封装——把类型信息编码到宏里，减少手动指定出错的可能。

举个例子，我写过一个简单的日志宏：

#define LOG(fmt, ...) \
    do { \
        printf("[LOG] " fmt "\n", ##__VA_ARGS__); \
    } while(0)

这样类型由编译器去推导，不会出错。

va_copy 的使用场景

有时候你需要多次遍历可变参数列表。比如先算个总数，再逐个处理。

但 va_list 遍历一次后就废了。怎么办？

用 va_copy 复制一份。

void process_values(int count, ...) {
    va_list args;
    va_start(args, count);

    // 复制一份
    va_list backup;
    va_copy(backup, args);

    // 第一次遍历：求和
    int sum = 0;
    for (int i = 0; i < count; i++) {
        sum += va_arg(args, int);
    }

    // 第二次遍历：用备份
    for (int i = 0; i < count; i++) {
        int val = va_arg(backup, int);
        printf("%d ", val);
    }

    va_end(backup);
    va_end(args);
}

常见陷阱总结

• 忘记 va_end——有些平台会泄漏资源
• va_arg 类型写错——运行时崩溃，很难排查
• 参数个数不匹配——取多了或取少了，数据全乱
• 在循环外使用 va_arg——顺序乱了，结果就错了

我曾经调试过一个 bug，花了整整一下午。最后发现是 va_arg 里写成了 short，而实际传的是 int。嗯，从那以后我再也不敢在可变参数里用小于 int 的类型了。

知识体系图

这张图把可变参数的核心知识点串起来了。从基本用法出发，延伸到类型安全这个最大的坑，再到默认提升规则和规避方案。最后别忘了那些常见陷阱，每一个我都踩过。

公众号:蓝海资料掘金营，微信deep3321