可变参数函数使用详解

时间：2010-08-19 来源：frankzfz

某些情况下希望函数的参数个数可以根据需要确定。典型的例子有大家熟悉的函数printf()、scanf()和系统调用execl()等。那么它们是怎样实现的呢？C编译器通常提供了一系列处理这种情况的宏，以屏蔽不同的硬件平台造成的差异，增加程序的可移植性。这些宏包括va_start、va_arg和va_end等。

---- 采用ANSI标准形式时，参数个数可变的函数的原型声明是：
type funcname(type para1, type para2, ...)
---- 这种形式至少需要一个普通的形式参数，后面的省略号不表示省略，而是函数原型的一部分。type是函数返回值和形式参数的类型。
---- 采用与UNIX System V兼容的声明方式时，参数个数可变的函数原型是：
type funcname(va_alist)
va_dcl
---- 这种形式不需要提供任何普通的形式参数。type是函数返回值的类型。va_dcl是对函数原型声明中参数。

Va_alist：va_alist的详细声明，实际是一个宏定义，对不同的硬件平台采用不同的类型来定义，但在最后都包括了一个分号。因此va_dcl后不再需要加上分号了。va_dcl在代码中必须原样给出。va_alist在VC中可以原样给出，也可以略去。
---- 此外，采用头文件stdarg.h编写的程序是符合ANSI标准的，可以在各种操作系统和硬件上运行；而采用头文件varargs.h的方式仅仅是为了与以前的程序兼容。所以建议大家使用前者。以下主要就前一种方式对参数的处理做出说明。两种方式的基本原理是一致的，只是在语法形式上有一些细微的区别。
va_start: va_start(arg_ptr, argN)：va_start使argp指向第一个可选参数。说明：argN是位于第一个可选参数之前的固定参数，（或者说，最后一个固定参数；…之前的一个参数），函数参数列表中参数在内存中的顺序与函数声明时的顺序是一致的。如果有一va函数的声明是void va_test(char a, char b, char c, …)，则它的固定参数依次是a,b,c，最后一个固定参数argN为c，因此就是va_start(arg_ptr, c)。

va_arg: va_arg(arg_ptr, type)：返回参数列表中的当前参数并使argp指向参数列表中的下一个参数。返回类型为type，并使指针arg_ptr指向参数列表中下一个参数。

va_end:va_end把argp指针清为NULL。函数体内可以多次遍历这些参数，但是都必须以va_start开始，并以va_end结尾。并置参数指针arg_ptr无效。说明：指针arg_pt
r被置无效后，可以通过调用va_start()、va_copy()恢复arg_ptr。每次调用va_st
art() / va_copy()后，必须得有相应的va_end()与之匹配。参数指针可以在参数列
表中随意地来回移动，但必须在va_start() … va_end()之内。

va_copy:va_copy(dest, src)：dest，src的类型都是va_list，va_copy()用于复制参数列表指针，将dest初始化为src。
---- 调用者在实际调用参数个数可变的函数时，要通过一定的方法指明实际参数的个数，例如把最后一个参数置为空字符串（系统调用execl()就是这样的）、-1或其他的方式（函数printf()就是通过第一个参数，即输出格式的定义来确定实际参数的个数的）。
---- 下面给出一个具体的例子。是采用了符合ANSI标准的形式的代码。

1、演示如何使用参数个数可变的函数，采用ANSI标准形式

#include < stdio.h >
#include < string.h >
#include < stdarg.h >

/* 函数原型声明，至少需要一个确定的参数，
注意括号内的省略号 */
int demo( char *, ... );

void main( void )
{
    demo("DEMO", "This", "is", "a", "demo!", "\0");
}

/* ANSI标准形式的声明方式，括号内的省略号表示可选参数 */
int demo( char *msg, ... )
{
va_list argp;        /* 定义保存函数参数的结构 */
       int argno = 0;    /* 纪录参数个数 */
       char *para;        /* 存放取出的字符串参数 */

/* argp指向传入的第一个可选参数，
msg是最后一个确定的参数 */
va_start( argp, msg );

       while (1) {
para = va_arg( argp, char *);    /*
取出当前的参数，类型为char *. */
         if ( strcmp( para, "\0") == 0 )
/* 采用空串指示参数输入结束 */
            break;
printf("Parameter #%d is: %s\n", argno, para);
         argno++;
       }
     va_end( argp );    /* 将argp置为NULL */
       return 0;
}

2、如何使用参数个数可变的函数，采用与UNIX System V兼容的方式

#include < stdio.h >
#include < string.h >
#include < varargs.h >

/* 函数原型声明，括号内的类型va_list在
VC/Windows NT4.0可以保留，
   但在AIX和Linux下需要去掉，即改成int demo( ) */
int demo( va_list );

void main( void )
{
        demo("This", "is", "a", "demo!", "\0");
}

/* UNIX System V采用的声明方式，括号内是
va_alist，不是va_list，而且
  va_dcl后面不需要分号 */
int demo( va_alist )
va_dcl
{
va_list argp;
/* 定义保存函数参数的结构 */
           int argno = 0;
/* 纪录参数个数 */
           char *para;
/* 存放取出的字符串参数 */

va_start( argp );
/* argp指向第一个可选参数 */

while (1) {
para = va_arg( argp, char *);
/* 取出当前的参数，类型为char* */
if ( strcmp( para, "\0") == 0 )
/* 采用空串指示参数输入结束 */
    break;
printf("Parameter #%d is: %s\n", argno, para);
    argno++;
           }

va_end( argp );
/* 将argp置为NULL */
return 0;
}