c语言可变参数原理

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 )