【C】 45_函数参数的秘密 （下）

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

strcpy(s, "D.T.Software");

调用约定

• 当函数调用发生时

  • 参数会传递给被调用的函数
  • 而返回值会被返回给函数调用者

• 调用约定描述参数如何传递到栈中以及栈的维护方式

  • 参数传递顺序
  • 调用栈清理
• 调用约定是预定义的可理解为调用协议

• 调用约定通常用于库调用和库开发的时候

  • 从右向左依次入栈： __stdcall, __cdecl, __thiscall
  • 从左向右依次入栈：__pascal, __fastcall

c 语言编译器的默认调用预定， 从右向左依次入栈

当程序中需要使用第三方库文件时，需要考虑调用约定是否一致

例：
主程序C语言编写，C语言编译器编译，默认从右向左的入栈顺序；
库文件pascal语言编写，pascal语言编译器编译，默认从左向右的入栈顺序；
当 C 主程序调用 pascal 语言完成的库文件时，C 主程序中需要显示的声明调用约定。

可变参数

• 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;
}

输出：
3.000000
2.500000

可变参数的限制

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

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

小结

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

以上内容参考狄泰软件学院系列课程，请大家保护原创！