va_start和va_end使用详解

本篇随笔参考了http://www.cnblogs.com/hanyonglu/archive/2011/05/07/2039916.html

 

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\n", *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\n", argNo, para);

        argNo++;

    }

    

    //获取所有的参数之后，将pArgs指针关掉

    va_end(pArgs);        

}

 

    执行程序后输出：

    Parameter #0 is: This

    Parameter #1 is: is

    Parameter #2 is: a

    Parameter #3 is: test!