首先说一下什么是可变参数:
当我们在不同时刻调用同一个函数时,有时候传的参数类型与个数都不尽相同,因此就要求该函数能接收不同类型,不同个数的参数,那么这些参数就称为可变参数。最有代表性的例子就是printf函数了。通过调用printf函数,我们可以实现整型数据的打印,字符数以及浮点数等各种类型数据的打印输出,也可同时输出不同个数的参数,那么,类似于printf函数一些拥有可变参数的函数,它们是怎么定义的呢?
假设我们要实现一个函数,该函数可以求任意多个参数的平均值,那我们要如何实现它呢?
看代码
#include<stdio.h>
#include<stdarg.h> //支持可变参数的使用
int average(int n, ...) //...为未知参数列表,n为未知参数的个数(当我们要求n各数的平均值时,必须知道这些数的个数n,而n为多少可以根据我们的要求自己设定)
{
va_list arg; // (1)
int i = 0;
int sum = 0;
va_start(arg, n); //(2)
for (i = 0; i < n; i++)
{
sum = sum + va_arg(arg, int); //(3)
}
return sum / n;
va_end(arg); //(4)
}
int main()
{
int a = 1, b = 2, c = 3;
int ret = average(3, a, b, c);
printf("%d\n", ret);
return 0;
}
(1)va_list 解析如下:
选中 va_list,右击查看定义如下
typedef System::ArgIterator va_list;
#else /* _M_CEE_PURE */
typedef char * va_list;
#endif /* _M_CEE_PURE */
#define _VA_LIST_DEFINED
#endif /* _VA_LIST_DEFINED */
通过对这段代码的解析我们得知:va_list其实就是包装好的一个宏,等价于char*.
因此 **va_list arg这段代码就可解析为 char* arg,arg用来访问参数列表的未确定部分。**
(2)va_start解析:
右击查看定义如下
#define va_start _crt_va_start
可知va_start也是被包装好的一个宏,其释义为_crt_va_start,但这个东西我们并不认识,再右击转到定义查看_crt_va_start。
释义如下:
#define _crt_va_start(ap,v) ( __va_start(&ap, _ADDRESSOF(v), _SLOTSIZEOF(v), \
__alignof(v), _ADDRESSOF(v)) )
这里我们就可以看出 **va_start 其实就是初始化arg为未知参数列表的第一个参数的地址**
(3)va_arg 释义:
#define va_arg _crt_va_arg
va_arg 定义为_crt_va_arg
再次转到定义查看_crt_va_arg如下
#define _crt_va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
原来,va_arg 也是一个宏,而 va_arg(arg,int)则形成了一个函数,它返回一个参数的值,并从该位置向后再加一个整形(int为可变参数的类型)。
这句代码用它来实现可变参数依次向后累加,达到求和的效果。
(4)va_end(arg)释义
#define va_end _crt_va_end
va_end:访问完最后一个参数后调用,
va_end(arg)相当于arg,也相当于(char*)0;
可见,可变参数的过程是使用宏的封装。
认识了可变参数,那么它有什么限制呢?需要注意以下五点:
**访问时需从头到尾逐个访问,可在访问了几个参数后半途而止,但不能一开始就访问中间的参数。
**至少有一个命名参数,否则无法使用 va_start 。
**这些宏无法直接判断实际存在的参数的数量。
**这些宏无法判断每个参数是什么类型。
**如果va_arg中指定了错误的类型(使得偏移量发生改变),其后果不可预测。