Java枚举配合switch省略default可实现编译期穷尽性校验，前提是switch入参为枚举类型、使用箭头语法且不写default；新增枚举值时编译失败，从而强制补全逻辑。

Java 中枚举类配合 switch 表达式省略 default 实现编译期校验，核心是让编译器确认“所有可能取值都已被显式处理”，从而在新增枚举常量时立即报错。这不是语法糖，而是类型系统对封闭集合的穷尽性保障。

用枚举类型本身作 switch 入参

必须确保 switch 表达式的参数声明类型就是该枚举类，不能是 int、String 或 Object。

• ✅ 正确：switch (status) { case PENDING -> ... }（status 类型为 Status）
• ❌ 错误：switch (status.ordinal()) { ... } 或 switch (status.name()) { ... }——编译器完全无法推断取值范围

启用 Java 14+ 的箭头语法并省略 default

使用 -> 而非 : + break，且不写 default 分支，是触发穷尽检查的必要条件。

Switch Modes

动态切换AI模型以优化成本与性能。当用户发出“eco mode”、“balanced mode”、“smart mode”或“max mode”等模式指令，或使用“/modes status”查询状态及“/modes setup”配置模式时触发。

下载

• 每个 case 必须返回相同类型的值（如全是 String 或全是 int）
• 允许合并多个常量：case PENDING, APPROVED -> "active"
• 一旦枚举新增一个值（比如 ARCHIVED），编译失败，错误明确提示缺失该分支

慎用 default：不是“兜底安全”，而是放弃校验

default 会让编译器停止穷尽分析，失去新增项即时提醒能力。

立即学习“Java免费学习笔记（深入）”；

• 纯内部业务、枚举确定封闭 → 不写 default，靠编译报错驱动逻辑补全
• 需兼容外部输入或预留扩展 → default -> throw new IllegalArgumentException("Unexpected: " + status)，保留上下文但不静默吞掉问题
• 避免 default -> null、空实现或仅打 warn 日志，这些都会掩盖遗漏

配套验证闭环不能少

编译检查只是第一道防线，还需结合实际手段加固：

• 单元测试覆盖所有枚举值，验证各分支行为正确
• CI 流水线中开启编译警告（如 -Xlint:fallthrough 等），把潜在疏漏挡在上线前
• 禁用 ordinal() 和 name() 的反模式转换，防止绕过类型约束