做 && 和 ||运算符将其操作数转换为布尔值？

Question

Flanagan 的 O'Reilly JavaScript 书指出：

与 && 和 || 不同运营商，！运算符将其操作数转换为 一个布尔值 [...] 在反转转换后的值之前。

如果这些逻辑运算符不将操作数转换为布尔值，如何计算表达式？

Answer 1

他们确实将值转换为布尔值，但仅确定如何继续评估表达式。表达式的 result 不一定是布尔值（事实上，如果你的操作数都不是布尔值，那么它不会给你一个布尔值）：

var x = false || 'Hello' // gives you 'Hello'
var y = 0 && 1           // gives you 0, because 0 is "falsy" and short circuits
var z = 1 || 2           // gives you 1, because 1 is "truthy" and short circuits

Answer 2

根据specification，第 11.11 节：二元逻辑运算符：

产生式 [of 评估 &&] ... 评估如下：

1. 令 lref 为评估 LogicalANDExpression 的结果。
2. 设 lval 为 GetValue(lref)。
3. 如果ToBoolean(lval) 为假，则返回lval。
4. 设 rref 为计算 BitwiseORExpression 的结果。
5. 返回 GetValue(rref)。

产生式 [of 评估 ||] ... 评估如下：

1. 设 lref 为计算逻辑或表达式的结果。
2. 设 lval 为 GetValue(lref)。
3. 如果ToBoolean(lval) 为真，则返回lval。
4. 设 rref 为评估 LogicalANDExpression 的结果。
5. 返回 GetValue(rref)。

所以内部这个值被“转换为布尔值”。然而，由于这从未公开——并且整个语义解释是一个可以/被“优化”的抽象——&& 和|| 的行为可以通过使用真假值来简单地解释（ToBoolean 涵盖：真值是ToBoolean 返回真值的值，所有其他值都是假的）。

&& 的逻辑表是：

a b 结果
真实的任何 b
假任何一个

||的逻辑表是：

a b 结果
真实的任何一个
假任何 b

请注意，返回的是 a 或 b 的评估结果。

编码愉快。

---

为了完整起见，从第 9.2 节开始：

抽象操作ToBoolean 将其参数转换为布尔类型的值 ...

• 未定义 - 错误
• 空 - 假
• boolean（不是 Boolean 对象！） - 结果等于输入参数（无转换）。
• number（不是 Number 对象！） - 如果参数为 +0、-0 或 NaN，则结果为 false；否则结果为真。
• string (not String object!) - 如果参数是空字符串（它的长度为零），则结果为假；否则结果为真。
• 对象 - 真

Answer 3

操作数被解释为布尔值以评估表达式，但 && 或 || 的返回值始终是操作数之一。

例如：

true && 0 === 0, not false
1 || false === 1, not true

Answer 4

因为 JavaScript 有一个 truthiness 的概念，它涵盖的不仅仅是布尔值。