baidu提问:
有下列C语言代码:
#include "stdio.h"
void main ()
{
int i=10;
printf("%d,%d,%d\n",++i,--i,-i++);
}
在VC++中运行结果为10,9,-10
但安装教科书上说明:“函数参数的求值顺序是自右向左”,那么计算结果应该是:11,10,-10。请问为什么会得出这个结果?
一位高人的回答:
C语言跟大多数语言一样,没有规定表达式的求值顺序,除了以下几个顺序点:
;(分号,标志一条语句结束)
,(逗号操作符,函数参数列表里面的逗号只起分隔作用,不是逗号操作符)
&&和||(逻辑与,逻辑或)
? : (条件运算符)
()(if,while,for, do..while,以及函数调用)
这些统称为顺序点,它们的求值顺序有规定。我这里只给你说明逗号操作符,其他的不一一作介绍(不然能写一大篇呢),你自己参考相关资料。
逗号表达式最简单的情形如下:
exp1, exp2;
C语言保证exp1在exp2之前求值,并且exp1求值的副作用保证在逗号之前生成。所以象下面这个逗号表达式:
int i = 1;
i++, (i == 2);
最后的值就是1,因为逗号表达式的前半部分i++的副作用(i自增1)在逗号之前已经生成,所以当执行到(i == 2)的时候,i的值已经是2了,所以i == 2成立,(i == 2)的值便作为整个逗号表达式的值。
但是,对函数原型,函数定义,函数调用,C语言里面明确说明,参数列表里面的逗号不是逗号操作符,只起到分隔作用,所以这里的逗号不再是一个顺序点,那它前后的表达式的求值顺序就是任意的,并且所有带副作用的表达式的副作用都要等到下一个顺序点之后才是确定的,也就是说你只有等到下一个顺序点之后,你才能准确得依赖这些表达式产生的副作用。
所以,像这样的函数调用
foo(i++, ++i);是得不到准确的结果的。因为这里逗号不是逗号操作符,所以就算编译器选择的是从左到右的求值顺序,由于C语言不再保证i++的副作用在逗号之前生成,算到++i的时候,都不确定i到底有没有自增1,不确定性就在这里产生了。再者,如果编译器选择的是从右到左求值,同样产生不确定性,这样一来,传进函数foo的两个参数的值就可能不同,那么最后的结果当然也就不同了。你这里一样,printf是一个函数,
printf("%d,%d,%d\n",++i,--i,-i++);
是函数调用,括号内的所有逗号都不是逗号操作符,而只起到分隔参数的作用。所以++i,--i,-i++这三个表达式的求值顺序是任意的,编译器想怎么算就怎么算,不同的编译器的“想法”可能相同可能不同,结果就可能一样可能不一样。