可变参数列表用法及原理

可变参数列表是通过下面这四个宏来实现的，这些宏定义在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中指定了错误的类型，那么其后果是不可预测的。