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

一、|| 运算

由于 $||$ 运算有一真，结果为真。当程序判断到有真值的语句时，后续语句会被短路，不再执行

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

代码输出如下：

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

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

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

二、&& 运算

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

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$ 时，$s[i-1]$ 显然会因为数组越界而报错，但此时由于前面一句判断语句 $i!=0$，由于$i=0$，导致判断结果为假，$s[i-1]={=}^{\prime }{}^{\prime }$ 的判断语句会被短路，不再需要判断也不会执行，所以并不会导致数组越界发生。

三、优化

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