C语言中的可变参数
C语言有一个功能,就是它允许程序定义一个可接受可变参数列表的函数。
为了访问参数表中的参数,我们须要借助<stdarg.h>这个头文件。它允许我们从头到尾地遍历一个附加参数列表。在遇到一个参数时,必须知道它的类型。以便知道这个参数的内存地址。但是在一个给定的调用之前,不必知道它的细节。
标准C规定,可变参数的函数至少声明一个固定的参数。显然,若没有这个参数,编译器无法得到参数的地址。
如下,《C标准库》中的一个例子程序
(书中的断言会发生异常,因为(4.0==4)的真值为假,下面己改正)
程序中ap被声明为va_list类型,另有va_start, va_arg, va_end三个宏。
在头文件stdarg.h中:
而在stdarg.h的上一层文件vadefs.h中:
有如下代码:
va_list就是一个字符型指针变量,_ADDRESSOF和_INTSIZEO是什么宏呢?
同样在vadefs.h中:
_ADDRESSOF(v)会把v转化成指向字符常量的指针。
_INTSIZEOF(n)把n转化为int型字节数的整数倍。
再来看看上面的三个宏。
C语言中是从右到左逐个把参数压入栈中的,栈空间是从高地址到低地址递减。也就是说,函数最左边的参数是最后入栈的,它的地址是所有参数中最小的。所以_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值赋为0,表示参数表己遍历完毕。