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 语言中变量修改的最晚时机