带有&&（and）运算符的if-then子句中冗余条件的目的？

Question

我不理解下面的 if-then-else 子句，这是我在我正在处理的一段代码中发现的。

if (prefstocking && prefstocking >0) {
    ...
} else {
    ...
}

为什么变量prefstocking出现在逻辑运算符&&的两边？我认为使用逻辑运算符&& 意味着同时使用它们，就像这样：if (x && y = 1) 对我来说很有意义，意思是“如果 x 等于 1 并且 y 等于 1”，但是两次使用相同的值是什么意思？

Answer 1

这个测试用简单的英语书写，内容如下：

如果 prefstocking 是真的并且它的值大于 0

然而，由于大多数值是真实的，前一个检查是不必要的。任何不符合第一个条件的情况也将不符合第二个条件。我看到许多开发人员编写此类检查是为了额外确定，但这告诉我他们根本没有考虑自己在做什么。

Answer 2

第一部分 if (prefstocking && ...) 检查 var prefstocking 中的 false、null、undefined、0、NaN 和空字符串。 这些都称为"falsy" 值。

如果 prefstocking 是“假的”，那么它不大于零并且不需要检查。

Another answer 详细介绍了 JavaScript 中的truthy v. falsy。

在这种情况下，如果测试是 if (prefstocking > 0) 则没有区别，因为它的计算结果总是与原始结果相同，但主体通常很有用，尤其是在避免取消引用 null 或未定义对象时。

var obj1 = someFunction('stuff', 9); // assume it returns an object
var obj2 = getNullObj(); // assume it always returns null

// this is OK if an object is always returned from the someFunction(...) call
if (obj1.hasData()) { }
// this causes an error when trying to call the .hasData() method on a null or undefined object
if (obj2.hasData()) { }

但是，因为逻辑 and && 和 or || 运算符 short-circuit，这样的测试是安全的：

if (obj2 && obj2.hasData()) { }

如果第一部分为假（假），它不会尝试评估第二部分，因为逻辑真理已经知道 - 如果 and 的第一部分是，则整个陈述是错误的错误的。这意味着如果 obj2 为 null 或未定义，则永远不会调用 .hasData()。

如果一个对象已定义但没有.hasData()函数，那么这将仍然导致错误。防御可能看起来像

if (obj2 && obj2.hasData && obj2.hasData()) { }
// ...or...
if (obj2 && typeof obj2.hasData === 'function' && obj2.hasData()) { }

短路允许您检查和避免故障情况，但检查每个可能的故障可能会使您的代码不可读并且性能不佳；用你的判断力。

Answer 3

其他人指出阅读本文的方式是(prefstocking) && (prefstocking > 0) 是正确的。第一个条件检查预存货是否真实。第二个条件确保它大于 0。现在，为什么要这样做呢？在这里我不同意其他答案。

在编程中，出于效率考虑，我们可能会在 if then 子句中使用冗余条件。在这种情况下，从数学上讲，第一个条件是多余的。也就是说，如果第二个条件为真，那么第一个条件也为真。但是，顺序很重要。如果解释器检查第一个条件并发现它为假，然后是 && (and)，则不需要进一步测试。而且它可能不会测试第二个条件（参见下面的 cmets：根据 ECMAScript 标准，它肯定不会测试第二个条件）。如果检查第一个条件的计算成本较低，例如首先排除空情况，这可能很有用。 是否实际上更高效的细节很难用 JavaScript 量化，因为内部通常没有指定，每个 JS 解释器都以自己的方式工作。

此外，if (x && y == 1) 形式的表达式将被解释为“如果 x 为真且 y 等于 1”。你误解了操作的顺序。 && 的两边分别制定条件。它们不会像英语中的可能那样组合成一个条件。这个表达式当然并不意味着“如果 x 和 y 等于 1”。确保你已经理解了。