Rome noFallthroughSwitchClause 规则详解：用静态分析拦截 switch 语句的意外穿透

• 开发工具
• CLI
• Lint
• 格式化
• 静态分析
• 代码质量
• 构建工具

noFallthroughSwitchClause是 Rome（本项目为 Rome 工具链，提供 JavaScript / TypeScript / Web 的统一开发工具）在nursery（育成期）规则组中提供的一条 lint 规则，用于拦截switch语句中因遗漏break、return等终止语句而发生的分支穿透（fallthrough）。本文以官方规则文档为主体，结合 源码实现 与 规格测试用例，完整讲解该规则的触发条件、诊断输出、判定逻辑与配置方法，帮助你在项目中安全启用这条规则。

规则背景：为什么 switch 的 fallthrough 是隐患

在 JavaScript 中，switch语句的各个case分支默认是"穿透"（fall through）的：当某个case匹配执行完毕后，如果没有显式使用break、return、throw或continue中断，程序会继续执行下一个case的语句块。

switch(bar) { case 0: a(); case 1: b() }

在上面的代码中，当bar === 0时，a()执行完毕后会继续执行b()。这种默认行为在开发者忘记写终止语句时，会引发难以排查的意外逻辑。noFallthroughSwitchClause规则（对应 ESLint 的no-fallthrough）正是为了在编译/静态分析阶段提前发现这类问题而设计。

从规则声明看，该规则当前处于nursery组，版本标记为next（"since vnext"），且recommended: false，即不会随推荐配置默认开启，需要开发者显式启用：

pub(crate) NoFallthroughSwitchClause { version: "next", name: "noFallthroughSwitchClause", recommended: false, }

（见 规则声明）

触发场景：Invalid 示例

以下代码会被规则判定为非法并产生诊断信息：

switch(bar) { case 0: a(); case 1: b() }

当规则命中时，CLI / LSP 会输出类似如下的诊断（完整输出可参考 invalid.js.snap）：

nursery/noFallthroughSwitchClause.js:2:2 lint/nursery/noFallthroughSwitchClause ━━━━━━━━━━ ⚠ This case is falling through to the next case. > 2 │ case 0: │ ^^^^^^^ > 3 │ a(); │ ^^^^ 4 │ case 1: 5 │ b() ℹ Add a `break` or `return` statement to the end of this case to prevent fallthrough.

诊断包含两个关键信息：

• 主消息：This case is falling through to the next case.——明确指出当前 case 正在穿透到下一个 case；
• 提示信息：Add a break or return statement to the end of this case to prevent fallthrough.——给出修复方向。

值得注意的是，default分支同样参与判定。测试用例中验证了如下非法场景：case 0穿透到default，随后default又穿透到case 1，规则会分别报告两处穿透（invalid.js）：

switch (bar) { case 0: a(); default: b(); case 1: c() }

合法场景：Valid 示例

以下写法不会被规则误报（valid.js 中的全部合法用例）：

// 1. 使用 break 显式终止 switch(foo) { case 1: doSomething(); break; case 2: doSomething(); } // 2. 使用 return 终止（函数体内） function bar(foo) { switch(foo) { case 1: doSomething(); return; case 2: doSomething(); } } // 3. 使用 throw 终止 switch(foo) { case 1: doSomething(); throw new Error("Boo!"); case 2: doSomething(); } // 4. 空 case 的"分组穿透"（多个 case 共享同一语句块） switch(foo) { case 1: case 2: doSomething(); } // 5. 块级作用域内使用 break 终止 switch(foo) { case 1: { doSomething(); break; } case 2: doSomething(); }

其中第 4 种写法是switch语言特性的合法用法：多个连续的、无语句体的case共享同一个执行块，这在"多值映射到同一处理逻辑"的场景下是刻意为之，规则不会误报。第 5 种写法证明规则能够识别块语句（{ ... }）内部的终止语句。

底层实现：规则是如何判定"穿透"的

该规则的完整实现位于 crates/rome_js_analyze/src/analyzers/nursery/no_fallthrough_switch_clause.rs，其判定逻辑清晰且值得细读：

1. 查询目标：规则以JsSwitchStatement（switch 语句节点）为查询对象（type Query = Ast<JsSwitchStatement>）；
2. 逐 case 扫描：通过query.cases()迭代所有 case，并使用peekable()提前查看下一个 case；最后一个 case 因为没有"下一个 case"可穿透，直接跳过（if is_last { continue; }）；
3. 核心判定case_fell：一个 case 被判定为"穿透"，需要同时满足两个条件（case_fell 实现）：
   • 其语句体（consequent）中不存在任何"穿透阻断语句"（fall blocker）；
   • 语句体非空（statements.iter().count() != 0）——空 case 的合法分组穿透不会被误报；
4. 穿透阻断语句集合（is_fall_blocker_statement）：
   • break（JsBreakStatement）
   • return（JsReturnStatement）
   • throw（JsThrowStatement）
   • continue（JsContinueStatement）
5. 递归识别块语句：若 case 体内存在块语句{ ... }，规则会递归检查块内的语句（has_fall_blocker_statement），因此case 1: { doSomething(); break; }这种在块内break的写法同样被视为安全。

这种实现方式意味着：只要 case 语句体在任意层级内存在上述四类终止语句之一，规则即认为该 case 不会穿透，属于精确的语法级静态判定，不依赖数据流分析。

从架构看，该规则注册在nursery组中（见 nursery.rs），随 Rome 的规则注册机制自动接入rome check、rome lint及 LSP 的实时诊断流程。

配置方式：在项目中启用该规则

由于recommended: false，该规则需要显式开启。在项目的rome.json配置文件中，将其加入linter.rules.nursery即可（项目根目录的 rome.json 展示了 linter 配置的整体结构，可作为参照）：

{ "linter": { "enabled": true, "rules": { "recommended": true, "nursery": { "noFallthroughSwitchClause": "error" } } } }

取值说明：

• "error"：违反规则时报错，阻断检查流程；
• "warn"：违反规则时仅输出警告；
• "off"：关闭该规则。

配置完成后，运行rome lint（或rome check）即可在终端看到前文展示的诊断输出；在 VS Code 扩展 / LSP 场景下，则会在编辑器中实时标注存在穿透的case行。

关联文档与延伸阅读

• 禁用某条规则的完整说明：linter 文档 - Disable a rule
• 规则选项（rule options）的配置说明：linter 文档 - Rule options
• 规则源码：no_fallthrough_switch_clause.rs
• 规格测试用例：invalid.js 与 valid.js

简而言之：noFallthroughSwitchClause是一条低误报、语义明确的静态分析规则，通过语法级判定拦截switch分支的意外穿透；对于追求代码健壮性的项目，将其从nursery提升为正式规则并开启error级别，是成本极低、收益稳定的选择。

• 开发工具
• CLI
• Lint
• 格式化
• 静态分析
• 代码质量
• 构建工具