C/C++(6)va_list、va_start、va_arg、va_end实现可变参数列表函数

经典的可变参数表printf函数的实现原理:

在C/C++中，对函数参数的扫描是从后向前的。
函数参数是通过压入堆栈的方式来给函数传参数的,最先压入的参数最后出来，而栈是从内存的高地址向低地址存放的，控制存放位置的是堆栈指针，最先压入的参数是在最上面，最后压入的参数在最下面，结构上看起来是第一个，所以最后压入的参数总是能够被函数找到，因为它就在堆栈指针的上方。printf的第一个被找到的参数就是那个字符指针，就是被双引号括起来的那一部分，函数通过判断字符串里控制参数的个数来判断参数个数及数据类型，通过这些就可算出数据需要的堆栈指针的偏移量了，下面是printf(“%d,%d”,a,b);（其中a、b都是int型的）的汇编代码

.section  
.data  
string out = "%d,%d"  
push b  
push a  
push $out  
call printf  

可以看到，最后的先压入栈中，最先的后压入栈中，参数控制的那个字符串常量是最后被压入的，所以这个常量总是能被找到的。

可变参数表函数的设计：

标准库提供的一些参数的数目可以有变化的函数，例如printf，写程序中有时也可能需要定义这种函数。要定义这类函数，就必须使用标准头文件：

#include <stdarg.h>

使用该文件提供的一套机制，并需要按照规定的定义方式工作。C中头文件stdarg.h提供了一个数据类型va-list和三个宏（va-start、va-arg和va-end），用它们在被调用函数不知道参数个数和类型时对可变参数表进行测试，从而为访问可变参数提供了方便且有效的方法，定义为：

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,type)  (*(type *)((ap += _INTSIZEOF(type)) - _INTSIZEOF(type)))    //将参数转换成需要的类型，并使ap指向下一个参数  
#define va_end(ap)      (ap = (va_list)0)  

va-list是一个char类型的指针，当被调用函数使用一个可变参数时，它声明一个类型为va-list的变量，该变量用来指向va-arg和va-end所需信息的位置。

void va-start(va-list ap,lastfix)是一个宏，它使va-list类型变量ap指向被传递给函数的可变参数表中的第一个参数，在第一次调用va-arg和va-end之前，必须首先调用该宏。va-start的第二个参数lastfix是传递给被调用函数的最后一个固定参数的标识符。va-start使ap只指向lastfix之外的可变参数表中的第一个参数，它先得到第一个参数内存地址，然后又加上这个参数的内存大小，就是下个参数的内存地址了

va-arg(va-list ap,type)也是一个宏，