c语言可变参数
大体原理
首先C语言中函数中的参数在压栈时默认是从右往左压栈的,其次栈是从高内存地址往低内存地址生长的,而且栈是连续的内存。这样在内存中,先入栈的参数保存在更高的地址,右边的参数在地址上的表现就是在左边参数的高位。知道左边参数的地址加上右边参数的类型之后,就可以知道右边参数的地址。
参考:
c函数参数压栈顺序: link
堆栈增长顺序: link
如
void sum_int(int a,int b,int c,int d);
像这个函数被调用时,参数在栈内类似这样
示例
下面的代码大体展示了可变参数的基本用法
其中的关键点已经在注释中写出
#include <stdio.h>
#include <stdarg.h>
// 求int平均值
// n_value为数字的个数
float avg(char comment[], int n_value, ...){
printf("%s",comment);
float sum_ = 0;
va_list numbers; // 声明 va_list,实际上就是char*(基本上,详见下面定义)
va_start(numbers, n_value); // start,此处第一个参数为va_list左边紧邻的命名参数,因为此宏要从此地址往后开始获取可变参数
for(int i=0; i<n_value; i++){
sum_ += va_arg(numbers,int); // arg宏获取可变参数的值,注意此处除了上面声明的可变参数numbers还要传递可变参数的类型,用以寻址时知道大小
// 注意,类型这个参数不能使用char、float、short,因为在C中,不带原型声明的参数在调用时会对其进行缺省参数提升
// char会被转为int,float为double,如果int不能容纳,会变为更大的int类型
}
va_end(numbers); // 不要忘记 end,清除numbers指针的内容
return sum_/(float)n_value;
}
// 为了打破紧邻参数必须是可变参数个数的错误想法,我们实现了此函数,打印数字,到-1停止,其中命名参数也打印
void print_num(int first_num,...){
int n;
va_list numbers;
if (first_num==-1) {
return;
} else{
printf("%d ",first_num);
}
va_start(numbers, first_num);
while((n= va_arg(numbers, int) ,n!=-1)){
printf("%d ",n);
}
va_end(numbers);
printf("\n");
}
int main() {
int number = 3;
printf("%f\n", avg("this is 3 numbers avg:",number, 3,4,4));
print_num(1,2,3,4,-1);
print_num(-1);
return 0;
}
va_*定义
1) va_list:
#ifdef _M_ALPHA
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
2)_INTSIZEOF 宏,获取类型占用的空间长度,最小占用长度为int的整数倍:
#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )
3)VA_START宏,获取可变参数列表的第一个参数的地址(ap是类型为va_list的指针,v是可变参数最左边的参数):
#define va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v) )
4)VA_ARG宏,获取可变参数的当前参数,返回指定类型并将指针指向下一参数(t参数描述了当前参数的类型):
#define va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
5)VA_END宏,清空va_list可变参数列表:
#define va_end(ap) ( ap = (va_list)0 )