主函数在调用函数时,会进行传参,当实参的数量发生变化但被调用函数的功能没有发生改变,这时候被调用函数的参数数量也要发生改变。C语言中有一个比较有意思的实现------可变参数列表。
可变参数列表,通过将函数实现为可变参数的形式,可以使得函数可以接受1个以上的任意多个参数(不固定)。
eg:举个例子,编写一个函数可以实现任意个参数的平均数,代码如下:
#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(void)
{
int a = 2;
int b = 4;
int c = 6;
int avg1 = average(2, a, b);
int avg2 = average(3, a, b, c);
printf("avg1=%d\n", avg1);
printf("avg2=%d\n", avg2);
return 0;
}
运行结果如下图:
1.源码解析
可变参数列表的实现是由几个宏组成的,在文件include/stdarg.h中:
va_list 定义某个变量,内核中的定义:
typedef char* va_list; //字符指针类型
va_start(ap, type) 开始获取可变参数列表中的第一个参数(…里面的第一个),也就是跳过第一个参数(即n):
#ifndef __sparc__
#define va_start(AP, LASTARG) \
(AP = ((char *) &(LASTARG) + __va_rounded_size (LASTARG)))//ap指向下一个参数,lastarg不变
#else
#define va_start(AP, LASTARG) \
(__builtin_saveregs (), \
AP = ((char *) &(LASTARG) + __va_rounded_size (LASTARG))) //跳过下第一个参数,指向第二个参数内存地址
#endif
//对type向上取整 取int的整 4,然后乘上int整型4的倍数
#define __va_rounded_size(TYPE) \
(((sizeof (TYPE) + sizeof (int) - 1) / sizeof (int)) * sizeof (int))
va_arg(args, int) 循环获取到可变参数列表中的参数,args指向下一个参数地址,返回的则是当前参数地址。
// first=va_arg(args,int)
#define va_arg(AP, TYPE) \//ap指向下一个类型的参数
(AP += __va_rounded_size (TYPE), \//返回ap - sizeof(type)参数,即前一个参数
*((TYPE *) (AP - __va_rounded_size (TYPE))))
//对type向上取整 取int的整 4,然后乘上int整型4的倍数
#define __va_rounded_size(TYPE) \
(((sizeof (TYPE) + sizeof (int) - 1) / sizeof (int)) * sizeof (int))
最后一个va_end(ap)结束标志,可能只是在程序中作为一个可变参数列表的结束标志而已,源码如下:
#define va_end _crt_va_end
#define _crt_va_end(ap) ((void)(ap = (va_list)0))
对应各个宏定义,其具体的作用如下:
va_list声明变量arg的类型,它用于访问参数列表的未确定部分。
va_start初始化。他的第一个参数是va_list的变量名,第二个参数是省略号前最后一个有名字的参数。初始化过程把arg变量设置为指向可变参数部分的第一个参数。
va_arg参数访问,这个宏接受两个参数:va_list变量和参数列表中下一个参数的类型。在这个例子中所有可变参数都是整型。va_arg返回这个参数的值,并使用va_arg指向下一个可变参数。
va_end结束标志。
2.注意事项
因为va_start,va_arg,va_end等定义成宏,所以它显得很愚蠢。可变参数的类型和个数完全在该函数中由程序代码控制,它并不能智能地识别不同参数的个数和类型。有人会问:那么printf中不是实现了智能识别参数吗?那是因为函数printf是从固定参数format字符串来分析出参数的类型,再调用va_arg的来获取可变参数的。也就是说,你想实现智能识别可变参数的话是要通过在自己的程序里作判断来实现的。另外有一个问题,因为编译器对可变参数的函数的原型检查不够严格,对编程查错不利。