20、可变参数函数：printf 是怎么实现不定参数的？

说实话，我刚学C语言那会儿，看到 printf("a=%d, b=%s", a, "hello") 这种写法，心里就犯嘀咕：这函数到底怎么知道传了多少个参数进去的？

后来做嵌入式开发，自己写日志模块时，也遇到了同样的需求——日志打印的参数个数是不固定的。这才逼着我认真研究了一下可变参数函数的实现原理。

今天咱们就把这个「黑盒子」拆开看看。

可变参数的核心：栈上的参数布局

先想一个问题：函数调用时，参数是怎么传递的？

在大多数C实现中（尤其是x86架构），参数是从右向左压入栈中的。也就是说，最后一个参数先入栈，第一个参数最后入栈。调用结束后，由调用者负责清理栈空间。

举个例子：

printf("format", arg1, arg2, arg3);

在栈上的布局大致是：

高地址
  arg3
  arg2
  arg1
  "format"   ← 栈顶（低地址）
低地址

嗯，这里要注意：printf 拿到第一个参数（格式字符串）的地址后，就能通过它解析出后面还有多少个参数、每个参数是什么类型。说白了，格式字符串里的 %d、%s 这些占位符，就是一张「参数地图」。

标准库提供的工具：stdarg.h

C标准库给我们准备了一套宏，专门用来处理可变参数。它们定义在 <stdarg.h> 中。

我直接上代码，你一看就明白：

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

// 一个简单的可变参数求和函数
// 第一个参数 n 表示后面有几个数
int sum(int n, ...) {
    va_list args;        // 声明一个参数列表变量
    int total = 0;

    va_start(args, n);   // 初始化，让 args 指向 n 之后的第一个参数

    for (int i = 0; i < n; i++) {
        int val = va_arg(args, int);  // 取出下一个 int 类型的参数
        total += val;
    }

    va_end(args);        // 清理工作

    return total;
}

int main() {
    int result = sum(4, 10, 20, 30, 40);
    printf("sum = %d\n", result);  // 输出 100
    return 0;
}

这段代码里，va_list 其实是一个指针类型，指向栈上的参数位置。va_start 让它指向第一个可变参数，va_arg 每次取出一个参数并自动移动指针，va_end 做收尾工作。

printf 的底层实现思路

现在咱们来模拟一下 printf 的核心逻辑。当然，真正的 printf 实现要复杂得多（要处理各种格式、对齐、精度等），但骨架是这样的：

#include <stdarg.h>
#include <stdio.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);  // 简化处理
                    break;
                }
                case 's': {
                    char *val = va_arg(args, char*);
                    printf("%s", val);
                    break;
                }
                case 'c': {
                    char val = (char)va_arg(args, int);  // 注意：char 会被提升为 int
                    putchar(val);
                    break;
                }
                // 其他格式省略...
                default:
                    putchar(*fmt);
                    break;
            }
        } else {
            putchar(*fmt);
        }
        fmt++;
    }

    va_end(args);
}

你看，核心就是：遍历格式字符串，遇到 % 就根据后面的字符决定取什么类型的参数。这就是 printf 能处理不定参数的秘密。

可变参数的类型提升问题

这里有个容易忽略的细节：在可变参数中，某些类型会被自动提升。

实际传入类型	被提升为	va_arg 中应使用的类型
char	int	int
short	int	int
float	double	double

为什么会这样？这是C语言早期设计时留下的规则——「默认参数提升」。可变参数没有函数原型检查，所以编译器会按最宽的类型来传递，确保兼容性。

所以，如果你用 va_arg(args, char) 去取一个 char 类型的可变参数，行为是未定义的。正确的做法是用 va_arg(args, int)，然后自己转成 char。

可变参数的限制

说实话，可变参数也不是万能的。它有几个硬伤：

• 类型不安全：编译器不会检查你传的参数类型是否匹配格式字符串。我见过有人写 printf("%s", 42)，编译能过，运行直接崩。
• 无法知道参数个数：必须通过固定参数（如格式字符串）或约定（如结束标记）来推断。
• 性能开销：每次取参数都要通过指针操作，比固定参数慢一些。
• 不能用于宏：可变参数宏（__VA_ARGS__）是另一回事，但函数级别的可变参数不能直接用在宏定义里。

知识体系总览

下面这张图总结了可变参数函数的完整知识结构，你可以对照着梳理思路：

总结

可变参数函数的本质，就是利用栈上参数的连续布局，通过一个固定参数作为「锚点」，然后用指针操作逐个取出后续参数。stdarg.h 里的宏封装了这些底层操作，让我们能写出像 printf 这样灵活的函数。

不过，灵活的背后是责任。使用可变参数时，一定要确保类型匹配，做好文档说明。毕竟，编译器不会帮你检查这些。

好了，关于 printf 的不定参数实现，就聊到这儿。下次你再用 printf 的时候，可以想想它背后是怎么工作的——嗯，这种感觉还挺有意思的。

---

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