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);

二、示例

该函数至少有一个整数参数,其后占位符…，表示后面参数的个数不定。在这个例子里，所有的输入参数必须都是整数，函数的功能只是打印所有参数的值。函数代码如下：
//示例代码1：可变参数函数的使用
#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。注意被调的函数在调用时是不知道可变参数的正确数目的，程序员必须自己在代码中指明结束条件。至于为什么它不会知道参数的数目，在看完这几个宏的内部实现机制后，自然就会明白。
在标准C语言中定义了一个头文件专门用来对付可变参数列表，它包含了一组宏，和一个va_list的typedef声明。一个典型实现如下：

typedef char* va_list;

#define va_start(list) list = (char*)&va_alist

#define va_end(list)

#define va_arg(list, mode)　((mode*) (list += sizeof(mode)))[-1]

自己实现printf：
　　#include
　　int printf(char* format, …)
　　{
　 va_list ap;
　　va_start(ap, format);
　　int n = vprintf(format, ap);
　　va_end(ap);
　　return n;
　　}

三、函数参数的传递原理

函数参数是以数据结构:栈的形式存取,从右至左入栈。

首先是参数的内存存放格式：参数存放在内存的堆栈段中，在执行函数的时候，从最后一个开始入栈。因此栈底高地址，栈顶低地址，举个例子如下：
　　　　void func(int x, float y, char z);
　　那么，调用函数的时候，实参 char z 先进栈，然后是 float y，最后是 int x，因此在内存中变量的存放次序是 x->y->z，因此，从理论上说，我们只要探测到任意一个变量的地址，并且知道其他变量的类型，通过指针移位运算，则总可以顺藤摸瓜找到其他的输入变量。
　　下面是 <stdarg.h> 里面重要的几个宏定义如下：
　　　　typedef char* va_list;
　　　　void va_start ( va_list ap, prev_param ); /* ANSI version */
　　　　type va_arg ( va_list ap, type );
　　　　void va_end ( va_list ap );
　　va_list 是一个字符指针，可以理解为指向当前参数的一个指针，取参必须通过这个指针进行。
　　<Step 1> 在调用参数表之前，定义一个 va_list 类型的变量，(假设va_list 类型变量被定义为ap)；
　　<Step 2> 然后应该对ap 进行初始化，让它指向可变参数表里面的第一个参数，这是通过 va_start 来实现的，第一个参数是 ap 本身，第二个参数是在变参表前面紧挨着的一个变量,即“…”之前的那个参数；
　　<Step 3> 然后是获取参数，调用va_arg，它的第一个参数是ap，第二个参数是要获取的参数的指定类型，然后返回这个指定类型的值，并且把 ap 的位置指向变参表的下一个变量位置；
　　<Step 4> 获取所有的参数之后，我们有必要将这个 ap 指针关掉，以免发生危险，方法是调用 va_end，他是输入的参数 ap 置为 NULL，应该养成获取完参数表之后关闭指针的习惯。说白了，就是让我们的程序具有健壮性。通常va_start和va_end是成对出现。
　　例如 int max(int n, …); 其函数内部应该如此实现：
　　#include <iostream.h>
　　void fun(int a, …)
　　{
　　　　int *temp = &a;
　　　　temp++;　　//评论中反馈有问题，待改中
　　　　for (int i = 0; i < a; ++i)
　　　　{
　　　　　　cout << *temp << endl;
　　　　　　temp++;
　　　　}
　　}
　　int main()
　　{
　　　　int a = 1;
　　　　int b = 2;
　　　　int c = 3;
　　　　int d = 4;
　　　　fun(4, a, b, c, d);
　　　　system(“pause”);
　　　　return 0;
　　}

Output::
　　1
　　2
　　3
　　4
　　资料来自于http://www.cnblogs.com/hanyonglu/archive/2011/05/07/2039916.html