JavaScript中&&与||运算符的短路逻辑与优先级详解

JavaScript中&&与||运算符的短路逻辑与优先级详解

在JavaScript开发中，逻辑与（&&）和逻辑或（||）是两个高频使用的运算符。由于它们的行为与传统的布尔逻辑有所不同，许多开发者容易混淆其具体执行规则，因此有必要对这两个运算符的工作机制进行梳理和记录。

对于表达式 a() && b()，其执行逻辑如下：首先执行 a()，若 a() 返回真值（truthy），则继续执行 b() 并返回 b() 的结果；若 a() 返回假值（falsy），则整个表达式的结果即为 a() 的值，b() 不会被执行。对于表达式 a() || b()，若 a() 返回真值，则整个表达式的结果即为 a() 的值，b() 不执行；若 a() 返回假值，则继续执行 b() 并返回 b() 的结果。此外，&& 运算符的优先级高于 || 运算符。

以下是具体的代码实现示例。

alert((1 && 3 || 0) && 4); //结果4 ① alert(1 && 3 || 0 && 4); //结果3 ② alert(0 && 3 || 1 && 4); //结果4 ③

对上述代码执行过程进行逐步分析。

语句①：首先计算 1 && 3，因 1 为真值，返回 3；接着计算 3 || 0，因 3 为真值，返回 3；最后计算 3 && 4，因 3 为真值，返回 4。语句②：根据优先级，先计算 1 && 3 返回 3，再计算 0 && 4 返回 0；最后执行 3 || 0，因 3 为真值，返回 3。语句③：先计算 0 && 3，因 0 为假值，返回 0；再计算 1 && 4，因 1 为真值，返回 4；最后执行 0 || 4，因 0 为假值，返回 4。

需要注意的是，JavaScript中的类型转换规则：所有非0的整数在布尔上下文中均被视为 true，而 undefined、null 以及空字符串 "" 则被视为 false。