[C++] 运算符的执行顺序

一、|| 运算

由于 ∣ ∣ || ∣∣ 运算有一真，结果为真。

当程序判断到有真值的语句时，后续语句会被短路，不再执行

if( printf("这句为真，且会被执行") || printf("这句也为真，但由于前面一句已经判断为真，这句被短路了，不会再执行"));

代码输出如下：

借助这一特性，在数组遍历时，某些可能会越界的条件判断实际上不会越界：

for(int i=0;i<n;++i)
{
	if((i==0 || s[i-1]==' ') && s[i]!=' ') ++ans;
}

当 i = 0 i=0 i=0 时， s [ i − 1 ] s[i-1] s[i−1] 显然会因为数组越界而报错，但此时由于前面一句判断语句 i = = 0 i==0 i==0结果为真， s [ i − 1 ] = = ′   ′ s[i-1]=='~' s[i−1]==′ ′ 的判断语句会被短路，不再需要判断也不会执行，所以并不会导致数组越界发生。

二、&& 运算

与 ∣ ∣ || ∣∣ 运算不同，&& 运算需要全真才为真，所以当前面语句判断为真时，后续语句仍然会被执行并判断

if( printf("这句为真，且会被执行\n") && printf("这句也为真，也会被执行"));

代码输出如下：

这么一来，某些 ∣ ∣ || ∣∣ 情况下不会越界的条件判断语句，在 && 情况下反而会越界：

for(int i=0;i<n;++i)
{
	if((i==0 && s[i-1]==' ') && s[i]!=' ') ++ans;
}

但 && 运算由于有一假，则为假。

与 ∣ ∣ || ∣∣ 运算类似，当前面一句语句被判断为假，后面的语句也会被短路，不再执行

if( !printf("这句为假，在判断时会被执行") && printf("由于前一句已经为假，这句不再被执行"));

代码输出如下：

与 ∣ ∣ || ∣∣ 运算里的类似，借助这一特性，在数组遍历时，某些可能会越界的条件判断实际上不会越界：

for(int i=0;i<n;++i)
{
	if((i!=0 && s[i-1]==' ') && s[i]!=' ') ++ans;
}

当 i = 0 i=0 i=0 时， s [ i − 1 ] s[i-1] s[i−1] 显然会因为数组越界而报错，但此时由于前面一句判断语句 i ! = 0 i!=0 i!=0，由于 i = 0 i=0 i=0，导致判断结果为假， s [ i − 1 ] = = ′   ′ s[i-1]=='~' s[i−1]==′ ′ 的判断语句会被短路，不再需要判断也不会执行，所以并不会导致数组越界发生。

三、优化

上述现象的根本原因应该是C++对逻辑判断的优化，在某些情况下，如果前述判断的结果已经明确了最终的结果（如 && 运算中，有一个假，不管别的语句的判断结果是什么，最终结果肯定是假了），则后面的判断语句会被优化掉，不再进行。

其他运算符应该也会有类似的现象。