va_start和va_end使用详解

本篇随笔转载自：

1. 在C中，当无法列出传递函数的所有实参的类型和数目时，可以用省略号指定参数表。例如：

void foo(...);

void foo(parm_list,...);

2. 函数参数的传递原理

函数参数是以栈的形式存取，从右至左入栈。

参数的内存存放格式：参数存放在内存的堆栈段中，在执行函数的时候，从最后一个开始入栈。因此栈底高地址，栈顶低地址，举个例子如下：

void func(int x, float y, char z);

那么，调用函数的时候，实参 char z 先进栈，然后是 float y，最后是 int x，因此在内存中变量的存放次序是 x->y->z。从理论上说，我们只要探测到任意一个变量的地址，并且知道其他变量的类型，通过指针移位运算，则总可以顺藤摸瓜找到其他的输入变量。举个例子如下：

#include <iostream.h> 

//获取参数列表中的所有参数，并打印
void PrintInt(int cnt, ...) 
{ 
  int *temp = &cnt;
  temp++;
  for (int i = 0; i < cnt; ++i) 
  { 
    printf("%d
", *temp); 
    temp++; 
  } 
}

int main(void)
{
    int a = 1; 
    int b = 2; 
    int c = 3; 
    int d = 4;
    PrintInt(4, a, b, c, d); 
    return 0;
}

执行程序后输出：

1
2
3
4

3. 利用Va_start相关宏获取省略号指定的参数

　　下面是 <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 );

说明：

1）va_list：一个字符指针，可以理解为指向当前参数的一个指针，取参必须通过这个指针进行。

2）va_start：对ap进行初始化，让ap指向可变参数表里面的第一个参数。第一个参数是 ap 本身，第二个参数是在变参表前面紧挨着的一个变量，即“...”之前的那个参数；

3）va_arg: 获取参数。它的第一个参数是ap，第二个参数是要获取的参数的指定类型。按照指定类型获取当前参数，返回这个指定类型的值，然后把 ap 的位置指向变参表中下一个变量的位置；

4）va_end：释放指针，将输入的参数 ap 置为 NULL。通常va_start和va_end是成对出现。

使用上面的宏获取参数的步骤如下：

<Step 1> 定义一个 va_list 类型的变量，(假设va_list 类型变量被定义为ap)；
<Step 2> 调用va_start ，对ap 进行初始化，让它指向可变参数表里面的第一个参数。

<Step 3> 获取参数，并使用参数。

<Step 4> 获取所有的参数之后，将 ap 指针关掉。

给出一个例子如下：

void PrintString(char*, ...);
int main(void)
{ 
    PrintString("Msg","This","is","a","test!","");    
    return 0;
}

//ANSI标准形式的声明方式，括号内的省略号表示可选参数
//利用va_start相关宏，获取参数列表中的所有参数，并打印
void PrintString (char* prev_param, ...)
{
    //定义保存函数参数的结构
    va_list pArgs; 
    int argNo = 0;
    char* para;    //获取参数用的临时变量    

    //对pArgs进行初始化，让它指向可变参数表里面的第一个参数
    //prev_param 是在变参表前面紧挨着的一个变量,即"..."之前的那个参数
    va_start(pArgs, prev_param); 

    while (1) 
    {
        //获取参数
        para = va_arg(pArgs, char*);
        if ( strcmp( para, "") == 0 )
            break; 
        printf("Parameter #%d is: %s
", argNo, para);
        argNo++;
    }
    
    //获取所有的参数之后，将pArgs指针关掉
    va_end(pArgs);        
}

执行程序后输出：

Parameter #0 is: This

Parameter #1 is: is

Parameter #2 is: a

Parameter #3 is: test!