Java 17起Switch模式匹配的核心价值是通过编译期保障与语义绑定，将类型判断、转换和业务逻辑三步合一，配合密封类实现穷尽性检查，提升多态处理的安全性、简洁性与可维护性。
Java 17 起引入的 Switch 模式匹配，核心价值之一就是让多态类型分支处理更安全、更简洁、更可维护。它不是简单替代 if-else 或 instanceof，而是通过编译期保障 + 语义绑定，把“类型判断 + 类型转换 + 业务逻辑”三步合一。
关键不在“怎么写”，而在“怎么设计配合”——重点是让类型结构本身支持模式匹配的语义前提。
用类型模式直接匹配子类，省掉 instanceof 和强转
传统多态处理常这样写：
if (shape instanceof Circle) {
Circle c = (Circle) shape;
System.out.println("半径：" + c.radius());
} else if (shape instanceof Rectangle) {
Rectangle r = (Rectangle) shape;
System.out.println("宽高：" + r.width() + "×" + r.height());
}重复、易错、作用域松散。
立即学习“Java免费学习笔记（深入）”；
Switch 模式匹配写法：
switch (shape) {
case Circle c -> System.out.println("半径：" + c.radius());
case Rectangle r -> System.out.println("宽高：" + r.width() + "×" + r.height());
case Triangle t -> System.out.println("面积：" + t.area());
default -> throw new IllegalArgumentException("未知图形");
}-
case Circle c自动完成instanceof Circle判断 + 安全绑定变量c； -
c只在该分支内有效，不会误用； - 编译器知道
Circle是具体类，不强制穷尽（除非配合密封类）。
⚠️ 注意顺序：子类必须写在父类前面。比如 `case Circle` 要放在 `case Shape` 前，否则 `Shape` 分支会提前捕获所有子类，导致后续分支不可达。
搭配密封类（sealed class），获得编译期穷尽性检查
真正发挥多态 + Switch 匹配威力的组合，是 密封类 + 模式匹配。这是 JDK 17 引入密封类、JDK 21 进一步强化其与 switch 协同的关键场景。
定义一个密封的形状层次：
sealed interface Shape permits Circle, Rectangle, Triangle { }
record Circle(double radius) implements Shape { }
record Rectangle(double width, double height) implements Shape { }
final class Triangle implements Shape {
private final double area;
Triangle(double area) { this.area = area; }
double area() { return area; }
}然后 switch 就能被编译器“盯住”：
double area = switch (shape) {
case Circle c -> Math.PI * c.radius() * c.radius();
case Rectangle r -> r.width() * r.height();
case Triangle t -> t.area();
// 没有 default，也没漏任何 permits 子类 → 编译通过
};- 如果新增
class Oval implements Shape但没加到permits列表，编译器不认； - 如果加了
permits Oval却没在 switch 中写case Oval o，编译直接报错：“switch expression does not cover all possible input values”； -
default在这种情况下不允许存在——它会绕过穷尽性校验。
这相当于把“运行时可能漏分支”的风险，提前锁死在编译阶段，是面向多态建模时极强的安全护栏。
结合守卫条件（when），做上下文敏感的多态分支
同一个类型，在不同业务条件下行为不同。模式匹配允许你在类型匹配基础上叠加运行时判断：
switch (event) {
case PaymentEvent p when p.status() == SUCCESS ->
handleSuccess(p.orderId(), p.amount());
case PaymentEvent p when p.status() == FAILED && p.retryCount() < 3 ->
scheduleRetry(p);
case PaymentEvent p when p.status() == FAILED ->
notifyRiskTeam(p);
case RefundEvent r ->
processRefund(r);
default -> log.warn("忽略未处理事件: {}", event);
}- 所有
PaymentEvent都先匹配到p，再根据字段值分流； -
when表达式只影响当前 case 是否触发，不影响穷尽性（PaymentEvent仍算覆盖）； - 不用为每种状态单独定义子类，灵活平衡建模粒度与分支清晰度。
处理 null 和原始包装类，保持一致性
多态对象常为空或为基本类型包装类，模式匹配统一支持：
switch (obj) {
case String s -> processText(s);
case Integer i -> processNumber(i);
case Double d -> processDecimal(d);
case null -> processMissing();
default -> processOther(obj);
}-
case null是合法分支，显式、安全、无需额外空检查； -
Integer/Double等包装类直接匹配，自动拆箱前已确保非 null； - 原始类型（如
int）不支持模式匹配——必须用其包装类或统一转为Object。
不复杂但容易忽略：只要变量声明为 `Object` 或泛型上界足够宽，就能启用全部模式能力。
