一,什么是顺序点
顺序点是指在程序执行过程中变量值改变最晚的时刻。在程序到达顺序点时,之前所做的一些操作都必须反映到后续访问中。
二,C语言中的顺序点
- 每个完整的表达式结束后
- &&,||,?:,以及逗号运算符每个对象计算以后。
- 函数调用中对所有实际参数的求值完成之后(进入函数体之前)(这里和顺序点没有关系,而是和调用约定有关)
三,理解顺序点
首先明确一点,后置++的过程。都知道后置++不会马上影响当前变量的值。其实后置++分几步。i++为例
1,首先生成一个临时变量tmp,这个tmp在函数活动记录中的临时变量域中。
2,tmp=i;
3,i=i+1;
int main(void)
{
int k=2;
int a=1;
k=k+++k++;
printf("%d\n",k);
if(a--&&a)
printf("%d\n",a);
return 0;
}
//结果是6
分析:
两个k++后到达顺序点,每计算一个k++时,会生成一个临时变量保存k值,并记录一次++操作。到达顺序点时k要自增两次。
最终k的值是k=tmp1+tmp2+2=6。如果改成j=k+++k++ ;j的值为4;而a--计算后就到达了顺序点了,第二个a已经是0了,条件不满足就不会执行打印语句。
特别注意:
顺序点和求值顺序不一样,且求值顺序不同的编译器不同。但是||,&&,?:,逗号运算符规定了求值顺序。从左往右。
四,关于函数调用,参数的计算
c和c++的调用约定缺省是_cdecl,参数的入栈的顺序是从右往左,所以先计算右边的参数,计算一个就达到了顺序点,也就是说+1的操作会反映到下一个参数的计算。
代码1
void test(int a,int b)
{
printf("a=%d,b=%d\n",a,b);//2,1
}
int main(void)
{
int a=1;
test(a++,a++);
printf("%d\n",a);//3
return 0;
}
代码2
void test(int a,int b)
{
printf("a=%d,b=%d\n",a,b);//2,1
}
int main(void)
{
int a=1;
test(a,a++);
printf("%d\n",a);//2
return 0;
}
仔细比较两段代码,如果是按照顺序点解释代码1解释不过去。