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后仍然是未偏移之前的地址。

上一篇:01背包问题


下一篇:一种轻量级的C4C业务数据同步到S4HANA的方式:Odata通知