要让编译器真正穷举校验所有业务分支，必须同时满足：密封类用 permits 明确封闭直接子类、switch 使用类型模式语法、JDK 版本与编译配置正确（Java 21+ 默认支持）、且严禁 default/else 分支。

要让编译器真正帮你“盯住”所有业务分支，关键不是单用密封类，也不是只写个 switch，而是把两者按规则咬合起来——子类范围必须封闭、匹配语法必须正确、编译环境必须就位。漏掉任一环，穷举校验就失效。

密封类必须显式封死所有直接子类

编译器能做穷举检查的前提，是它确切知道“总共可能有哪些类型”。这靠 permits 列表 保证：

• 密封类（interface 或 class）声明时必须带 permits A, B, C，且 A/B/C 必须是直接实现/继承者，不能是孙子类
• 每个被允许的子类必须明确声明为 final、sealed 或 non-sealed；若选 non-sealed，后续可任意扩展，穷举即失效
• 所有子类需与密封父类在同一个模块下；跨包时，permits 中必须写全限定名（如 com.example.Payment.Success）

switch 必须用类型模式，不能退化为普通 case

只有启用模式匹配语法，编译器才会把每个 case 当作一个“已知子类型分支”来统计。写错格式等于主动放弃检查：

• ✅ 正确： case Payment.Success s -> s.id()（带变量绑定的类型模式）
• ✅ 正确： case Payment.Failure(String msg) -> log(msg)（记录类解构模式，Java 21+）
• ❌ 错误： case SUCCESS:（只是枚举常量，不触发类型穷举）
• ❌ 错误： case var x when x instanceof Payment.Failure f:（混用 instanceof，绕过密封体系）

确保编译器开启并识别该特性

Java 17–20 需显式启用预览特性，Java 21+ 才默认可用：

• 用 JDK 17~20：编译命令加 --enable-preview，运行时也必须加，否则报 IncompatibleClassChangeError
• 用 JDK 21+：无需 flag，但需确认 javac -version 输出 ≥ 21
• IDE（如 IntelliJ）需设置 Project SDK 和 Language Level 均为对应版本，否则提示“switch expression does not cover all possible values”却无法定位问题

拒绝 else 分支，用编译错误代替运行时兜底

加 default 或 else 看似保险，实则让编译器放弃校验——它会认为“你已主动处理未知情况”，不再提醒新增子类未覆盖：

• 正确做法：不写 else，让编译失败成为信号；一旦新增子类，所有 switch 处立刻报错，强制补全逻辑
• 若真有“理论上不可达但语法需兜底”的场景，可用 throw new AssertionError("unreachable") 并加注释说明前提条件
• 避免在 switch 外使用 instanceof 或 getClass() 判断，这些路径完全脱离编译期检查范围