可变参数列表用法及原理

可变参数列表是通过下面这四个宏来实现的，这些宏定义在Stdarg.h头文件

va_list Name

va_start(Name, val)

va_arg(Name, type)

va_end(Name)

 

va_list Name

声明一个va_list类型的变量，它用于访问参数列表的未确定部分。

 

va_start(Name, val)

Name这个变量是调用va_list来初始化的，va_start的第一个参数是va_list的变量名，第二个参数是省略号前的最后一个有名字的参数.

初始化过程：把va_list定义的Name变量指向可变参数部分的第一个参数

 

va_arg(Name, type)

要访问参数，需要使用va_arg,这个宏接受两个参数：第一个是va_list的变量名，第二个是参数列表 中下一个参数的类型。

根据下一个参数的类型，提取到下一个参数的内容；

（这里可以根据函数调用栈帧原理进行分析，因为在调用函数时，形参实例化是从右往左的，又因为栈是往低地址生长的，所以在地址空间里，形参的临时拷贝在栈空间从栈顶往栈底依次是参数列表的第一、第二、第三等参数，因此我们可以根据下一个参数的类型，只用把当前参数的类型强转成下一个参数的类型，然后指针加一，就指到了参数列表下一个元素，然后提取下一个参数的内容。）

Va_arg返回这个参数的值，并使用va_arg指向下一个可变参数。

 

va_end(Name)

释放掉va_list声明的这个变量。

 

 

下面是一个可变参数的实例，模拟参数可变的printf函数的实现：

#pragma warning(disable:4996)
#include<stdio.h>
#include<string.h>
#include<windows.h>
#include<assert.h>
#include<stdlib.h>

int my_printf(const char* val, ...)
{ 	assert(val);

	va_list arg;
	int count = 0;
	va_start(arg, val);
	const char* str = val;
	while (*str)
	{
		if (*str == '%')
		{
			str++;
			switch(*str)
			{
			case 'f':
			{
						double fl = va_arg(arg, double);
						char arr1[20];
						_gcvt(fl, 10, arr1);
						fputs(arr1, stdout);
						count += strlen(arr1);
			}
			case 'd':
			{
						int num = va_arg(arg, int);
						char arr2[20];
						_itoa(num, arr2, 10);
						fputs(arr2, stdout);
						count += strlen(arr2);
			}
				break;
			case 'c':
			{
						char ch = va_arg(arg, char);
						putchar(ch);
						count++;
			}
				break;
			case 's':
			{
						char *pi = va_arg(arg, char*);
						fputs(pi, stdout);
						count += strlen(pi);
			}
				break;
			default:
				break;
			}
			str++;
		}
		putchar(*str);
		str++;
		count++;
	}
	va_end(arg); 
	return count;
}

int main(int argc, char* argv[])
{
	char a = 'z';
	char b[] = "hello";
	int c = 2147483647;
	float d = 1.2345678;
	my_printf("num = %d\n", my_printf("char = %c \nstring = %s\nint = %d\nfloat = %f\n", a, b, c, d));
	system("pause");
	return 0;
}

 

可变参数的限制

可变参数必须从头到尾逐个访问，不可以从可变参数列表中途某个参数开始访问，但可以在访问几个参数后半途停止。

 

1.参数列表中至少有一个命名参数，如果连一个命名参数都没有，就无法使用va_list;

2.这些宏是无法直接判断实际存在参数的数量；

3.这些宏是无法直接判断每个参数的类型；

4.如果在va_arg中指定了错误的类型，那么其后果是不可预测的。