C语言中变参函数精讲（Variadic function)

C语言的函数虽然不具备C++的多态性，但也可以接受参数不确定的情况，当然，C语言中的变参函数实际在功能上是受限的，废话不多讲，下面来看看变参函数的边边角角的问题。

什么是可变参数

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

int printf( const char* format, …);

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

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

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

{
    va_list  arg;
    
    int done;
    
    va_start(arg,  format);

    done = 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)

在C语言的库文件 stdarg.h中包含带参数的宏定义

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