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;
}
------------------
输出结果为:
1122

这时候如果我们希望把可变参数使用起来,怎么做呢?使用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):

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

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

  • 1
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

安河桥

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值