va_list分析

 

typedef char* va_list

 

INTSIZEOF 宏,获取类型占用的空间长度，最小占用长度为int的整数倍：

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

VA_START宏，获取可变参数列表的第一个参数的地址（ap是类型为va_list的指针，v是可变参数最左边的参数）：

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

VA_ARG宏，获取可变参数的当前参数，返回指定类型并将指针指向下一参数（t参数描述了当前参数的类型）：

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

分解

ap += _INTSIZEOF(t);指针指向下一个参数

*(t*)(ap - _INTSIZEOF(t)); 获取当前参数

VA_END宏，清空va_list可变参数列表：

#define va_end(ap) ( ap = (va_list)0 )

 

如果理解函数的汇编实现，那么理解这个va_list就很容易了

1.函数参数的存储在栈区

2.函数参数的压栈顺序

3.栈区的增长方向

例：

printf("%d%d%d", a, b, c);

int printf(const char *format, ...)

{

va_list ap;

va_start(ap, format);

........

va_arg(ap, type); //如果是上面的应用，则type = int;

........

va_end();

return 0;

}

 

 

现在可以查看一下，printf系统调用的参数栈的情况

有点粗糙，如果不太明白，请自行脑补。