13、可变参数函数：stdarg.h的使用，printf的实现原理

大家好，我是你们的嵌入式软件工程讲师。今天我们来聊一个C语言里非常“神奇”的特性——可变参数函数。

你想想看，printf这个函数，我们天天用。它后面可以跟1个参数，也可以跟10个参数。比如：

printf("Hello\n");                    // 1个参数
printf("a=%d, b=%d\n", a, b);         // 3个参数
printf("name=%s, age=%d, score=%.2f\n", name, age, score); // 4个参数

同一个函数，参数个数居然不固定！这是怎么做到的？

嗯，答案就在 stdarg.h 这个头文件里。今天我们就把它彻底讲透。

13.1 为什么需要可变参数？

我在项目中遇到过这样一个场景：写一个日志模块，需要支持不同数量的调试信息。如果每个日志函数都固定参数个数，那得写多少个重载版本？

说白了，可变参数就是为了解决“参数个数不确定”的问题。它让一个函数能接受任意数量的参数。

常见的应用场景：

• 格式化输出：printf、fprintf、sprintf
• 日志系统：自定义的 log_debug、log_error
• 错误处理：error() 函数，可以打印可变长度的错误信息
• 数学计算：求和、求最大值等，参数个数不固定

13.2 stdarg.h 的核心机制

要理解可变参数，你得先明白函数调用时参数是怎么传递的。在大多数架构上，参数是从右向左压入栈中的。第一个参数（通常是格式化字符串）在栈顶。

stdarg.h 提供了四个宏，它们配合起来就能“遍历”这些参数：

宏/类型	作用
va_list	声明一个变量，用来保存参数列表的指针
va_start(ap, last)	初始化 ap，让它指向第一个可变参数
va_arg(ap, type)	从 ap 中取出一个参数，类型为 type
va_end(ap)	清理工作，释放资源

我个人习惯把 va_list 想象成一个“游标”。va_start 把它定位到第一个可变参数，va_arg 每次读取一个并移动游标，va_end 就是关闭这个游标。

13.3 手写一个可变参数函数

光说不练假把式。我们来写一个简单的求和函数：

#include <stdio.h>
#include <stdarg.h>

// 计算 n 个整数的和
int sum(int count, ...) {
    va_list args;
    int total = 0;

    va_start(args, count);  // 初始化，count是最后一个固定参数

    for (int i = 0; i < count; i++) {
        total += va_arg(args, int);  // 每次取一个int
    }

    va_end(args);  // 清理

    return total;
}

int main() {
    printf("sum(3, 10, 20, 30) = %d\n", sum(3, 10, 20, 30));
    printf("sum(5, 1, 2, 3, 4, 5) = %d\n", sum(5, 1, 2, 3, 4, 5));
    return 0;
}

运行结果：

sum(3, 10, 20, 30) = 60
sum(5, 1, 2, 3, 4, 5) = 15

这里有个关键点：你必须告诉函数有多少个参数。你看，第一个参数 count 就是用来干这个的。为什么？因为 va_arg 只是机械地按类型大小从栈上取数据，它不知道什么时候该停。

13.4 printf 的实现原理

好了，现在我们来揭开 printf 的神秘面纱。它的核心逻辑其实很简单：

1. 解析格式化字符串（比如 "%d %s %f"）
2. 遇到 % 时，根据后面的格式字符，调用 va_arg 取出对应类型的参数
3. 把取出的值转换成字符串，输出到标准输出

一个简化版的 printf 实现大概长这样：

#include <stdio.h>
#include <stdarg.h>

void my_printf(const char *fmt, ...) {
    va_list args;
    va_start(args, fmt);

    while (*fmt) {
        if (*fmt == '%') {
            fmt++;  // 跳过 '%'
            switch (*fmt) {
                case 'd': {
                    int val = va_arg(args, int);
                    printf("%d", val);  // 这里为了演示，直接调标准printf
                    break;
                }
                case 'f': {
                    double val = va_arg(args, double);
                    printf("%f", val);
                    break;
                }
                case 's': {
                    char *val = va_arg(args, char *);
                    printf("%s", val);
                    break;
                }
                case 'c': {
                    char val = va_arg(args, int);  // 注意：char会被提升为int
                    printf("%c", val);
                    break;
                }
                default:
                    putchar(*fmt);
                    break;
            }
        } else {
            putchar(*fmt);
        }
        fmt++;
    }

    va_end(args);
}

int main() {
    my_printf("Hello %s, age=%d, score=%.2f\n", "Alice", 25, 92.5);
    return 0;
}

13.5 可变参数的陷阱与避坑指南

这部分是我最想跟你分享的。可变参数虽然好用，但坑也不少。

我曾经在一个通信协议解析模块里，因为 va_arg 的类型写错了，导致解析出来的数据全是错的。排查了三个小时，最后发现是 float 和 double 的坑。嗯，从那以后，我每次写可变参数函数都会格外小心。

13.6 知识体系总览

下面这张图帮你梳理了本章的核心知识点：

13.7 总结

可变参数函数是C语言里一个非常强大的工具。它让 printf 这样的函数成为可能，也让我们的日志系统、错误处理更加灵活。

但强大也意味着责任。使用 stdarg.h 时，你必须时刻记住：

• 明确告诉函数有多少个参数
• va_arg 的类型必须和实际传入的类型完全一致
• 别忘了调用 va_end 做清理
• 小心 float 和 char 的类型提升

我个人建议，在实际项目中，尽量把可变参数函数封装成宏或者包装函数，减少直接暴露给用户。这样既能享受可变参数的便利，又能降低出错的风险。

好了，今天就讲到这里。记住，理解 printf 的实现原理，你就掌握了C语言可变参数的精髓。

---

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