C语言中可变参数的解析是特别有趣的实现,通过将函数实现为可变参数的形式,可以使得函数可以接受一个以上的任意多个参数(不固定)。
通过一个例子详细研究一下,比如:实现一个函数可以求任意个数的平均值
#include <stdio.h>
#include <stdarg.h>
int average(int n, ...)
{
va_list arg;
int sum = 0;
int i = 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 ar = average(5, 2, 3, 4, 1,5);
printf("%d\n", ar);
return 0;
}
***声明一个va_list 类型的变量arg,它用于访问参数列表的未确定部分。
***这个变量是调用va_start来初始化的。它的第一个参数是va_list变量名,第二个参数是省略号前最后一个有名字的参数。初始化过程把arg变量设置为指向可变参数部分第一个参数。
***为了访问参数,需要使用va_arg,这个宏接受两个参数:va_list变量和参数列表中下一个参数的类型。在上述例子中类型为int。
***当访问完最后一个可变参数后需调用va_end。
下面我们看看它们在vs中的源码:
1. va_list:
typedef char * va_list;
可以清楚看到va_list是进行了类型重定义,va_list等同于char*;
2. va_start(ap,v):
#define va_start _crt_va_start
#define _crt_va_start(ap,v) ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )
#define _ADDRESSOF(v) ( &(v) )
#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )
可以看到va_start是一个宏定义,就上例而言我们把它替代完后就是如下:
ap=(char *)&v+_INTSIZEOF(v)
我们分析一下INTSIZEOF(n),假设a=INTSIZEOF(n):
在n=1,2,3,4 时,a=4;
在n=5,6,7,8 时,a=8;
在n=9,10,11,12时,a=12;
……总之,会是sizeof(int)的倍数。
由此,我们可以把上面代码va_start(arg,n)替换成:
arg=(char *)&n+8;
va_start是用来进行初始化的,初始化过程把arg变量设置为指向可变参数部分第一个参数。
3.va_ap(ap,t):
*(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t))
对应于上面代码它会替换成:
*(int *)((arg+=4)-4);
在这个代码中它实现了一个代码做了两件事:将第一个参数取出的同时使arg指向下一个参数。
4.va_end(ap):
ap = (char *)0;
最后一步,结束,使arg初始化成空指针。当一个指针你不想用的时候应当赋予空指针,保证其安全性。