数中由程序代码控制,它并不能智能地识别不同参数的个数和类型。
有人会问:那么printf中不是实现了智能识别参数吗?那是因为函数printf()是从固定参数format字符串来分析出参数的类型,再调用va_arg的来获取可变参数的。也就是说,你想实现智能识别可变参数的话是要通过在自己的程序里作判断来实现的。
另外有一个问题,因为编译器对可变参数的函数的原型检查不够严格,对编程查错不利。如果simple_va_fun()改为:
void simple_va_fun(int I, …)
{
va_list arg_ptr;
char *s=NULL;
va_start(arg_ptr, i);
s = va_arg(arg_ptr, char*);
va_end(arg_ptr);
printf("%d %s\n", I, s);
return;
}
可变参数为char*型,当我们忘记用两个参数来调用该函数时,就会出现core dump(Unix);或者页面非法的错误(window平台)。但也有可能不出错,但错误却是难以发现,不利于我们写出高质量的程序。
以下提一下va系列宏的兼容性。
System V Unix把va_start定义为只有一个参数的宏: va_start(va_list arg_ptr);
ANSI C则定义为: va_start(va_list arg_ptr, prev_param);
如果我们要用System V的定义,应该用vararg.h头文件中所定义的宏,ANSI C的宏跟system V的宏是不兼容的,我们一般都用ANSI C,所以用ANSI C的定义就够了,也便于程序的移植。
| ansi标准形式 |
unix systemⅤ兼容方式 |
|
| 头文件 |
#include 〈stdarg.h〉 |
#include 〈varargs.h〉 |
| va_start |
void va_start(argp, paran) va_list argp; |
void va_start(argp) va_list argp; |
| va_arg |
type va_arg(argp, type) va_list argp; |
type va_arg(argp, type) va_list argp; |
| va_end |
void va_end(argp) va_list argp; |
void va_end(argp) va_list argp; |
小结
可变参数的函数原理其实很简单,而va系列是以宏定义来定义的,实现跟堆栈相关。我们写一个可变函数的C函数时,有利也有弊,所以在不必要的场合,我们无需用到可变参数。如果在C++里,我们应该利用C++的多态性来实现可变参数的功能,尽量避免用C语言的方式来实现。
总结如下:
头文件stdarg.h中说明了一个类型(va_list)和三个宏(va_start, va_arg和 va_end)。它们是专门用于可变参数表的函数编程。
va_list:本数组用于存放va_arg和va_end所需要的信息。当一被调用函数使用一 个可变参数表时,它说明一个类型为va_list的变量param。
void va_start(va_list param, lastfix); 本子程序使param指向被传送给函数的可变参数表的第一个参数。在调用va_arg和 va_end之前,必须先调用va_start。参数param已在前段va_list中解释,lastfix为传 递给被调用函数的最后一个固定参数的名。
type va_arg(va_list param, type); 本子程序扩展表达式使其与下一个被传递参数具有相同的类型和值。变量param应 与va_start初始化时的param相同。在第一次使用va_arg时返回表中第一个参数,后续 每次调用都返回表中的下一个参数。
void va_end(va_list param); 本宏用于被调用函数完成一正常返回。它可修改param使其在重新调用va_start以 前不能被使用。va_end必须在va_arg读完所有参数后才被调用,否则会产生意想不到的情况。
摘自 xt_chaoji的专栏