C++可变参数的实现方法

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以后，开始支持可变参数，其定义语法为：

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

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

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

四、两种实现方式的比较

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