C++可变参数的实现

C++可变参数的实现，可变参数给编程带来了很大的方便，在享受它带来的方便的同时，很有必要了解一下其实现方式，在了解编程语言的同时，也可以扩展编程的思路。

可变参数的实现要解决三个问题:

1.如何调用带有可变参数的函数
2.如何编译有可变参数的程序
3.在带有可变参数的函数体中如何持有可变参数
第一个问题, 调用时在可以传入可变参数的地方传入可变参数即可，当然，还有一些需要注意的地方，后面会提到。

第二个问题，编译器需要在编译时采用一种宽松的检查方案,，这会带来一些问题, 比如对编程查错不利。

第三个是我在这里要关心的问题，先以C语言为例分析其实现原理。

printf和scanf是C语言标准库中最常见的可变参数函数, printf的签名是

其中，... 表示可变参数，现在模仿printf写一个简单的例子。

一、一个简单了例子:

void VariableArgumentMethod(int argc, ...)是一个可变参数函数，这个函数用于将 argc 指定个数的可变参数输出。
VariableArgumentMethod(6, 4, 7, 3, 0, 7, 9); 是对这个函数的调用，第一个实参 6 表示后面跟了 6 个参数。

在 VariableArgumentMethod 的函数体中：

1. va_list pArg;

定义了一个用于持有可变参数的指针，通过将这个指针在传入的可变参数表中移动，可以持有第一个可变参数。

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，知道这些就够了。

低地址 　　　　　　　　　　　　　　　　　　　　　　　　　　　高地址

栈

2. va_list, va_start, va_arg 和 va_end

va_list 是一个定义的指针类型，va_start, va_arg 和 va_end 都是C语言用于处理可变参数而定义的宏，在stdarg.h文件中。由于硬件平台的不同，编译器的不同，导致它们的定义也有所不同，但基本思路相同。以下是相关宏的定义。

可以看出，此处引入了另外两个宏 _ADDRESSOF 和 _INTSIZEOF。

_ADDRESSOF(v) 是用于获取变量地址的，这一眼就能看出来;

_INTSIZEOF(n) 是用于对齐的。（什么是对齐呢？这是因为栈的结构导致的，在 32 位机中，栈中每个单元都是占 4 个字节的，这往往是一个 int 型的长度，但实际传过来的参数可能并不正好是 4 个字节，或者正好是 4 的倍数个字节，就好像坐车时不会卖半个座位给乘客一样，如果传入的数据没有正好占 4 个或 4 的倍数个字节，则需要对齐（补齐）。至于为什么这个表达式能够对齐，需要分析一下）;

va_start(ap,v) 中，ap 是用于持有可变参数的指针， v 是最后一个非可变参数的参数，(va_list)_ADDRESSOF(v) 获取 v 的地址，并转为 va_list 类型的，v 是最后一个非可变参数的参数，在本例中应为 6, 在上图中处理栈的低地址端，_INTSIZEOF(v) 获取了一个对齐地址，这里应为 4, 两个相加后，即指向了第一个可变参数，即上图中的 4, 将这个值赋给 ap 后，就让 ap 指向了第一个可变参数。（从这里可以看出，将va_list 定义为 char* 是很有用的，因为 char 长度为一个字节，便于指针运算）;

 va_arg(ap,t) 中，ap 是用于持有可变参数的指针，t 是要获取参数的类型，ap += _INTSIZEOF(t) 让 ap 指向下一个参数，但是，此处还需要获取当前参数的值，所以又将表达式减回来，返回的应是一个 va_list(char*) 型的指针，因此要转型为 t* 后再进行解引用运算，得到当前参数的值。（注意这里有个将 ap 移向下一个参数又减回来的操作，本人感觉不太好，一方面这里有个浪费的操作，对性能会有一些影响，另一方面，我更希望将取当前值的操作和移向下一个的操作分离，这样可以让程序员有更多的控制，并且容易理解。）

va_end(ap) 则是让 ap 指向一个空地址。

通过以上分析，可以发现，C 语言中可变参数是从栈中按顺序访问的，过程中所使用的三个宏，也只是对操作的简单包装，完全可以自己编程实现。而且，参数的类型和个数是不能直接确定的，在本例中，VariableArgumentMethod 的第一个参数用于指定参数的个数，而参数的类型约定为整形，这样程序才能正常运行，再说到 printf，它之所以能识别参数的个数，是因为它的第一个参数中必须要描述后面参数的格式字符串，这正是一开始所提到的第一个问题中说到的要注意的问题。这也是它被很多人所诟病的原因，但是，本人认为这种方式是很好的，后面会与 java 和 .net 的实现方式进行比较。

三、java 和 .net 实现可变参数的方式。

java 从1.5以后，开始支持可变参数，其定义语法为：

对于这个方法，可以这样调用：testMethod("gly", "zxy", "ChenFei");

.net 也支持可变参数，其定义语法为：

对于这个方法，可以这样调用：TestMethod("gly", "zxy", "ChenFei");

在 java 和 .net 中，对于可变参数的实现基本是一样的：编译器在编译时，将方法签名中的可变参数视为相应类型的数组，编译相应的调用时，根据实参生成一个数组，将参数装入到数组中进行传递，而在可变参数方法的方法体中，按使用数组的方式使用可变参数。

四、两种实现方式的比较

C 语言的实现方式与 java .net 的实现方式相比，C 语言需要程序员做更多的工作，而且，确实增加了出错的机会，java .net 的实现方式可以很容易的确定参数的类型和个数，这些 C 的实现中是没有的，但是 java .net 的实现方式会生成临时数组，当然 java .net 有垃圾回收机制，但是，垃圾什么时候被回收是不确定的，而且是代价很大的，垃圾回收是个好东西，但我不喜欢，我认为不需要的东西应该立即释放，这是完美的一个方面的体现。C 中没有这个问题，参数的个数和类型问题可以靠约定或指定来解决，而这两个问题在 java 和 .net 中，参数个数其实是间接传递过去了(数组的长度)，参数类型则是在方法签名中约定了。当然，java .net 的设计目标和 C 语言不同，这里说多了。

 以上就是C++可变参数的实现，如果还有其他疑问，欢迎补充，有任何问题也可以与武林编辑一起讨论。