可变参数列表的解析

首先说一下什么是可变参数：
当我们在不同时刻调用同一个函数时，有时候传的参数类型与个数都不尽相同，因此就要求该函数能接收不同类型，不同个数的参数，那么这些参数就称为可变参数。最有代表性的例子就是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中指定了错误的类型（使得偏移量发生改变），其后果不可预测。