没做过编译器就是被人欺——从一道变态的i++题猜编译器的行为(表达式从左往右扫描,同一变量相互影响)

时间:2021-10-10 07:04:19

首先不要被人蒙了,如果是这样,根本编译不过:

int i=1;
int b=i+++++i;
printf("%d %d\n", b ,i);

Mingw报错:error: lvalue required as increment operand (好像是说,++缺左值,这里的++是上题的第三第四个加号)

VC2010报错:error C2105: '++' needs l-value

--------------------------------------------------------------------------

正确的面试题应该是这样:

int i=1;
int b=i++ + ++i;
printf("%d %d\n", b ,i);

我没做过编译器,只能从以往学过的知识猜:

前提,这个语句里有三个表达式,分别是 i++ (exp1), ++i (exp3), exp+exp3 = exp2

1. 记得以前if语句有多个条件的时候,开启优化开关,一旦第一个条件成立,后面的条件就有可能不评估了,这说明编译器对表达式是从左往右分析的。

2. exp1 = i++要在当前整个语句执行完毕以后才执行。如果这句语句有多个函数或者内含多个表达式,就应该等待这些表达式全部计算完毕,才执行++操作。

3. 这一行里表达式 i++ (exp1),,和 ++i (exp3),使用的是同一个i,因此如果在整个语句结束之前,其中一个表达式计算的值会影响另一个表达式的值。

综合上面分析:先执行++i (exp3),执行后i=2; 然后执行 b = exp1 + exp3 = i + i = 2 + 2 = 4; 最后执行exp1 = i++ = 2+1 = 3

结果:MingW和VC2010的结果都是4,3,被我都蒙对了。记住两点:表达式从左往右执行,多个表达式共用一个变量相互影响(而不是各个表达式被分割以后,进行封闭式计算。内存里始终只有一个i,而编译器也不应该自作主张加上锁,或者做多份内存拷贝,如果刻意想要的效果,应该是由程序员来做这个工作,编译器不应该越俎代庖)