C语言 可变参数函数

【版权申明】未经博主同意，谢绝转载！（请尊重原创，博主保留追究权） 

C语言 可变参数函数

可变参数函数，即参数个数可变的函数。

/* 
 * [返回值] [函数名](固定参数m个, 可变参数n个)
 * 其中，m>=1, n>=0, 即：
 */

// 至少需要一个固定参数，否则你怎么定位到参数呢？固定参数的声明与普通函数参数相同
// 可选参数由于数目不定(0个或以上)，声明时用"…"表示(“…”用作参数占位符)。固定参数和可选参数共同构成可变参数函数的参数列表。
void var_params_func1(int fixed, ...);
void var_params_func2(char fixed1, float fixed2, ...);

// 举个最简单的例子： 
#include <stdio.h>
  
void var_params_func(int fixed, ...)
{
        printf("fixed = %d, \n", fixed);
}

int main(int argc, char **argv)
{
        var_params_func(11);
        var_params_func(22, 33);
        return 0;
}
------------------
输出结果为：
11， 
22， 

这时候如果我们希望把可变参数使用起来，怎么做呢？使用va_list！
VA_LIST是在C语言中解决变参问题的一组宏，所在头文件：#include <stdarg.h>，用于获取不确定个数的参数。va意为variable-argument(可变参数).

// 选自百度百科的解释： va_list
// https://baike.baidu.com/item/va_list

// 它的定义：
#ifdef _M_ALPHA // _M_ALPHA是指DEC ALPHA（Alpha AXP）架构。所以一般情况下va_list所定义变量为字符指针。
	typedef struct {
		char *a0; /* pointer to first homed integer argument */
		int offset; /* byte offset of next parameter */
	} va_list;
#else
	typedef char * va_list;
#endif

// 与va_list相关的宏：

// INTSIZEOF 宏,获取类型占用的空间长度，最小占用长度为int的整数倍：
#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

// VA_START宏，获取可变参数列表的第一个参数的地址（ap是类型为va_list的指针，v是可变参数最左边的参数）：
#define va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v) )

// VA_ARG宏，获取可变参数的当前参数，返回指定类型并将指针指向下一参数（t参数描述了当前参数的类型）：
#define va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

// VA_END宏，清空va_list可变参数列表：
#define va_end(ap) ( ap = (va_list)0 )

/* 使用方法：
 * 1.首先在函数里定义一具VA_LIST型的变量，这个变量用来指向可变参数；
 * 2.然后用VA_START宏初始化刚定义的VA_LIST变量；
 * 3.然后用VA_ARG返回可变的参数，VA_ARG的第二个参数是你要返回的参数的类型（如果函数有多个可变参数的，依次调用VA_ARG获取各个参数）；
 * 4.最后用VA_END宏结束可变参数的获取。
 */
 
#include <stdio.h>
#include <stdarg.h>

void var_params_func(int fixed, ...)
{
        va_list var_params;

        va_start(var_params, fixed);	// 初始化var_params指针，使其指向第一个可变参数。该宏第二个参数是变参列表的前一个参数，即最后一个固定参数
        int var_param1 = va_arg(var_params, int);	 // 该宏返回变参列表中的当前变参值并使pArgs指向列表中的下个变参。该宏第二个参数是要返回的当前变参类型
        va_end(var_params); //将指针pArgs置为无效，结束变参的获取

        printf("fixed = %d, var_param1 = %d\n", fixed, var_param1);
}

int main(int argc, char **argv)
{
        var_params_func(11);
        var_params_func(22, 33);
        return 0;
}

------------------
输出结果为：
fixed = 11, var_param1 = 380311080
fixed = 22, var_param1 = 33

由上述结果可见我们把变参使用了起来，这里需要说明几点：

1. 我是Linux的环境，而且_M_ALPHA宏是打开的，所以我的va_list类型是一个结构体。
2. 在第一条输出结果“fixed = 11, var_param1 = 380311080”中，“var_param1 = 380311080”是无效值。当函数没有变参时，va_arg等系列宏还是可以正常调用的(不会报错，但是结果是错的)，这里需要注意下。(形参fixed的堆栈上方内容)

下面引用一篇博客的总结性语句，写得很好，有兴趣可以打开看看(https://www.cnblogs.com/clover-toeic/p/3736748.html)：

3. 变参宏根据堆栈生长方向和参数入栈特点，从最靠近第一个可变参数的固定参数开始，依次获取每个可变参数的地址。
4. 变参宏的定义和实现因操作系统、硬件平台及编译器而异(但原理相似)。System V Unix在varargs.h头文件中定义va_start宏为va_start(va_list arg_ptr)，而ANSI C则在stdarg.h头文件中定义va_start宏为va_start(va_list arg_ptr, prev_param)。两种宏并不兼容，为便于程序移植通常采用ANSI C定义。
5. gcc编译器使用内置宏间接实现变参宏，如#define va_start(v,l) __builtin_va_start(v,l)。因为gcc编译器需要考虑跨平台处理，而其实现因平台而异。例如x86-64或PowerPC处理器下，参数不全都通过堆栈传递，变参宏的实现相比x86处理器更为复杂。
6. 变参宏无法智能识别可变参数的数目和类型，因此实现变参函数时需自行判断可变参数的数目和类型。前者可显式提供变参数目或设定遍历结束条件(如-1、’\0’或回车符等)。后者可显式提供变参类型枚举值，或在固定参数中包含足够的类型信息(如printf函数通过分析format字符串即可确定各变参类型)，甚至主调函数和被调函数可约定变参的类型组织等。
7. 编译器对可变参数函数的原型检查不够严格，不利于编程查错。
8. va_arg(ap, type)宏获取变参时，type不可指定为以下类型：

char、signed char、unsigned char
short、unsigned short
signed short、short int、signed short int、unsigned short int
float