C语言中的可变参数是一个比较有意思的实现,通过将函数实现为可变参数的形式,可以使得函数可以接受1个以上的任意多个参数(不固定)。
实现一个函数可以求任意个参数的平均值。
#include <stdio.h>
#include <stdarg.h>
int average(int n, ...)
{
va_list arg;
int i = 0;
int sum = 0;
va_start(arg, n);
for(i=0; i<n; i++)
{
sum += va_arg(arg, int);
}
return sum/n;
va_end(arg);
}
int main()
{
int a = 1;
int b = 2;
int c = 3;
int avg1 = average(2, a, c);
int avg2 = average(3, a, b, c);
printf("avg1 = %d\n", avg1);
printf("avg2 = %d\n", avg2);
return 0;
}
声明一个 va_list 类型的变量 arg ,它用于访问参数列表的未确定部分。
这个变量是调用 va_start 来初始化的。它的第一个参数是 va_list 的变量量名,第2个参数 是省略号前后一个有名字的参数。初始化过程把 arg 变量设置为指向可变参数部分的第一 个参数。
为了访问参数,需要使用 va_arg ,这个宏接受两个参数: va_list 变量和参数列表中下一 个参数的类型。在这个例子中所有的可变参数都是整型。 va_arg 返回这个参数的值,并使 用 va_arg 指向下一个可变参数。
最后,当访问完毕后一个可变参数之后,我们需要调用 va_end
可变参数的限制
注意:
可变参数必须从头到尾逐个访问。如果你在访问了几个可变参数之后想半途终止,这是可以的,但是,如果你想一开始就访问参数列表中间的参数,那是不行的。
参数列表中至少有一个命名参数。如果连一个命名参数都没有,就无法使用va_start。
这些宏是无法直接判断实际存在参数的数量。
这些宏无法判断每个参数的是类型。
如果在va_arg中指定了错误的类型,那么其后果是不可预测的。
如果有兴趣我们可以研究一下可变参数实现的细节: 在VS的源码中我们可以看到
可变参数的实现过程是使用宏的封装。只要完成替换,我们就可以自行分析了。