文档/教程前端【免费下载链接】en.javascript.infoModern JavaScript Tutorial项目地址https://gitcode.com/gh_mirrors/en/en.javascript.info点击查看免费下载本篇文章围绕现代 JavaScript 教程Modern JavaScript Tutorial中“逻辑运算符”章节的一道经典练习题展开逐行剖析if (-1 || 0)、if (-1 0)、if (null || -1 1)三个条件表达式的求值结果与最终哪些alert会被执行。读完本文你将掌握 JavaScript 中||OR与AND运算符“返回原始值而非布尔值”的核心特性、短路求值机制、以及运算符优先级对表达式结果的决定性影响并能独立推导任意混合逻辑表达式的求值过程。题目回顾哪些 alert 会执行本题出自仓库中的 task.md题目代码如下if (-1 || 0) alert( first ); if (-1 0) alert( second ); if (null || -1 1) alert( third );在继续阅读答案之前不妨先自己推导一遍每个if (...)括号内的表达式最终求出什么值这个值是真值truthy还是假值falsy标准答案第一个与第三个会执行根据仓库中的官方 solution.md第一个alert和第三个alert会执行第二个不会。下面逐条拆解。第一条if (-1 || 0)—— 执行// Runs. // The result of -1 || 0 -1, truthy if (-1 || 0) alert( first );||OR运算符采用“返回第一个真值truthy”的规则从左到右依次求值每个操作数一旦遇到真值就立即停止并返回该操作数的原始值不做布尔转换。操作数-1在 JavaScript 中非零数字都是真值-1也不例外因此||在求值-1后立即短路返回-1if (-1)等价于if (true)条件成立alert(first)执行。第二条if (-1 0)—— 不执行// Doesnt run // -1 0 0, falsy if (-1 0) alert( second );AND运算符采用相反规则返回第一个假值falsy若全部为真值则返回最后一个操作数。-1是真值继续向右求值0是假值立即返回0if (0)等价于if (false)条件不成立alert(second)不会执行。第三条if (null || -1 1)—— 执行// Executes // Operator has a higher precedence than || // so -1 1 executes first, giving us the chain: // null || -1 1 - null || 1 - 1 if (null || -1 1) alert( third );这条是本题的“压轴戏”同时涉及运算符优先级与短路求值两个知识点。关键前提在 JavaScript 中AND的优先级高于||OR。正如逻辑运算符章节的 article.md 中明确指出表达式a b || c d本质上等同于(a b) || (c d)。运算符优先级也就是运算符的默认执行先后顺序在 08-operators/article.md 的“运算符优先级”一节中有系统性说明每个运算符都有对应的优先级数值数值越大越先执行同级运算符则从左到右执行。因此null || -1 1必须先按优先级分组为null || (-1 1)分步推导先计算括号内的-1 1-1是真值继续求值1也是真值返回最后一个操作数即1原表达式变为null || 1null是假值||继续向右求值遇到真值1后短路返回1if (1)等价于if (true)条件成立alert(third)执行。如果把的优先级误当成与||相同从左到右会得出完全错误的结论null || -1返回-1真值再-1 1返回1看似结果碰巧一致但若把最后一个操作数换成假值如null || -1 0两种推导方式的结果将截然不同。正确做法永远是先按优先级分组再从左到右求值。深入原理逻辑运算符为什么能这样用本题之所以值得精读是因为它暴露了 JavaScript 逻辑运算符与经典布尔逻辑的差异。||返回第一个真值返回第一个假值在经典编程语言中||与通常只操作布尔值并返回布尔值。但在 JavaScript 中它们可以作用于任意类型的值且返回操作数的原始值而非布尔值。仓库 article.md 给出了完整规则OR||的求值算法从左到右依次求值操作数对每个操作数做布尔转换若为真则停止并返回该操作数的原始值若全部求值完毕仍无真值返回最后一个操作数。AND的求值算法从左到右依次求值操作数对每个操作数做布尔转换若为假则停止并返回该操作数的原始值若全部为真返回最后一个操作数。对应到本题-1 || 0返回-1-1 0返回0null || -1 1返回1。然后由if语句对这些返回值做一次布尔判断。这也是为什么答案强调“结果的真假性”而非“结果是否为布尔类型”。短路求值Short-circuit evaluation无论||还是都采用“短路”策略一旦确定了返回值就立刻停止求值剩余操作数。本题第一条中-1确定真值后0根本不会被进一步处理虽然它只是个字面量无副作用在 2-alert-or/solution.md 的练习中可以看到短路带来的真实效果alert( alert(1) || 2 || alert(3) )只会弹出1和2第三个alert(3)因短路而永远不会被调用。短路的实用价值在于如果操作数不是简单值而是带有副作用的表达式如函数调用、变量赋值短路可以直接跳过它们。不过 article.md 也给出了一条明确的编码建议不要用||或代替if。虽然(x 0) alert(Greater than zero!)写法更短但if更直观易读——每个结构应各司其职想要条件分支就用if想要逻辑与就用。优先级是表达式求值的“第一道工序”第三条表达式是本题的陷阱所在。JavaScript 运算优先级表完整表格见 08-operators/article.md中的优先级高于||因此混合表达式必须先按优先级“加括号”再从左到右求值。仓库中另一道同类型练习 5-alert-and-or/solution.md 也验证了这一点null || 2 3 || 4因2 3 3而化简为null || 3 || 4最终返回3。需要补充的是!NOT的优先级在逻辑运算符中最高总是先于和||执行而??空值合并在逻辑运算符章节中被单独留到下一篇文章介绍它同样有自己的优先级规则混用时应格外小心。如果不确定优先级最稳妥的做法是像第三条表达式那样用显式括号()明确分组意图括号会覆盖任何默认优先级。一题多练同类表达式自查清单掌握了上述规则后你可以用仓库中的其他练习题检验自己的推导能力表达式求值结果原因null \|\| 2 \|\| undefined2||返回第一个真值见 1-alert-null-2-undefined/solution.md1 null 2null返回第一个假值见 3-alert-1-null-2/solution.mdnull \|\| 2 3 \|\| 43先算2 3 3再求null \|\| 3 \|\| 4的第一个真值见 5-alert-and-or/solution.md逐个推导时遵循三步法按优先级分组先圈出所在的分组再处理||逐组短路求值每组内从左到右||找第一个真值、找第一个假值并返回原始值交给 if 做布尔判断最终返回值再被if转换为布尔值决定分支是否执行。小结if (-1 || 0)、if (-1 0)与if (null || -1 1)这道题看似简单却一次覆盖了 JavaScript 逻辑运算的三大核心机制返回原始值||返回第一个真值返回第一个假值结果未必是布尔类型短路求值一旦结果确定剩余操作数立即停止求值优先级规则高于||混合表达式必须先分组再求值。最终答案是第一个与第三个alert会执行第二个不会。本题的完整标准答案见仓库 solution.md配套的规则详解见 逻辑运算符章节。理解这三条规则之后面对再复杂的混合逻辑表达式你都能像解释器一样按顺序推导出确定性的结果。赞分享文档/教程前端【免费下载链接】en.javascript.infoModern JavaScript Tutorial项目地址https://gitcode.com/gh_mirrors/en/en.javascript.info点击查看免费下载相关推荐Type-Fest 中的条件判断If 类型与逻辑运算类型Type Fest 中的条件判断If 类型与逻辑运算类型 TypeScript 作为 JavaScript 的超集提供了强大的类型系统让开发者能够在编译阶开发工具Web-Dev-For-Beginners 课程用 JavaScript 布尔值与条件语句构建决策逻辑if/else、switch、逻辑运算符与三元表达式Web Dev For Beginners 课程用 JavaScript 布尔值与条件语句构建决策逻辑if/else、switch、逻辑运算符与三元表达式文档教程前端Microsoft.UI.Xaml 实用指南用 WinUI 控件从安装到主题定制搭出 Win11 观感Microsoft.UI.Xaml 实用指南用 WinUI 控件从安装到主题定制搭出 Win11 观感 你给甲方写的界面还是 Win32 的灰白观感需求文档前端UI组件桌面应用上一篇SJVideoPlayer如何快速构建专业级iOS视频播放功能下一篇Komorebi桌面美化工具打造个性化Linux桌面的终极指南创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考