C语言|可变参数列表解析

C语言中的可变参数是一个比较有意思的实现,通过将函数实现为可变参数的形式,可以使得函数可以接受1个以上的任意多个参数(不固定)。
看一个例子:
实现一个函数可以求任意个参数的平均值。

#include #includeint average(int n, ...) { va_list arg; int i = 0; int sum = 0; va_start(arg, n); for (i = 0; i < n; ++i) { sum += va_arg(arg, int); } return sum / n; va_end(arg); }int main() { int a = 1; int b = 2; int c = 3; int avg1 = average(2, a, c); int avg2 = average(3, a, b, c); printf("avg1 = %d\n", avg1); printf("avg2 = %d\n", avg2); return 0; }

  • 声明一个va_list类型的变量arg,它用于访问参数列表的未确定部分。
  • 这个变量是调用va_start来初始化的。它的第一个参数是va_list的变量名,第二个参数是省略号前最后一个有名字的参数。初始化过程把arg变量设置为指向可变参数部分的第一个参数。
  • 为了访问参数,需要使用va_arg,这个宏接受两个参数:va_list变量和参数列表中下一个参数的类型。在这个例子中所有的可变参数都是整型。va_arg返回这个参数的值,并使用va_arg指向下一个可变参数。
  • 最后,当访问完毕最后一个可变参数之后,我们需要调用va_end。
可变参数的限制
注意:
可变参数必须从头到尾逐个访问。如果你在访问了几个可变参数之后想半途终止,这是可以的,但是,如果你想一开始就访问参数列表中间的参数,那是不行的。
  • 参数列表中至少有一个命名参数。如果连一个命名参数都没有,就无法使用va_list。
  • 这些宏是无法直接判断实际存在参数的数量。
  • 这些宏无法判断每个参数的类型。
  • 如果在va_arg中指定了错误的类型,那么其后果是不可预测的。
接下来我们来研究一下可变参数的实现细节:
在VS的源码中我们可以看到
【C语言|可变参数列表解析】C语言|可变参数列表解析
文章图片

C语言|可变参数列表解析
文章图片

可变参数的实现过程是使用宏的封装。只要完成替换,我们就可以自行分析了。

    推荐阅读