指针与可变参数：va_list、va_start、va_arg、va_end 的实现原理

可变参数函数，说白了就是那种「你传几个参数我都接得住」的函数。像 printf()、scanf() 这些老朋友，参数个数可以随便变。很多初学者觉得这很神奇，其实底层就是指针在干活。

我刚开始学 C 语言那会儿，看到 printf("%d %s", a, str) 这种写法，心里就犯嘀咕：编译器怎么知道后面跟了几个参数？后来翻了 glibc 的源码才明白——嗯，全是靠栈指针和地址偏移算出来的。

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

先想一个问题：函数调用时，参数存在哪？

答案是栈上。调用者把参数从右往左压栈（这是 cdecl 调用约定），被调函数通过栈指针 + 偏移量来访问。可变参数函数也一样，只不过它不知道后面还有多少个参数，所以需要一套机制来「逐个取出」。

这套机制就是 va_list、va_start、va_arg、va_end 这四个宏。它们定义在 <stdarg.h> 里，本质上就是指针操作。

va_list：一个指针类型

va_list 其实就是一个指针类型。在 x86-64 架构下，它通常被定义为 char* 或者一个结构体（用于处理寄存器传参的情况）。

我个人习惯把它理解成「当前读取位置的游标」。你初始化它，它就指向第一个可变参数；每取一个参数，它就往后挪动。

// 典型的 va_list 定义（简化版）
typedef char* va_list;

当然，实际实现要复杂一些，因为要考虑参数对齐和寄存器传参。但原理不变——就是个指针。

va_start：初始化游标

va_start 的作用是把 va_list 指向第一个可变参数。它需要知道最后一个固定参数的位置，因为可变参数紧跟在它后面。

void my_printf(const char* fmt, ...) {
    va_list args;
    va_start(args, fmt);  // args 指向 fmt 后面的第一个参数
    // ...
    va_end(args);
}

这里有个细节：va_start 的第二个参数必须是最后一个固定参数。如果你写错了，取出来的数据全是乱的。我在项目中遇到过有人把参数顺序搞反，结果 debug 了一下午才发现是 va_start 传错了参数。

va_arg：取出参数并移动指针

va_arg 是核心操作。它做两件事：

1. 从当前游标位置取出一个指定类型的值
2. 把游标向后移动该类型所占的字节数（考虑对齐）

// 简化实现
#define va_arg(ap, type) (*(type*)((ap) += sizeof(type), (ap) - sizeof(type)))

这个宏看着有点绕，我拆开解释：

• (ap) += sizeof(type)：先把指针往后挪，为下一次读取做准备
• (ap) - sizeof(type)：再减回去，得到本次读取的起始地址
• *(type*)：强制类型转换后解引用，取出值

说白了就是「先挪指针，再取旧位置的值」。这种写法很巧妙，但也很危险——如果你传错了类型，取出来的数据就是 garbage。

va_end：清理收尾

va_end 的作用是清理。在大多数实现里，它什么都不做，就是个空宏。但标准要求必须调用，因为某些架构下它可能需要释放资源（比如寄存器窗口）。

#define va_end(ap) ((void)0)  // 常见实现，啥也不干

我建议你每次都老老实实写上 va_end，养成习惯。万一哪天换了个平台，这个宏不是空的了，你的代码就出问题了。

完整示例：一个简单的可变参数函数

#include <stdio.h>
#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: %d\n", i + 1, val);
    }

    va_end(args);
}

int main() {
    print_ints(3, 10, 20, 30);
    print_ints(5, 1, 2, 3, 4, 5);
    return 0;
}

运行结果：

参数 1: 10
参数 2: 20
参数 3: 30
参数 1: 1
参数 2: 2
参数 3: 3
参数 4: 4
参数 5: 5

实现原理的 SVG 图解

下面这张图展示了可变参数在栈上的布局，以及 va_list 如何移动：

常见陷阱与避坑指南

• 类型不匹配：用 va_arg 取参数时，类型必须和调用者传入的实际类型一致。否则取出来的数据是错的，而且编译器不会报错。
• 参数提升：char、short 会被提升为 int，float 会被提升为 double。所以取参数时要用 va_arg(args, int) 而不是 va_arg(args, char)。
• 忘记调用 va_end：虽然大多数平台下 va_end 是空操作，但标准要求必须调用。跨平台代码一定要写。
• 多次调用 va_start 未配对：同一个函数里可以多次调用 va_start/va_end 对，但不能嵌套使用同一个 va_list。

总结

可变参数的实现原理，说白了就是指针在栈上「走一步，取一个」。va_list 是游标，va_start 初始化位置，va_arg 取值并移动，va_end 收尾。这套机制虽然简单，但用起来要小心——类型错了，后果自负。

嗯，下次你看到 printf 的源码，应该能看懂它在干什么了。就是不停地 va_arg，根据格式字符串决定取什么类型，然后格式化输出。

---

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