逻辑运算符在if语句中相互影响吗？

Question

我有4条语句，如果语句1是真的，我只想检查语句2-4，下面是我试图实现的伪代码

if (statement 1) {
  if (statement 2 or statement 3 or statement 4){
    do something()
  }
}

我想知道下面的代码是否会做同样的事情

if(s1 && s2 || s3 || s4) {
  doSomething();
}

或者如果我不得不这样做

if (s1) {
  if (s2 || s3 || s4) {
     doSomething();
  }
}

Answer 1

应付运算符优先

if(s1 && s2 || s3 || s4) 

是相同的

if((s1 && s2) || s3 || s4) 

因为&&比||具有更高的优先级。你想要的是

if(s1 && (s2 || s3 || s4)) 

只有当s1为真，而s2、s3和s4中的任何一个为真时，这才是真。

您也是保证短路 on &&，只要这是内置操作符，这意味着如果s1为false，则不会计算s2、s3和s4。这也会发生在内置操作符中的||中，一旦遇到真表达式，其余的就不会被计算为true或任何东西都是true。

Answer 2

在C++中，逻辑运算符&&和||是短路的--这意味着运算符的左操作数将首先被计算，如果结果不会受到进一步计算的影响，那么它就会停止。例如，x() && y()只在x()为真时才计算y()，而x() || y()只在x()为false时才计算y()。

作为一项建议，您应该注意在事物周围加上括号，以便更清楚地说明您想要的操作顺序：

s1 && (s2 || s3 || s4)

而不是

s1 && s2 || s3 || s4

Answer 3

您需要在||语句中插入括号。所以：

if(s1 && (s2 || s3 || s4)) { // << note the parenthesis
  doSomething();
}

相等于

if (s1) {
  if (s2 || s3 || s4) {
     doSomething();
  }
}

这是因为短路评估的工作.基本上，如果s1为false，则不会对括号进行计算。你可以读到它，这里。