C 可变参数函数的实现方法

基本原理

1.函数形参入栈顺序 

在C中，函数形参从右往左入栈，且栈是从高地址往低地址方向增长。通过利用指针，可以访问未出现在列表中的参数。

例如： 

void test(char *para1，char *param2，char *param3, char *param4) { va_list list; ...... return; }

其参数入栈情况如下：

2. 相关宏定义

在 C 语言中，变参函数的声明是放在 stdarg.h 标准库中的。定义如下：

typedef char * va_list;

/* 当sizeof(n)=1/2/4时，_INTSIZEOF(n)=4 */
#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

#define va_start(ap,v) ( (void)(ap = (va_list)&v + _INTSIZEOF(v)) )

/* 下面这个话的意思是，先指向下一个变量的地址，然后再(减)回来，最后取它原来地址里面的值 */ 
#define va_arg(ap,t) (*(t *)(ap = ap + _INTSIZEOF(t), ap - _INTSIZEOF(t)))

/*指针用完后指向0地址，防止野指针的出现*/
#define va_end(ap) ( (void)(ap = (va_list)0) ) 

Note: 是把 _INTSIZEOF (n) 是把 sizeof (n) “向上取整” 成 sizeof (int) 的整数倍，用来地址对齐。由于在 x86 (32 位机器) 平台下，GCC 编译器默认按 4 字节对齐，所以当 sizeof (n)=1/2/4 时，_INTSIZEOF (n)=4 这句话的意思是当变量类型是 char，unsigned int，int，那么不足 4 字节的都按照 4 字节补齐，5-8 的时候返回 8，以此类推。

实现步骤

1. 定义一个指向未显示的参数的指针并初始化其指向第一个可变参数。

va_list ap;//定义指针

va_start(ap, para1);//初始化指针，使其指向参数para1后面的参数

      2.通过指针访问未显示的参数: 

va_arg(ap, int)//返回值为当前指向的参数，并让指针指向下一个参数，int为当前参数的类型。

       3.访问结束后，关闭指针

va_end(ap);

实例程序如下(程序来自网络)：

double average(int num, ...)
{

	va_list valist;
	double sum = 0.0;
	int i;

	/* 为 num 个参数初始化 valist */
	va_start(valist, num);

	/* 访问所有赋给 valist 的参数 */
	for (i = 0; i < num; i++)
	{
		sum += va_arg(valist, int);
	}
	/* 清理为 valist 保留的内存 */
	va_end(valist);

	return sum / num;
}

int main()
{
	printf("Average of 2, 3, 4, 5 = %f\n", average(4, 2, 3, 4, 5));
	printf("Average of 5, 10, 15 = %f\n", average(3, 5, 10, 15));
	system("pause");
	return 0;
}

显示结果如下：

注意事项

在访问未显示参数时，必须想办法设定结束条件。本例中用的是设显示的参数num为要访问的个数的方法。printf中用的是判断字符串中%个数的方法。

参考：https://www.e-learn.cn/content/qita/716071