【C语言进阶剖析】42.C语言中函数参数的秘密

文章目录

一、函数参数

二、程序的顺序点

三、小结（上）

四、调用约定

五、可变参数

六、可变参数的限制

七、小结（下）

---

一、函数参数

• 函数参数在本质上与局部变量相同在栈上分配空间
• 函数参数的初始值是函数调用时的实参值
• 函数参数的求值顺序依赖于编译器的实现

        下面看一个函数参数的求值顺序的示例：

#include <stdio.h>

int func(int i, int j)
{
    printf("i = %d, j = %d\n", i, j);
    
    return 0;
}

int main()
{
    int k = 1;
    
    func(k++, k++);
    
    printf("%d\n", k);
    
    return 0;
}

         输出结果如下：

         这个示例说明函数参数的求值顺序依赖于编译器的实现。

二、程序的顺序点

• 程序中存在一定的顺序点
• 顺序点指的是执行过程中修改变量值的最晚时刻
• 在程序到达顺序点的时候，之前所做的—切操作必须完成
• 每个完整表达式结束时，即分号处
• &&，||，?:，以及逗号表达式的每个参数计算之后
• 函数调用时所有实参求值完成后(进入函数体之前)

        下面看一个程序中的顺序点示例：

#include <stdio.h>

int main()
{
    int k = 2;
    int a = 1;
    
    k = k++ + k++;
    
    printf("k = %d\n", k);
    
    if( a-- && a )
    {
        printf("a = %d\n", a);
    }
    
    return 0;
}

        输出结果如下：

        a-- && a ，对于 && 运算符，每个操作数都是一个顺序点。当程序从左往后执行时，a-- 对内存的修改必须立即完成，所以 a 就变成了 0。

          为什么会输出 6 呢？下面在 VS2012 里面运行代码，进行反汇编操作：

         这段汇编代码简单的来说，就是先进行 + 操作，k = 2 + 2 = 4，然后进行两次 ++ 操作，所以最终结果就是 6。

三、小结（上）

• 函数的参数在栈上分配空间
• 函数的实参并没有固定的计算次序
• 顺序点是 C 语言中变量修改的最晚时机

四、调用约定

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

• 当函数调用发生时
  • 参数会传递给被调用的函数
  • 而返回值会被返回给函数调用者
• 调用约定描述参数如何传递到栈中以及栈的维护方式
  • 参数传递顺序
  • 调用栈清理
• 调用约定是预定义的可理解为调用协议
• 调用约定通常用于库调用和库开发的时候
  • 从右到左依次入栈：_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 中如果指定了错误的类型，那么结果是不可预测的。

七、小结（下）

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