va_start/va_arg/va_end--------可变参函数

本博客目录：

1）：可变参函数的形式；

2）：可变参函数参数的原理；

3）：可变参函数的定义步骤；

4）：总结

一：可变参函数的形式：

在C中，当我们无法列出传递函数的所有实参的类型和数目时,可以用省略号指定参数表
  void foo(...);
  void foo(parm_list,...);
这种方式和我们以前认识的不大一样，但我们要记住这是C中一种传参的形式，在后面我们就会用到它。

二.函数参数的传递原理：

我们来看看在vs2008中，它们是怎么定义的：

   1:  ///stdarg.h

   2:  #define va_start _crt_va_start

   3:  #define va_arg _crt_va_arg

   4:  #define va_end _crt_va_end

   5:   

   6:  ///vadefs.h

   7:  #define _ADDRESSOF(v)   ( &reinterpret_cast<const char &>(v) )

   8:  typedef char *  va_list;

   9:  #define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

  10:  #define _crt_va_start(ap,v)  ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )

  11:  #define _crt_va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

  12:  #define _crt_va_end(ap)      ( ap = (va_list)0 )

分析：

 typedef char *  va_list;

          可以看到va_list实际上就是 char *类型。

        假如这里的int是四个字节，则：

 #define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

         （4 +4-1）&～（4-1）= 7&～3 =  0b00000000  00000000 00000000 00000111 &  0b11111111 11111111 11111111 11111100= 0b100 =4

          所以上面这句话是为了达到字节对齐的目的。

 #define _crt_va_start(ap,v)  ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )

        假如这里的v  是一个 int num=0;  这   ap = &num +sizeoof(num),则ap是指向num之后的那个参数的位置。

 #define _crt_va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

        假如这里的t 是int  ， （*（int  *）((ap += 4)） -4)  ,则首先将ap向下移动一个int的地址空间，然后返回上一个ap所指向的值。

#define _crt_va_end(ap)      ( ap = (va_list)0 )

         将ap指向NULL的地址处。安全起见！

总结：  

         va_start:  将va_list类型的ap进行初始化，执行第一个可变参数列表的第一个参数位置。

          va_arg:返回当前所在位置的值，并将ap指向下一个位置。

          va_end:为了安全起见，将ap赋值为NULL。

三.可变参函数的使用步骤：

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是成对出现。

例如：

  #include "X:\编程练习\C-C++\global.h"
  
  1:  #if va_arg==stdon

  2:  #include <stdio.h>

  3:  #include <stdarg.h>

  4:  #include <stdlib.h>

  5:   

  6:  //第一个参数指定了参数的个数

  7:  int sum(int number,...)

  8:  {

  9:      va_list vaptr;

  10:      int i;

  11:      int sum = 0;

  12:      va_start(vaptr,number);

  13:      for(i=0; i<number;i++)

  14:      {

  15:          sum += va_arg(vaptr,int);

  16:      }

  17:      va_end(vaptr);

  18:      return sum;

  19:  }

  20:   

  21:   

  22:  int main()

  23:  {

  24:      printf("%d\n",sum(4,4,3,2,1));

  25:      system("pause");

  26:      return 0;

  27:  }

  28:   

  29:  #endif

四.总结：

1. 函数参数是以数据结构:栈的形式存取,从右至左入栈。
　　首先是参数的内存存放格式：参数存放在内存的堆栈段中，在执行函数的时候，从最后一个开始入栈。因此栈底高地址，栈顶低地址，举个例子如下：
           void func(int x, float y, char z);
那么，调用函数的时候，实参 char z 先进栈，然后是 float y，最后是 int x，因此在内存中变量的存放次序是 x->y->z，因此，从理论上说，我们只要探测到任意一个变量的地址，并且知道其他变量的类型，通过指针移位运算，则总可以顺藤摸瓜找到其 他的输入变量。

2.运行va_start(ap, v)以后,ap指向第一个可变参数在堆
栈的地址,如图:
高地址|-----------------------------|
|函数返回地址 |
|-----------------------------|
|....... |
|-----------------------------|
|第n个参数(第一个可变参数) |
|-----------------------------|<--va_start后ap指向
|第n-1个参数(最后一个固定参数)|
低地址|-----------------------------|<-- &v

3.用va_arg()取得类型t的可变参数值

高地址|-----------------------------|
|函数返回地址 |
|-----------------------------|
|....... |
|-----------------------------|<--va_arg后ap指向
|第n个参数(第一个可变参数) |
|-----------------------------|<--va_start后ap指向
|第n-1个参数(最后一个固定参数)|
低地址|-----------------------------|<-- &v

4.va_list ap; //声明一个变量来转换参数列表   
   va_start(ap,fmt);          //初始化变量   
   va_end(ap);     //结束变量列表,和va_start成对使用   
   可以根据va_arg(ap,type)取出参数 

参考文献：

http://www.cnblogs.com/justinzhang/archive/2011/09/29/2195969.html

http://www.cnblogs.com/gogly/articles/2416833.html

http://www.cnblogs.com/chenglei/archive/2009/08/04/1538841.html

http://blog.chinaunix.net/xmlrpc.php?r=blog/article&uid=29767867&id=4511132

http://blog.chinaunix.net/uid-26009923-id-3261696.html