C语言进阶第45式：函数参数的秘密（下）

参数入栈顺序

函数参数的计算次序是依赖编译器实现的，那么函数参数的入栈次序是如何确定的呢?

调用约定

当函数调用发生时
–参数会传递给被调用的函数；
–而返回值会被返回给函数调用者；
调用约定描述参数如何传递到栈中以及栈的维护方式
–参数传递顺序；
–调用栈清理；

 调用约定是预定义的可理解为调用协议
调用约定通常用于库调用和库开发的时候
-从右到左依次入栈: _stdcall , _cdecl, _thiscall
-从左到右依次入栈︰ _pascal , _fastcall

#include <stdio.h>

float average(int array[], int size)
{
    int i = 0;
    float avr = 0;
    
    for(i=0; i<size; i++)
    {
        avr += array[i];
    }
    
    return avr / size;
}

int main()
{
    int array[] = {1, 2, 3, 4, 5};
    
    printf("%f\n", average(array, 5));
    
    return 0;
}

可变参数

C语言中可以定义参数可变的函数
参数可变函数的实现依赖于stdarg.h头文件
- va_list-参数集合
- va_arg-取具体参数值
- va_start 一标识参数访问的开始
- va_end -标识参数访问的结束

#include <stdio.h>
#include <stdarg.h>

float average(int n, ...)
{
    va_list args;
    int i = 0;
    float sum = 0;
    
    va_start(args, n);
    
    for(i=0; i<n; i++)
    {
        sum += va_arg(args, int);
    }
    
    va_end(args);
    
    return sum / n;
}

int main()
{
    printf("%f\n", average(5, 1, 2, 3, 4, 5));
    printf("%f\n", average(4, 1, 2, 3, 4));
    
    return 0;
}

可变参数的限制

可变参数必须从头到尾按照顺序逐个访问；
参数列表中至少要存在一个确定的命名参数；
可变参数函数无法确定实际存在的参数的数量；
可变参数函数无法确定参数的实际类型；

注意:
va_arg 中如果指定了错误的类型，那么结果是不可预测的。

小结

1、调用约定指定了函数参数的入栈顺序以及栈的清理方式；
2、可变参数是C语言提供的一种函数设计技巧；
3、可变参数的函数提供了一种更方便的函数调用方式；
4、可变参数必须顺序的访问，无法直接访问中间的参数值；