【C语言进阶剖析】44、函数参数的求值顺序与程序中的顺序点

1 函数的参数

• 函数参数在本质上与局部变量相同在栈上分配空间
• 函数参数的初始值是函数调用时的实参值

如下图所示，函数调用时，函数参数就被压入栈中，函数返回时，栈中数据弹出。

1.1 函数参数的求值顺序

• 函数参数的求值顺序依赖于编译器的实现

下面的程序会输出什么，为什么？

程序的输出结果是不固定的，依赖于编译器

• 可能先计算第一个 k++，然后 k 值变成 2，再计算第二个 k++。最终打印 1 2
• 也可能先计算第二个k++，再计算第一个 k++。最终打印 2 1
• 也可能计算两个 k++，时都没有改变内存值，语句结束时，才改变内存。最终打印 1 1

下面通过实例分析，看一下函数参数的求值顺序到底是怎样的。

// 44-1.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;
}

程序第 11 行，func(k++, k++); 这条语句涉及以下几个操作，从内存中取出 k，执行前面一个 k++，执行后面一个 k++，将改变后的值写入内存。后面三个操作的执行顺序是不确定的。

先用 gcc 编译器编译：

$ gcc 44-1.c -o 44-1
$ ./44-1
i = 2, j = 1
3

再用 bcc 编译器编译：

再用 vs 编译器编译：

可以看到不同编译器的编译的打印结果是不一样的，gcc 编译器和 bcc 编译器的打印结果为 1 2，先计算后面一个 k++，再计算前面一个 k++；vs 编译器的打印结果为 1 1，执行的两个 k++操作没有马上改变内存中的值，等执行完两个 k++ 之后再更更改内存，最终的 k 值都是 3。

上面的语句中有两个 k++，也就是有两次改变内存的操作，但是内存中数据改变的时间点在不同的编译器实现时是不一样的，那么什么时候才是 C 语言标准规定的最晚改变内存的时间点呢？这就是程序中的顺序点。

2 程序的顺序点

程序中存在一定的顺序点，顺序点指的是执行过程中修改变量值的最晚时刻，在程序到达顺序点的时候，之前所做的一切操作必须完成。

2.1 C 语言中的顺序点

• 每个完整表达式结束时，即分号处
• &&，||，?: 以及逗号表达式的每个参数计算之后
• 函数调用时所有实参求值完成后（进入函数体之前）

2.2 实例分析

下面看一个实例程序来理解一下程序中的顺序点。

// 44-2.c
#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;
}

第 7 行最后的分号表示到分号处改变 k 值的操作都会完成，但是最终的 k 值是不确定的。也能会出现以下结果：

• 第一个 k++ 把 k 取出来准备相加（2），第二个 k++ 把 k 取出来准备相加（2），然后两次 k++ 完成对内存的操作，内存中 k 变成 4，之后做加法 2+2 为 4，最后赋值到 k 的内存。
• 第一个 k++ 把 k 取出来准备相加（2），完成对内存操作，内存中 k 变成 3，第二个 k++ 把 k 取出来准备相加（3），然后完成对内存的操作，内存中 k 变成 4，之后做加法 2+3 为 5，最后赋值到 k 的内存。
• 第一个 k++ 把 k 取出来准备相加（2），完成对内存操作，内存中 k 变成 3，第二个 k++ 把 k 取出来准备相加（3），之后做加法 2+3 为 5，赋值到内存中，为 5，最后第二个 k++ 完成对内存的操作，内存中 k 变成 6。

所以上面的 k 值可能是 4，5，6，依赖于编译器的实现。

第 9 行，if( a-- && a )，&& 是顺序点，所以在 && 之前，a 的值就变成了 0，所以 if 语句一定为假，不会执行 11 行。

顺序点指的是在某个时刻之前，所有对内存的操作都要完成，强调的是最晚时间。工程中我们不会写这样的代码，但是了解顺序点有助于深入的了解 C 语言。

3 小结

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