C语言高级进阶 - 变参函数

什么是可变参数

我们在C语言编程中有时会遇到一些参数个数可变的函数，例如printf()函数，其函数原型为:

int printf( const char* format, …);

它除了有一个参数format固定以外,后面跟的参数的个数和类型是可变的（用三个点“…”做参数占位符），也就是说变参函数的参数数目至少是一个，这是由C语言中实现变参的原理—计算堆栈地址—决定的，要以第一个参数的地址作为参考去找寻下一个参数的地址。

顺着printf函数我们来看看它的定义是什么：

int __printf(const char *format, ...)

{

    va_list  arg;  

    int complete;

    va_start(arg,  format);

    complete = vfprintf(stdout,  format,  arg);

    va_end(arg);

    return done;

}

Macros Defined in header <stdarg.h>

va_start   enables access to variadic function arguments (function macro)

va_arg     accesses the next variadic function argument (function macro)

va_copy    (C99) makes a copy of the variadic function arguments (function macro)

va_end     ends traversal of the variadic function arguments (function macro)

Type va_list    holds the information needed by va_start, va_arg, va_end, and va_copy (typedef)

typedef void *va_list;

#define va_arg(ap,type) (*((type *)(ap))++) //获取指针ap指向的值，然后ap=ap+1，即ap指向下一个值， 其中<u>type</u>是 变参数的类型，可以是char(cter), int(eger), float等。

#define va_start(ap,lastfix) (ap=…)

#define va_end(ap) // 清理/cleanup 指针ap

对于可变参数函数的实现问题就简化为对于这些宏的使用。下面是一个简单的例子，计算count个整数的和。。。

int  sum (int count,...) {

    int total = 0;

    int itemvalue = 0;

    va_list  arg;

    va_start(arg, count);

    for (int i =0; i< count; i++)

    {

        itemvalue = va_arg(arg, int);

        total = total + itemvalue;        

    } 

    va_end(arg);   

    return total;

}