探讨i++和++i

作者： Jiaping Gui 桂佳平 (Intel) (5 篇文章) 日期： 六月 11, 2012 在 3:11 下午

最近笔者在调试代码时发现自己在对++运算符的理解上不够深入，导致一个不应有的bug的出现。
在代码书中或课堂上我们都知道++i和i++在作为一个单独语句使用时没有区别，即相当于i=i+1; 而作为语句的一部分时，如a=++i; 和a=i++; ++i先执行加1操作，再执行赋值操作（因++在前），而i++是先执行赋值操作，再执行加1操作（因++在后）。但这种论述未将其中更深的运行机制讲出来，尤其是在if或while等判断语句中，下面对其进行探讨：

1. 作为单独语句存在，如下面的两段代码：
   - collapse source view plain copy to clipboard print ?

   1. int i=0;  
   2. if(i++){...}  
   - collapse source view plain copy to clipboard print ?

   1. int i=0;  
   2. if(++i){...}  

   上面的条件判断代码虽然是以单独语句出现，但编译器将其等价于i++（或++i）>0，故在第一段代码中先执行i>0判定，再执行i++，因此条件体里的代码不被执行；而在第二段代码中先执行i=i+1，再执行i>0，因此条件里代码会被执行。
   

2. 作为语句的一部分存在，如下面的一段代码：
   - collapse source view plain copy to clipboard print ?

   1. int i=4,j=3;  
   2. if((i++=j++)!=4){...}  

   上面的代码中括号()的优先级比!=的优先级高，但编译器仍然将++运算符最后执行。即先执行赋值语句i=j，然后判定(i=3)!=4成立，最后执行i++和j++，接下去执行条件体里代码。

综上可知当i++作为单独条件语句进行判定时，即使没有显示地声明与0的比较，编译器仍将加上与0的比较；当i++作为复合语句使用时，不管++是否在优先级更高的运算符中，++仍然最后才执行，即在当前所在语句操作执行之后。