资源描述：
《可变参数的实现方式》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、可变参数的实现方式可变参数给编程带来了很大的方便，在享受它带来的方便的同时，很有必要了解一下其实现方式，在了解编程语言的同时，也可以扩展编程的思路。可变参数的实现要解决三个问题:1.如何调用带有可变参数的函数2.如何编译有可变参数的程序3.在带有可变参数的函数体中如何持有可变参数第一个问题, 调用时在可以传入可变参数的地方传入可变参数即可，当然，还有一些需要注意的地方，后面会提到。第二个问题，编译器需要在编译时采用一种宽松的检查方案,，这会带来一些问题, 比如对编程查错不利。第三个是我在这里要关心的
2、问题，先以C语言为例分析其实现原理。printf和scanf是C语言标准库中最常见的可变参数函数, printf的签名是intprintf(constchar*format,...);其中，... 表示可变参数，现在模仿printf写一个简单的例子。一、一个简单了例子:#include#includevoidVariableArgumentMethod(intargc,...);intmain(){VariableArgumentMethod(6,4,7,3,
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);} void VariableArgumentMethod(int a
4、rgc, ...)是一个可变参数函数，这个函数用于将 argc 指定个数的可变参数输出。VariableArgumentMethod(6, 4, 7, 3, 0, 7, 9); 是对这个函数的调用，第一个实参 6 表示后面跟了 6 个参数。 在 VariableArgumentMethod 的函数体中：1. va_list pArg; 定义了一个用于持有可变参数的指针，通过将这个指针在传入的可变参数表中移动，可以持有第一个可变参数。2. va_start(pArg, argc); 让 pArg 指向
5、可变参数列表中的第一个参数。argc 是一个用来定位的参数，因为可变参数是从 argc 后开始的，后面会说明为什么要这样定位。3. va_arg(pArg, int);这句话放在循环体中，用于取出可变参数表中的参数。并且，它会让 pArg 移向下个可变参数（如果已经到达末尾，则它将指向一个没有意义的地址）。4. va_end(pArg);给 pArg 清零，个人认为在这里可有可无，因为 pArg 已经不需要了。 就这样，VariableArgumentMethod 函数体遍历了可变参数表中传入的参数
6、，并用printf("%d, ", va_arg(pArg, int) ) 进行了输出。二、实现细节1. 先了解一下编译器如何处理传递参数这个问题的。编译器是将参数压入栈中进行传递的。传递实参的时候，编译器会从实参列表中，按从右到左的顺序将参数入栈，对于 VariableArgumentMethod(6, 4, 7, 3, 0, 7, 9)调用，则入栈的顺序是 9, 7, 0, 3, 7, 4, 6 (注意没有可变参数与不可变参数之分)。由于栈的地址是从高到低的，所以实参入栈后，实参在栈中的分布如下
7、图。可以看出，实参在栈中，还是保持了左边参数处于低地址，右边参数处于高地址的状态。OK，知道这些就够了。低地址 高地址...6473079...栈2. va_list, va_start, va_arg 和 va_endva_list 是一个定义的指针类型，va_start, va_arg 和 va_end 都是C语言用于处理可变参数而定义的宏，在stdarg.h文件中。由于硬件平台的不同，编译器的不同，导致它们的定义也有所不同，但基本思路相同。
8、以下是相关宏的定义。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))-_INTSIZE
