C语言可变参数的实现

x86函数调用惯例

在开始说明可变参数的实现之前，我们要说说x86函数调用的一些惯例。函数参数传递是从右向左的入栈顺序，在x86体系中，用户栈是从用户地址空间的顶端开始向下拓展的。

va_list

可变参数由类型 va_list，一组宏va_start，va_arg，va_end实现。宏的实现根据编译器而有所不同。
下面以VC6.0为例说明va_list的实现。

假设一个函数调用foo( foo(fmt, …) )，并向该函数传递参数fmt, arg2, arg1. 那么根据x86的函数调用惯例，该函数的栈帧如下图所示。那么如果我们要获取参数arg1和arg2，只需将fmt的地址增加相应的偏移量即可。

宏#define va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v) ) 将指针指向可变参数集合的第一个参数。其接收两个参数ap是用来接受第一个参数地址的变量，v是函数参数栈顶的变量。

宏#define va_arg(ap,t) ( (t )( ( ap += _INTSIZEOF(t) ) - _INTSIZEOF(t)) ) 将ap指向下一个参数，并且获取指针当前指向的参数的值。

宏#define va_end(ap) ( ap = (va_list)0 ) 清空ap指针

typedef char * va_list; 

#define _INTSIZEOF(n) ((sizeof(n)+sizeof(int)-1)&~(sizeof(int) - 1) ) 

#define va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v) ) 

#define va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) ) 

#define va_end(ap) ( ap = (va_list)0 ) //清空va_list，即结束变参的获取

代码实例

static void err_sys(const char *fmt, ...)
{
        va_list ap;
        va_start(ap, fmt);
        err_doit(1, errno, ap, fmt);
        va_end(ap);
        exit(1);
}