1、函数声明:
type Function(type arg1, type arg2, … );
参数分为两部分:个数确定的固定参数和个数可变的可选参数。函数至少需要一个固定参数,固定参数的声明和普通函数一样;可选参数由于个数不确定,声明时用"..."表示。固定参数和可选参数公同构成一个函数的参数列表。
2、相关宏
标准C/C++包含头文件stdarg.h,该头文件中定义了如下三个宏:
标准C/C++包含头文件stdarg.h,该头文件中定义了如下三个宏:
void va_start ( va_list arg_ptr, prev_param ); /* ANSI version */ type va_arg ( va_list arg_ptr, type ); void va_end ( va_list arg_ptr ); |
在这些宏中,va就是variable argument(可变参数)的意思;
arg_ptr 指向可变参数表的指针;
prev_param 指可变参数表的前一个固定参数;
type 为可变参数的类型。
va_list 也是一个宏,其定义为typedef char * va_list,实质上是一char型指针。
char型指针的特点是++、--操作对其作用的结果是增1和减1(因为sizeof(char)为1)。
va_start宏可以取得可变参数表的首指针,这个宏的定义为:
#define va_start ( ap, v ) ( ap = (va_list)&v + _INTSIZEOF(v) ) |
显而易见,其含义为将最后那个固定参数的地址加上可变参数对其的偏移后赋值给ap,这样ap就是
可变参数表的首地址。其中的_INTSIZEOF宏定义为:
#define _INTSIZEOF(n) ((sizeof ( n ) + sizeof ( int ) - 1 ) & ~( sizeof( int ) - 1 ) ) |
va_start(arg_ptr, argN):使参数列表指针arg_ptr指向函数参数列表中的第一个可选参数,
说明:argN是位于第一个可选参数之前的固定参数,(或者说,最后一个固定参数;…之前的一个参
数),函数参数列表中参数在内存中的顺序与函数声明时的顺序是一致的。如果有一va函数的声明是
void va_test(char a, char b, char c, …),则它的固定参数依次是a,b,c,最后一个固定参数
argN为c,因此就是va_start(arg_ptr, c)。
va_arg宏则指取出当前arg_ptr所指的可变参数并将ap指针指向下一可变参数,其原型为:
#define va_arg(list, mode) ((mode *)(list = (char *) ((((int)list + (__builtin_alignof(mode)<=4?3:7)) & (__builtin_alignof(mode)<=4?-4:-8))+sizeof(mode))))[-1] |
va_end宏被用来结束可变参数的获取,其定义为:
#define va_end ( list ) |
可以看出,va_end ( list )实际上被定义为空,没有任何真实对应的代码,用于代码对称,与va_start
对应;
例子:
#include <stdarg.h> int max ( int num, ... ) int main ( int argc, char* argv[] ) |