C/C++中的可变参函数

C语言编程中有时会遇到一些参数个数可变的函数,例如printf()函数,其函数原型为：

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

它除了有一个参数format固定以外,后面跟的参数的个数和类型是可变的（用三个点“…”做参数占位符）,实际调用时可以有以下的形式：

printf("%d",i);
printf("%s",s);
printf("the number is %d ,string is:%s", i, s);    

 

一个简单的可变参数的C函数

 

     先看例子程序。该函数至少有一个整数参数,其后占位符…，表示后面参数的个数不定。在这个例子里，所有的输入参数必须都是整数，函数的功能只是打印所有参数的值。函数代码如下：

//示例代码1：可变参数函数的使用

1. #include "stdio.h"
2. #include "stdarg.h"
3. void simple_va_fun(int start, ...) 
4. { 
5.     va_list arg_ptr; 
6.     int nArgValue =start;
7.     int nArgCout=0; //可变参数的数目
8.     va_start(arg_ptr,start); //以固定参数的地址为起点确定变参的内存起始地址。
9.     do 
10.     {
11.         ++nArgCout;
12.         printf("the %d th arg: %d",nArgCout,nArgValue); //输出各参数的值
13.         nArgValue = va_arg(arg_ptr,int); //得到下一个可变参数的值
14.     } while(nArgValue != -1);                
15.     return; 
16. }
17. int main(int argc, char* argv[])
18. {
19.     simple_va_fun(100,-1); 
20.     simple_va_fun(100,200,-1); 
21.     return 0;
22. }

各种定义如下：

1. #define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )
2. #define va_start(ap,v)  ( ap = (va_list)&v + _INTSIZEOF(v) )
3. #define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
4. #define va_end(ap)      ( ap = (va_list)0 )

运行时才确定的参数

 

　　有没有办法写一个函数，这个函数参数的具体形式可以在运行时才确定？

　　答案与分析：

　　目前没有"正规"的解决办法，不过独门偏方倒是有一个，因为有一个函数已经给我们做出了这方面的榜样，那就是main()，它的原型是:

　　int main(int argc,char *argv[]);
函数的参数是argc和argv。

　　深入想一下，"只能在运行时确定参数形式"，也就是说你没办法从声明中看到所接受的参数，也即是参数根本就没有固定的形式。常用的办法是你可以通过定义一个void *类型的参数，用它来指向实际的参数区，然后在函数中根据根据需要任意解释它们的含义。这就是main函数中argv的含义，而argc，则用来表明实际的参数个数，这为我们使用提供了进一步的方便，当然，这个参数不是必需的。

　　虽然参数没有固定形式，但我们必然要在函数中解析参数的意义，因此，理所当然会有一个要求，就是调用者和被调者之间要对参数区内容的格式，大小，有效性等所有方面达成一致，否则南辕北辙各说各话就惨了。

可变长参数中类型为函数指针

 

　　我想使用va_arg来提取出可变长参数中类型为函数指针的参数，结果却总是不正确，为什么？

　　答案与分析：

　　这个与va_arg的实现有关。一个简单的、演示版的va_arg实现如下：

　　#define va_arg(argp, type) /

　　(*(type *)(((argp) += sizeof(type)) - sizeof(type)))

　　其中，argp的类型是char *。

　　如果你想用va_arg从可变参数列表中提取出函数指针类型的参数，例如

　　int (*)()，则va_arg(argp, int (*)())被扩展为：

　　(*(int (*)() *)(((argp) += sizeof (int (*)())) -sizeof (int (*)())))

　　显然，（int (*)() *）是无意义的。

　　解决这个问题的办法是将函数指针用typedef定义成一个独立的数据类型，例如：

　　typedef int (*funcptr)()；

　　这时候再调用va_arg(argp, funcptr)将被扩展为：

　　(* (funcptr *)(((argp) += sizeof (funcptr)) - sizeof (funcptr)))

　　这样就可以通过编译检查了。

 

可变长参数的获取

 

　　有这样一个具有可变长参数的函数，其中有下列代码用来获取类型为float的实参：

　　va_arg (argp, float);

　　这样做可以吗？

　　答案与分析：

　　不可以。在可变长参数中，应用的是"加宽"原则。也就是float类型被扩展成double；char, short被扩展成int。因此，如果你要去可变长参数列表中原来为float类型的参数，需要用va_arg(argp, double)。对char和short类型的则用va_arg(argp, int)。

 

定义可变长参数的一个限制

　　为什么我的编译器不允许我定义如下的函数，也就是可变长参数，但是没有任何的固定参数？

　　int f (...)

　　{

　　...

　　}

　　答案与分析：

　　不可以。这是ANSI C 所要求的，你至少得定义一个固定参数。

　　这个参数将被传递给va_start()，然后用va_arg()和va_end()来确定所有实际调用时可变长参数的类型和值。