可安全省略default分支，前提是密封类用sealed+permits明确列出所有直接子类，各子类均声明为final/sealed/non-sealed，且switch表达式穷举所有许可子类型并返回统一类型。
在 Java 17+（配合预览特性）或 Java 21+（正式支持）中，当 switch 表达式用于匹配 sealed 类 的实例，且已**穷举所有允许的子类型**时，编译器可以静态验证覆盖完整性，此时 default 分支可被安全省略。
前提：密封类必须正确定义并关闭继承链
只有满足以下条件，编译器才能确认“无遗漏”，从而允许省略 default：
- 父类声明为
sealed，且显式列出所有允许的直接子类（用permits） - 每个子类都用
final、sealed或non-sealed明确声明继承权限；若不允许进一步扩展，应使用final - 所有
permits列出的子类都已在switch中作为case出现（包括嵌套的 sealed 子类，需递归穷举到叶子 final 类）
例如：
✔ 正确封闭的结构（可省略 default）sealed interface Shape permits Circle, Rectangle, Triangle {}
final class Circle implements Shape { }
final class Rectangle implements Shape { }
final class Triangle implements Shape { }
Shape s = new Circle();
String desc = switch (s) {
case Circle c -> "Circle with radius " + c.radius;
case Rectangle r -> "Rectangle " + r.width + "x" + r.height;
case Triangle t -> "Triangle with sides " + t.a + "," + t.b + "," + t.c;
// ✅ 无需 default — 编译器知道只有这三种可能
};
必须使用 switch 表达式（而非语句），且返回值类型一致
省略 default 仅适用于 switch 表达式（即有返回值的 switch (...) -> { ... } 或多行 switch (...) { ... } 形式），因为编译器需确保每条执行路径都有明确返回值。传统 switch 语句（无返回值、靠 break 控制）不支持此优化。
立即学习“Java免费学习笔记（深入）”；
- 各
case分支必须返回相同类型（或兼容子类型），否则编译失败 - 推荐使用箭头语法（
case C c -> ...），它天然要求每个分支有值，更利于完整性检查
注意：非 final 子类或 non-sealed 破坏穷举性
如果任一 permits 子类不是 final，且未被标记为 sealed，则它可能被未知子类继承——编译器无法保证穷举，此时仍强制要求 default。
- 错误示例：
non-sealed class Rectangle implements Shape { }→ 允许任意子类，default不可省 - 正确替代：
final class Rectangle implements Shape { }或sealed class Rectangle implements Shape permits RoundedRect { }（但需继续穷举RoundedRect）
IDE 和编译器提示帮你确认是否安全省略
现代 JDK（21+）和主流 IDE（IntelliJ IDEA、Eclipse）会在你删掉 default 后实时检查：
- 若所有子类型已覆盖，无警告，代码通过编译
- 若遗漏某个
permits类，或存在non-sealed开放分支，会报错：the switch expression does not cover all possible input values - 启用
-Xlint:pattern可获得更详细的模式匹配诊断信息
