Java 17 的 sealed 类与 Java 21 的 instanceof 模式匹配结合，可消除冗余 else 分支：sealed 类通过 permits 明确限定所有子类型，确保穷尽性；switch 表达式据此在编译期强制覆盖全部子类，遗漏则报错，无需运行时兜底。
Java 17 引入了 sealed 类，Java 21 正式将模式匹配（instanceof 模式）转为标准特性。二者结合，能显著减少冗余的 else 分支，让类型检查更安全、更简洁、更可维护。
用 sealed 类限定所有可能子类型
密封类明确声明哪些类可以继承它，编译器因此知道“穷尽性”——即所有合法子类型都在 permits 列表中。这是消除 else 的前提。
例如：
✔ 正确定义（显式列出全部子类）public sealed interface Expr
permits Literal, Binary, Unary, Variable, Assignment { }
此时，任何 Expr 值只可能是 Literal、Binary 等五种之一，没有其他可能。
用 instanceof 模式匹配替代 if-else 链
传统写法需逐个判断并加 else if，末尾常带一个“兜底” else（哪怕逻辑上不该进入）。新模式允许直接按类型解构，并利用密封类的穷尽性跳过兜底分支。
对比示例：
❌ 旧写法（含冗余 else）if (expr instanceof Literal l) {
return l.value();
} else if (expr instanceof Binary b) {
return eval(b.left()) + eval(b.right());
} else if (expr instanceof Unary u) {
return -eval(u.operand());
} else if (expr instanceof Variable v) {
return env.get(v.name());
} else if (expr instanceof Assignment a) {
env.put(a.name(), eval(a.value()));
return eval(a.value());
} else {
throw new IllegalStateException("Unknown expression: " + expr); // 冗余且脆弱
}
✅ 新写法（无 else，编译器保障穷尽）
return switch (expr) {
case Literal l -> l.value();
case Binary b -> eval(b.left()) + eval(b.right());
case Unary u -> -eval(u.operand());
case Variable v -> env.get(v.name());
case Assignment a -> {
env.put(a.name(), eval(a.value()));
yield eval(a.value());
}
};
注意：这里用的是 switch 表达式（Java 14+），它天然支持密封类的穷尽检查。若遗漏任一 permits 子类，编译直接报错，无需运行时抛异常。
补充技巧：用 switch 语句 + yield 避免空 default
如果因历史原因必须用 switch 语句（而非表达式），仍可避免 default：
- 确保
switch覆盖所有密封子类 - 不写
default分支；编译器会检查是否穷尽 - 若未来新增子类，编译失败，强制你更新逻辑 —— 这是主动防御，不是缺陷
注意事项与边界情况
以下情况仍需谨慎处理：
-
密封类层级嵌套：若子类自身也是密封类（如
Binary密封其Op枚举），需逐层覆盖 -
null 值：
instanceof模式对null返回false，switch不匹配任何 case，所以需前置判空或确保输入非空 -
非密封父类：若接口/类未声明
sealed，即使有固定实现类，编译器也无法验证穷尽性，switch仍要求default
本质上，消除 else 不是语法糖，而是把“开发者保证穷尽”变成“编译器强制穷尽”。密封类定义契约，模式匹配执行契约，两者配合，代码更健壮、更易演进。
