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);
}
va_end(arg);
return sum/n;
}
int main()
{
int arg = average(2, 5, 7);
printf("%d\n",arg);
return 0;
}
可变参数的源码解析:
#include <stdio.h>
#include <stdarg.h>
int average(int n, ...)
{
//va_list arg;
//VS中的源码
char *arg;
int i = 0;
int sum = 0;
//va_start(arg, n);
//VS中的源码
//#define va_start(ap,v) ( arg = (va_list)&v + _INTSIZEOF(v) )
//VS中的源码
//#define _INTSIZEOF(n) ((sizeof(n) + sizeof(int)-1)&~(sizeof(int)-1))
//当n的大小是1,2,3,4个自字节时返回的是4,为5,6,7,8则返回8
(arg = (char *)&n + 4);//为了偏移4个字节,n取地址强制转化为char*,加上4个字节指向下一个参数
for(i = 0; i < n; i++)
{
//sum += va_arg(arg, int);
//VS中的源码
//#define va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t))- _INTSIZEOF(t)) )
//先将arg+4的地址指向下一的参数,然后-4让arg指向上一个参数但地址没有改变
//再强制转化为整型,再解引用
sum += ( *(int *)((arg += 4) - 4));
}
//va_end(arg);
//VS中的源码
//#define va_end(ap) (ap = (va_list)0 )
//将arg转换为一个空指针
(arg = (char *)0 );
return sum/n;
}
int main()
{
int arg = average(2, 5, 7);
printf("%d\n",arg);
return 0;
}
在内存中的存储:
使用规则:
1:声明⼀个 va_list 类型的变量量 arg ,它⽤用于访问参数列列表的未确定部分。
2:这个变量是调⽤用va_start来初始化的。它的⼀个参数是 va_list 的变量名,第2个参数是省略号前后一个有名字的参数。初始 化过程把 arg 变量设置为指向可变参数部分的第一个参数。
3:为了了访问参数,需要使⽤用 va_arg ,这个宏接受两个参数:va_list 变量和参数列表中下⼀个参数的类型。在这个例 ⼦中所有的可变参数都是整型。va_arg返回这个参数的值,并使 ⽤用 va_arg 指向下一个可变参数。
4:最后,当访问完毕后一个可变参数之后,我们需要调用 va_end 。
可变参数的限制注意:
1:可变参数必须从头到尾逐个访问。如果你在访问了了几个可变参数之后想半途终止,这是可以的,但是,如果你想⼀开 始就访问参数列表中间的参数,那是不行的。
2:参数列表中⾄至少有⼀个命名参数。如果连⼀个命名参数都没有,就⽆法使用va_start。
3: 这些宏是⽆法直接判断实际存在参数的数量。
4:这些宏无法判断每个参数的是类型。
5:如果在va_arg中指定了错误的类型,那么其后果是不可预测的。