c可变参数

学习lua中，《lua程序设计》中有一篇”一个通用的调用函数“用到了变参函数，百度一下之后，有了一定了解，写在下面。

可变参数由几个宏实现：

typedef char *  va_list;
#define va_start(ap,v)  ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )
#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
#define va_end(ap)      ( ap = (va_list)0 )
#define _ADDRESSOF(v)   ( &(v) )
#define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

　　对于不同的内存对齐方式这些宏有一些区别，但是我们看看这个就好了，_ADDRESSOF取地址，_INTSIZEOF获得n内存对齐后的大小，具体地，它将n的大小扩展为4的倍数，对应4字节对齐方式（内存对齐了解不深，望指教），总之，这两个宏保证能取到正确的参数地址。

　　va_list是一个char型指针，由于是从右至左入栈， va_start将va初始化为第一个参数的地址，va_arg(ap,t)将*ap转为t类型的数据进行操作，同时指向下一个参数的地址，最后va_end将ap置0。

　　《lua程序设计》中的例子与printf很像，都是用字符串来控制参数类型，下面这篇文章讲的更清楚：

　　http://blog.csdn.net/wzwind/article/details/1666518

　　内存对齐的问题：

　　http://apps.hi.baidu.com/share/detail/31177435

PS.摘自百度百科：

Win32平台下的微软C编译器(cl.exe for 80×86)的对齐策略：

　　1) 结构体变量的首地址是其最长基本类型成员的整数倍；

　　备注：编译器在给结构体开辟空间时，首先找到结构体中最宽的基本数据类型，然后寻找内存地址能是该基本数据类型的整倍的位置，作为结构体的首地址。将这个最宽的基本数据类型的大小作为上面介绍的对齐模数。

　　2) 结构体每个成员相对于结构体首地址的偏移量（offset）都是成员大小的整数倍，如有需要编译器会在成员之间加上填充字节（internal adding）；

　　备注:为结构体的一个成员开辟空间之前，编译器首先检查预开辟空间的首地址相对于结构体首地址的偏移是否是本成员的整数倍，若是，则存放本成员，反之，则在本成员和上一个成员之间填充一定的字节，以达到整数倍的要求，也就是将预开辟空间的首地址后移几个字节。

　　3) 结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要，编译器会在最末一个成员之后加上填充字节（trailing padding）。

　　备注：结构体总大小是包括填充字节，最后一个成员满足上面两条以外，还必须满足第三条，否则就必须在最后填充几个字节以达到本条要求。

　　4) 结构体内类型相同的连续元素将在连续的空间内，和数组一样。

　　5) 如果结构体内存在长度大于处理器位数的元素，那么就以处理器的倍数为对齐单位；否则，如果结构体内的元素的长度都小于处理器的倍数的时候，便以结构体里面最长的数据元素为对齐单位。