可变参数操作宏
假设有一段代码如程序清单 1.3所示:
程序清单 1.3
int printk(const char *fmt, ...)
{
va_list args;
va_start(args, fmt);
i=vsprintf(buf,fmt,args);
va_end(args);
}
va_list类型的定义如程序清单 1.4所示,可见va_list其实就是一个char型指针。
程序清单 1.4
typedef char *va_list;
va_start宏定义如程序清单 1.5所示:
程序清单 1.5
#define __va_rounded_size(TYPE) \
(((sizeof (TYPE) + sizeof (int) - 1) / sizeof (int)) * sizeof (int))
#define va_start(AP, LASTARG) \
(AP = ((char *) &(LASTARG) + __va_rounded_size (LASTARG)))
AP表示argument pointer,是参数指针的意思,其实就是va_list类型变量;LASTARG表示last argument,其实就是printk的第一个参数fmt,之所以叫last argument,是因为这个参数是最后一个压栈的。
__va_rounded_size的作用是按int类型的倍数计算TYPE变量在栈中的大小,假设TYPE变量是5字节大小,则__va_rounded_size(TYPE)值为8,因为每次压栈的数据大小都是int类型数据大小的倍数。
(char *) &(LASTARG)表示将fmt变量的地址转为char *指针,这样加上__va_rounded_size (LASTARG)后的值就是第一个可变参数的地址。如图 1.2所示:
图 1.2 va_list args移动示意图
由此可见,va_start宏的作用就是将指针args跳过fmt参数,指向第一个要解析的可变参数。
va_arg宏定义如程序清单 1.6所示:
程序清单 1.6
#define va_arg(AP, TYPE) \
(AP += __va_rounded_size (TYPE), \
*((TYPE *) (AP - __va_rounded_size (TYPE))))
AP += __va_rounded_size (TYPE),经过这个表达式运算后,args指向了下一个参数;
*((TYPE *) (AP - __va_rounded_size (TYPE)))表示取原来args位置处的变量值,如图 1.3所示:
图 1.3 va_arg作用
va_end是一个空的宏。