va_list、va_start和va_end实现

va_list、va_start va_end实现

一、va_list va_start va_end介绍

三个宏在GCC中实现：

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 )

二、实现原理

#define va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v) )
//example void test(param1, param2, param3，...)

先了解栈的工作原理，函数入栈从右往左，出栈顺序相反，因为栈只有一端，所以先进后出。
上面example例子，param1 param2和param3入栈顺序为3->2->1，出栈顺序为1->2->3。
ap为va_list类型指针，ap为最左边的参数，即param1。

( ap = (va_list)&v + _INTSIZEOF(v) )
这里ap指针是指向第一个参数的栈地址偏移_INTSIZEOF(v)大小的地方，也就是指向第二个参数了。
所以调用va_start之后，ap的值就指向第二个参数的地址。

( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
va_arg宏是将当前参数取出，并将ap指针偏移到下一个参数的栈地址。t是当前参数的类型。
(ap += _INTSIZEOF(t)) ap先做偏移，- _INTSIZEOF(t)减去当前参数size后仍然是未偏移之前的地址。