前提要求:包含#include <stdarg.h>,该头文件中定义了一个va_list类型和三个宏——va_start、va_list和va_end。
它接受一个格式字符串,并且后面跟随任意指定的参数,根据实际需要而确定入参的个数。
实际上它的实现要依赖于一个标准 C 库 <stdarg.h>,standard argument(标准参数) 的意思。下面先稍为介绍一下 <stdarg.h>,或者在 C++ 中的 <cstdarg> 的功效:
这实际上是一组初始化和调用可变参数的宏,下面先介绍一下可变参数表的调用形式以及原理:
首先是参数的内存存放格式:参数存放在内存的堆栈段中,在执行函数的时候,从最后一个开始入栈。因此栈底高地址,栈顶低地址,举个例子如下:
void func(int x, float y, char z);
那么,调用函数的时候,实参 char z 先进栈,然后是 float y,最后是 int x,因此在内存中变量的存放次序是 x->y->z,因此,从理论上说,我们只要探测到任意一个变量的地址,并且知道其他变量的类型,通过指针移位运算,则总可以顺藤摸瓜找到其他的输入变量。
然后是可变入参表格式,省略的参数用 ... 代替,但必须注意:
1. 只能有一个 ... 并且它必须是最后一个参数;
2. 不要只用一个 ... 作为所有的参数,因为从后面可以知道,这样你无法确定入参表的地址。
举个例子,声明函数如下:
void func(int x, int y, ...);
然后调用:func(3, 5, 'c', 2.1f, 6);
于是在调用参数的时候,编译器则不会检查实际输入的是什么参数,只管把所有参数按照上面描述的方法,变成实参堆放在内存中,在本例中,内存中依次存放 x=3, y=5, 'c', 2.1f, 6
但是有一个需要注意的地方,这些东西只是紧挨着堆放在内存中,于是想要正确调用这些参数,必须知道他们确切的类型,并且我们也关心这个参数表实际的长度,然而不幸的是,这些我们无从得知。因此,这个解决办法决不是高明的,从某种程度上说,这甚至是一个严重的漏洞。因此,C++ 很不提倡去使用它。不过缺点归缺点,万不得已的时候我们还是得用,但是我们对里面输入变量的时候,应该对入参的类型有一个清醒的认识,否则这样的操作是很危险的。
下面是 <stdarg.h> 对上面这一个思路的实现,里面重要的几个宏定义如下:
typedef char* va_list;
void va_start ( va_list ap, prev_param ); /* ANSI version */
type va_arg ( va_list ap, type );
void va_end ( va_list ap );
其中,va_list 是一个字符指针,可以理解为指向当前参数的一个指针,取参必须通过这个指针进行。
【实现过程实例】
/* * 作者:夏侯佐鑫 * 日期: 2012.06.21 * 功能:可变参数计算平均值 */ #include <stdio.h> #include <stdarg.h> float average(int n_values, ...) { va_list var_arg; int count = 0; float sum = 0; /* * 可变参数访问 */ va_start(var_arg, n_values); //function:将var_arg变量设置为指向可变参数部分的第一个参数 /* * 添加取自可变参数列表值 */ for(count=0; count<n_values; count+=1) { sum += va_arg(var_arg, int); } va_end(var_arg); return sum / n_values; } int main(void) { float a = average(3, 20,10,30); //第一个值为后续参数个数 printf("求平均值结果为%f\n", a); return
【结果】