Ｃ语言中的可变参数

Ｃ语言中的可变参数
Ｃ语言有一个功能，就是它允许程序定义一个可接受可变参数列表的函数。
为了访问参数表中的参数，我们须要借助<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值赋为０，表示参数表己遍历完毕。