1. 函数参数
- 函数参数在本质上与局部变量相同在栈上分配空间;
- 函数参数的初始值是函数调用时的实参值
- 函数参数的求值顺序依赖于编译器的实现(如下面的面试题);
// 函数求值顺序问题
#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("k = %d\n", k);
return 0;
}
输出结果:
i = 2, j = 1
k = 3
总结:在C语言中,函数的求值顺序是依赖于编译器的,并不是规律了从左向右的求值顺序。上面程序中func(k++, k++);先求出了第二个k++,然后再求出了第一个k++。
这个结论也使用C语言中的操作符,操作符中的求值顺序也是依赖于编译器。
2. 程序中的顺序点
- 程序中存在一定的顺序点
- 顺序点指的是执行过程中修改变量值的最晚时刻
- 在程序到达顺序点的时候, 之前所做的一切操作必须完成
- C语言中的顺序点
(1)每个完整表达式结束时,即分号处
(2)&&, ||, ?:,以及逗号表达式的每个参数计算之后
(3)函数调用时所有实参求值完成后(进入函数体之前)
程序说明:C语言中的顺序点
// 下面的程序运行结束后k的值为多少?
#include <stdio.h>
int main()
{
int k = 2;
k = k++ + k++;
printf("k = %d\n", k);
return 0;
}
输出结果:
在ubuntu10中:k = 6
在ubuntu14中: k = 5
总结:在程序运行中,必然存在一个时间点,在这个时间点前,所有对内存操作必须完成。代码中: k = k++ + k++; 两个k++和一个加法运算这三个操作会改变k所代表的内存中的值,代码中的顺序点为";",在ubuntu10中,操作方式为:先做加法运算,其左右操作数为都为k,而将k的自增运算悬挂着,加法运算结束后,再完成完成两个自增运算,所以结果为6。而在ubuntu14中,操作方式为:先做两个自增运算,最后做加法运算,所以结果为5。
3 小结
- 函数的参数在栈上分配空间,本质和局部变量一样;
- 函数的实参并没有固定的计算次序,是依赖于编译器的实现;
- 顺序点是C语言中变量修改的最晚时机。