C++編程語言可以被看做C語言的一個升級版本。既然是基于C語言的一個編程語言，當(dāng)然具有C語言中的所有功能。那么還有那些不同之處呢？其中就有一個不同于其它語言的特性，即其支持C++可變參數(shù)表，典型的函數(shù)如printf、scanf等可以接受數(shù)量不定的參數(shù)。如：

printf ( "I love you" );   
printf ( "%d", a );  
printf ( "%d,%d", a, b );  

第一、二、三個printf分別接受1、2、3個參數(shù)，讓我們看看printf函數(shù)的原型：

int printf ( const char *format, ... );  

從函數(shù)原型可以看出，其除了接收一個固定的參數(shù)format以外，后面的參數(shù)用"…"表示。在C/C++語言中，"…"表示可以接受不定數(shù)量的參數(shù)，理論上來講，可以是0或0以上的n個參數(shù)。

本文將對C++可變參數(shù)表的使用方法及C/C++支持可變參數(shù)表的深層機理進(jìn)行探索。

C++可變參數(shù)表的用法

1、相關(guān)宏

標(biāo)準(zhǔn)C/C++包含頭文件stdarg.h，該頭文件中定義了如下三個宏：

void va_start ( va_list arg_ptr, prev_param ); /* ANSI version */  
type va_arg ( va_list arg_ptr, type );   
void va_end ( va_list arg_ptr );  

在這些宏中，va就是variable argument(可變參數(shù))的意思；arg_ptr是指向可變參數(shù)表的指針；prev_param則指可變參數(shù)表的前一個固定參數(shù)；type為可變參數(shù)的類型。va_list也是一個宏，其定義為typedef char * va_list，實質(zhì)上是一char型指針。char型指針的特點是++、--操作對其作用的結(jié)果是增1和減1（因為sizeof(char)為1），與之不同的是int等其它類型指針的++、--操作對其作用的結(jié)果是增sizeof(type)或減sizeof(type)，而且sizeof(type)大于1。

通過va_start宏我們可以取得C++可變參數(shù)表的首指針，這個宏的定義為：

#define va_start ( ap, v ) ( ap = (va_list)&v + _INTSIZEOF(v) )  

顯而易見，其含義為將最后那個固定參數(shù)的地址加上可變參數(shù)對其的偏移后賦值給ap，這樣ap就是可變參數(shù)表的首地址。其中的_INTSIZEOF宏定義為：

#define _INTSIZEOF(n) ((sizeof ( n ) + sizeof ( int ) - 1 )
 & ~( sizeof( int ) - 1 ) )  

va_arg宏的意思則指取出當(dāng)前arg_ptr所指的可變參數(shù)并將ap指針指向下一可變參數(shù)，其原型為：

#define va_arg(list, mode) ((mode *)(list =\  
(char *) ((((int)list + (__builtin_alignof(mode)<=4?3:7)) &\  
(__builtin_alignof(mode)<=4?-4:-8))+sizeof(mode))))[-1]  

對這個宏的具體含義我們將在后面深入討論。

而va_end宏被用來結(jié)束C++可變參數(shù)表的獲取，其定義為：

#define va_end ( list )  

可以看出，va_end ( list )實際上被定義為空，沒有任何真實對應(yīng)的代碼，用于代碼對稱，與va_start對應(yīng)；另外，它還可能發(fā)揮代碼的"自注釋"作用。所謂代碼的"自注釋"，指的是代碼能自己注釋自己。

下面我們以具體的例子來說明以上三個宏的使用方法。

2、一個簡單的例子

#include <stdarg.h> 
/*　函數(shù)名：max  
*　功能：返回n個整數(shù)中的最大值  
* 參數(shù)：num：整數(shù)的個數(shù) ...：num個輸入的整數(shù)  
* 返回值：求得的最大整數(shù)  
*/  
int max ( int num, ... )  
{  
int m = -0x7FFFFFFF; /* 32系統(tǒng)中最小的整數(shù) */  
va_list ap;  
va_start ( ap, num );  
for ( int i= 0; i< num; i++ )  
{  
int t = va_arg (ap, int);  
if ( t > m )  
{  
m = t;  
}  
}  
va_end (ap);  
return m;  
}   
/* 主函數(shù)調(diào)用max */  
int main ( int argc, char* argv[] )  
{   
int n = max ( 5, 5, 6 ,3 ,8 ,5); /* 求5個整數(shù)中的最大值 */  
cout << n;  
return 0;  
}  

函數(shù)max中首先定義了C++可變參數(shù)表指針ap，而后通過va_start ( ap, num )取得了參數(shù)表首地址（賦給了ap），其后的for循環(huán)則用來遍歷可變參數(shù)表。這種遍歷方式與我們在數(shù)據(jù)結(jié)構(gòu)教材中經(jīng)常看到的遍歷方式是類似的。#t#

函數(shù)max看起來簡潔明了，但是實際上printf的實現(xiàn)卻遠(yuǎn)比這復(fù)雜。max函數(shù)之所以看起來簡單，是因為：

(1) max函數(shù)可變參數(shù)表的長度是已知的，通過num參數(shù)傳入；

(2) max函數(shù)可變參數(shù)表中參數(shù)的類型是已知的，都為int型。

而printf函數(shù)則沒有這么幸運。首先，printf函數(shù)可變參數(shù)的個數(shù)不能輕易的得到，而可變參數(shù)的類型也不是固定的，需由格式字符串進(jìn)行識別（由%f、%d、%s等確定），因此則涉及到C++可變參數(shù)表的更復(fù)雜應(yīng)用。