Java中枚举配合switch表达式省略default可实现编译期穷尽性校验，前提是入参为枚举类型、使用箭头语法且不写default；新增枚举值时编译失败，强制补全逻辑。
Java 中枚举配合新版 switch 表达式（Java 14+）免写 default 实现完备性保障，核心在于让编译器能静态确认“所有枚举值都已被显式处理”，从而在新增枚举常量时立即报错，强制补全逻辑。
必须用枚举类型本身作入参
switch 表达式的参数变量声明类型必须是该枚举类，不能是 int、String 或 Object。只有这样，编译器才能识别这是一个封闭、有限的值集合。
- ✅ 正确：
switch (status) { case PENDING -> "pending" }（status类型为Status） - ❌ 错误：
switch (status.name()) { ... }或switch (status.ordinal()) { ... }——编译器彻底失去穷尽分析能力
启用箭头语法且完全省略 default
使用 -> 语法（而非传统 : + break），且不写任何 default 分支，是触发编译期穷尽检查的硬性条件。
- 每个
case必须返回相同类型的值（如全是String、全是int或全是void） - 允许合并多个常量：
case PENDING, APPROVED -> "active" - 一旦枚举新增一个值（比如
ARCHIVED），编译直接失败，错误明确提示缺失该分支
慎用 default：它不是兜底，而是放弃校验
default 会让编译器停止穷尽分析，失去新增项即时提醒能力。是否保留，取决于业务场景：
立即学习“Java免费学习笔记（深入）”；
- 纯内部逻辑、枚举确定封闭 → 不写
default，靠编译失败驱动补全 - 需兼容外部输入（如 JSON 反序列化）或预留扩展 →
default -> throw new IllegalArgumentException("Unexpected: " + status)，保留上下文但不静默吞掉问题 - 避免
default -> null、空块或仅打 warn 日志，这些都会掩盖遗漏
配套验证闭环不能少
编译检查只是第一道防线，还需结合实际手段加固：
- 单元测试遍历
Status.values()，对每个值调用该 switch 方法，断言返回结果符合预期 - CI 流水线中启用
-Xlint:switch并设为 error 级别，防止本地忽略警告 - 用 IDE 的 “Find Usages” 检查某枚举新增后，所有 switch 使用点是否同步更新
