可变参数源码分析的自我理解

1.获取参数值

对于一般的函数，我们可以通过参数对应在参数列表里的标识符来得到。但是参数可变函数那些可变的参数是没有参数标识符的，它只有“…”。

我们知道函数调用时都会分配栈空间，参数是连续存储在栈里面的，那么也就是说，我们只要得到可变参数的前一个参数的地址，就可以通过指针访问到那些可变参数。参数可变函数在可变参数之前必有一个参数是固定的，并使用标识符，而且通常被声明为char*类 型，printf函数也不例外。我们可以通过这个参数对应的标识符来得到地址，从而访问其他参数变得可能。

下面我们用代码测试一下：

#include <stdio.h>

void va_test(char* fmt,...);//参数可变的函数声明

void main()
{
int a=1,c=55;

char b='b';

va_test("",a,b,c);//用四个参数做测试
}

void va_test(char* fmt,...) //参数可变的函数定义，注意第一个参数为char* fmt
{
char *p=NULL;

p=(char *)&fmt;//注意不是指向fmt，而是指向&fmt，并且强制转化为char *,以便一个一个字节访问

for(int i = 0;i<16;i++)//16是通过计算的值（参数个数*4个字节），只是为了测试，暂且将就一下
{
printf("%.4d ",*p);//输出p指针指向地址的值
p++;
}
}

测试结果：

0056 0000 0066 0000 | 0001 0000 0000 0000 | 0098 0000 0000 0000 | 0055 0000 0000 0000

由运行结果可见，通过这样方式可以逐一获得可变参数的值。

2.确定参数类型和数量

以上所述，我们解决了取得可变参数值的问题，但是对于一个参数，值很重要，其类型同样举足轻重，而对于一个函数来讲参数个数也非常重要，否则会产生了一系列的麻烦。通过访问存储参数的栈空间，我们并不能得到关于类型的任何信息和参数个数的任何信息。如Printf函数就是使用char*参数实现的，它把后面的可变参数类型都放到了char *指向的字符数组里，并通过%来标识，从而确定了参数类型也确定了参数个数。其实，用何种方式来到达这样的效果取决于函数的实现。

3.C语言中的可变参数函数

C语言编程中有时会遇到一些参数个数可变的函数,例如printf()函数,其函数原型为：
int printf( const char* format, ...);
它除了有一个参数format固定以外,后面跟的参数的个数和类型是可变的（用三个点“…”做参数占位符）,实际调用时可以有以下的形式：
printf("%d",i);
printf("%s",s);
printf("the number is %d ,string is:%s", i, s);  
//示例代码：可变参数函数的使用

#include "stdio.h"
#include "stdarg.h"
void simple_va_fun(int start, ...)
{
va_list arg_ptr;
int nArgValue =start;
int nArgCout="0"; //可变参数的数目
va_start(arg_ptr,start); //以固定参数的地址为起点确定变参的内存起始地址。
do
{
++nArgCout;
printf("the %d th arg: %d",nArgCout,nArgValue); //输出各参数的值
nArgValue = va_arg(arg_ptr,int); //得到下一个可变参数的值
} while(nArgValue != -1);               
return;
}
int main(int argc, char* argv[])
{
simple_va_fun(100,-1);
simple_va_fun(100,200,-1);
return 0;
}

代码解说：

⑴在程序中将用到以下这些宏:
void va_start( va_list arg_ptr, prev_param );
type va_arg( va_list arg_ptr, type );
void va_end( va_list arg_ptr );
va在这里是variable-argument(可变参数)的意思。
这些宏定义在stdarg.h中,所以用到可变参数的程序应该包含这个头文件。
⑵函数里首先定义一个va_list型的变量,这里是arg_ptr,这个变量是存储参数地址的指针.因为得到参数的地址之后，再结合参数的类型，才能得到参数的值。
⑶然后用va_start宏初始化⑵中定义的变量arg_ptr,这个宏的第二个参数是可变参数列表的前一个参数,即最后一个固定参数。
⑷然后依次用va_arg宏使arg_ptr返回可变参数的地址,得到这个地址之后，结合参数的类型，就可以得到参数的值。
⑸设定结束条件，这里的条件就是判断参数值是否为-1。注意被调的函数在调用时是不知道可变参数的正确数目的，程序员必须自己在代码中指明结束条件。

4.小结
个数可变参数在声明时只需"..."即可；但是，我们在接受这些参数时不能"..."。va函数实现的关键就是如何得到参数列表中可选参数，包括参数的值和类型。以上的所有实现都是基于来自stdarg.h的va_xxx的宏定义。