可变参数的实现方式可变参数给编程带来了很大的方便，在享受它带来的方便的同时，很有必要了解一下其实现方式，在了解编程语言的同时，也可以扩展编程的思路。可变参数的实现要解决三个问题:1.如何调用带有可变参数的函数2.如何编译有可变参数的程序3.在带有可变参数的函数体中如何持有可变参数第一个问题,调用时在可以传入可变参数的地方传入可变参数即可，当然，还有一些需要注意的地方，后面会提到。第二个问题，编译器需要在编译时采用一种宽松的检查方案,，这会带来一些问题,比如对编程查错不利。第三个是我在这里要关心的问题，先以C语言为例分析其实现原理。printf和scanf是C语言标准库中最常见的可变参数函数,printf的签名是intprintf(constchar*format,...);其中，...表示可变参数，现在模仿printf写一个简单的例子。一、一个简单了例子:#include#includevoidVariableArgumentMethod(intargc,...);intmain(){VariableArgumentMethod(6,4,7,3,0,7,9);return0;}voidVariableArgumentMethod(intargc,...){//声明一个指针,用于持有可变参数va_listpArg;//将pArg初始化为指向第一个参数va_start(pArg,argc);//输出参数for(inti=0;i!=argc;++i){//获取pArg所指向的参数并输出printf("%d,",va_arg(pArg,int));}va_end(pArg);}voidVariableArgumentMethod(intargc,...)是一个可变参数函数，这个函数用于将argc指定个数的可变参数输出。VariableArgumentMethod(6,4,7,3,0,7,9);是对这个函数的调用，第一个实参6表示后面跟了6个参数。在VariableArgumentMethod的函数体中：1.va_listpArg;定义了一个用于持有可变参数的指针，通过将这个指针在传入的可变参数表中移动，可以持有第一个可变参数。2.va_start(pArg,argc);让pArg指向可变参数列表中的第一个参数。argc是一个用来定位的参数，因为可变参数是从argc后开始的，后面会说明为什么要这样定位。3.va_arg(pArg,int);这句话放在循环体中，用于取出可变参数表中的参数。并且，它会让pArg移向下个可变参数（如果已经到达末尾，则它将指向一个没有意义的地址）。4.va_end(pArg);给pArg清零，个人认为在这里可有可无，因为pArg已经不需要了。就这样，VariableArgumentMethod函数体遍历了可变参数表中传入的参数，并用printf("%d,",va_arg(pArg,int))进行了输出。二、实现细节1.先了解一下编译器如何处理传递参数这个问题的。编译器是将参数压入栈中进行传递的。传递实参的时候，编译器会从实参列表中，按从右到左的顺序将参数入栈，对于VariableArgumentMethod(6,4,7,3,0,7,9)调用，则入栈的顺序是9,7,0,3,7,4,6(注意没有可变参数与不可变参数之分)。由于栈的地址是从高到低的，所以实参入栈后，实参在栈中的分布如下图。可以看出，实参在栈中，还是保持了左边参数处于低地址，右边参数处于高地址的状态。OK，知道这些就够了。低地址高地址...6473079...栈2.va_list,va_start,va_arg和va_endva_list是一个定义的指针类型，va_start,va_arg和va_end都是C语言用于处理可变参数而定义的宏，在stdarg.h文件中。由于硬件平台的不同，编译器的不同，导致它们的定义也有所不同，但基本思路相同。以下是相关宏的定义。typedefchar*va_list;#define_ADDRESSOF(v)(&(v))#define_INTSIZEOF(n)((sizeof(n)+sizeof(int)-1)&~(sizeof(int)-1))#defineva_start(ap,v)(ap=(va_list)_ADDRESSOF(v)+_INTSIZEOF(v))#defineva_arg(ap,t)(*(t*)((ap+=_INTSIZEOF(t))-_INTSIZEOF(t)))#defineva_end(ap)(ap=(va_list)0)可以看出，此处引入了另外两个宏_ADDRESSOF和_INTSIZEOF。_ADDRESSOF(v)是用于获取变量地址的，这一眼就能看出来;_INTSIZEOF(n)是用于对齐的。（什么是对齐呢？这是因为栈的结构导致的，在32位机中，栈中每个单元都是占4个字节的，这往往是一个int型的长度，但实际传过来的参数可能并不正好是4个字节，或者正好是4的倍数个字节，就好像坐车时不会卖半个座位给乘客一样，如果传入的数据没有正好占4个或4的倍数个字节，则需要对齐（补齐）。至于为什么这个表达式能够对齐，需要分析一下）;va_start(ap,v)中，ap是用于持有...
