2. 可变参数的处理过程
我们以刚才的示例 my_printf_int 函数为例，重新贴一下：
void my_printf_int(int num, ...) // step1
{
int i, val;
va_list arg;
va_start(arg, num); // step2
for(i = 0; i < num; i++)
{
val = va_arg(arg, int); // step3
printf("%d ", val);
}
va_end(arg); // step4
printf("\n");
}
int main()
{
int a = 1, b = 2, c = 3;
my_printf_int(3, a, b, c);
}
Step1: 函数调用时
C语言中函数调用时，参数是从右到左、逐个压入到栈中的，因此在进入 my_printf_int 的函数体中时，栈中的布局如下:
.
Step2: 执行 va_start
把上面这语句，带入下面这宏定义：
#define _crt_va_start(ap,v) ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )
宏扩展之后得到：
arg = (char *)num + sizeof(num);
结合下面的图来分析一下：首先通过 _ADDRESSOF 得到 num 的地址 0x01020300，然后强转成 char* 类型，再然后加上 num 占据的字节数(4个字节)，得到地址 0x01020304，最后把这个地址赋值给 arg，因此 arg 这个指针就指向了栈中数字 1 的那个地址，也就是第一个参数，如下图所示：
Step3: 执行 va_arg
把上面这语句，带入下面这宏定义：
#define _crt_va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
宏扩展之后得到：
val = ( *(int *)((arg += _INTSIZEOF(int)) - _INTSIZEOF(int)) )
结合下面的图来分析一下：先把 arg 自增 int 型数据的大小(4个字节)，使得 arg = 0x01020308；然后再把这个地址(0x01020308)减去4个字节，得到的地址(0x01020304)里的这个值，强转成 int 型，赋值给 val，如下图所示：
简单理解，其实也就是：得到当前 arg 指向的 int 数据，然后把 arg 指向位于高地址处的下一个参数位置。
Step4: 执行 va_end
把上面这语句，带入下面这宏定义：
#define _crt_va_end(ap) ( ap = (va_list)0 )
宏扩展之后得到：
这就好理解了，直接把指针 arg 设置为空。因为栈中的所有动态参数被提取后，arg 的值为 0x01020310(最后一个参数的上一个地址)，如果不设置为 NULL 的话，下面使用的话就得到未知的结果，为了防止误操作，需要设置为NULL。 | 
楼主
标题置顶
标题高亮
