Ｃ语言中的可变参数

Ｃ语言中的可变参数

Ｃ语言有一个功能，就是它允许程序定义一个可接受可变参数列表的函数。

为了访问参数表中的参数，我们须要借助<stdarg.h>这个头文件。它允许我们从头到尾地遍历一个附加参数列表。在遇到一个参数时，必须知道它的类型。以便知道这个参数的内存地址。但是在一个给定的调用之前，不必知道它的细节。

标准Ｃ规定，可变参数的函数至少声明一个固定的参数。显然，若没有这个参数，编译器无法得到参数的地址。

如下，《Ｃ标准库》中的一个例子程序

（书中的断言会发生异常，因为(4.0==4)的真值为假，下面己改正）

#include <assert.h> #include <stdarg.h> #include <stdio.h> typedef struct { char c; } Cstruct; static int tryit (const char *fmt, ...) { int ctr = 0; va_list ap; va_start(ap, fmt); for (; *fmt; ++fmt) { switch (*fmt) { case 'i': va_arg(ap,int) ; ++ctr; break; case 'd': va_arg(ap, double); ++ctr ; break; case 'p': va_arg(ap, char*); ++ctr; break; case 's': va_arg(ap,Cstruct); ++ctr; break; } } va_end(ap); return (ctr); } int main() { Cstruct x = { 3 }; assert(tryit("iisdi",'/1', 2, x, 4, 4.0, 5) == 5); assert(tryit("") == 0); assert(tryit("pdp", "/1", 2.0, "/3") == 3); printf("sizeof (va_list) = %u/n", sizeof(va_list)); return 0; }   

程序中ap被声明为va_list类型，另有va_start, va_arg, va_end三个宏。　

在头文件stdarg.h中：

#include <vadefs.h> #define va_start _crt_va_start #define va_arg _crt_va_arg #define va_end _crt_va_end

而在stdarg.h的上一层文件vadefs.h中：

有如下代码：

typedef char * va_list; #define _crt_va_start(ap,v) ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) ) #define _crt_va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) ) #define _crt_va_end(ap) ( ap = (va_list)0 )

va_list就是一个字符型指针变量，_ADDRESSOF和_INTSIZEO是什么宏呢？

同样在vadefs.h中：

#define _ADDRESSOF(v) ( &reinterpret_cast<const char &>(v) ) #define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )   

_ADDRESSOF(v)会把v转化成指向字符常量的指针。

_INTSIZEOF(n)把n转化为int型字节数的整数倍。

再来看看上面的三个宏。

Ｃ语言中是从右到左逐个把参数压入栈中的，栈空间是从高地址到低地址递减。也就是说，函数最左边的参数是最后入栈的，它的地址是所有参数中最小的。所以_crt_va_start(ap,v)就是可变参数中左边第一个。( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )，为什么加上后又要减去呢，ap += _INTSIZEOF(t)即是下一个参数的地址，再加上_INTSIZEOF(t)，_crt_va_arg(ap,t)得到的是当前参数的地址。_crt_va_end(ap)把ap值赋为０，表示参数表己遍历完毕。