密封类与instanceof模式匹配结合可提升类型安全、可读性与维护性：限定子类范围确保穷尽性检查，简化类型判断与变量绑定，天然适配switch表达式实现ADT建模，并协同record构建不可变数据载体。
Java 密封类（sealed classes）与 instanceof 模式匹配（pattern matching）结合使用，能显著提升类型安全、代码可读性和维护性——尤其在处理有限、明确的类型变体时。
精准限定子类范围，让 instanceof 匹配更可靠
密封类通过 permits 明确声明所有直接子类，编译器可静态验证“穷尽性”。当配合 instanceof 模式匹配（如 obj instanceof Circle c）时，IDE 和编译器能识别出所有可能分支，避免漏处理或误添加非法子类。
例如定义密封接口 Shape，只允许 Circle、Rect、Triangle 实现。后续用 switch 表达式匹配时，编译器会强制你覆盖全部三种情况，或显式添加 default 分支——这在非密封场景下无法保证。
消除冗余类型检查与强制转换
传统写法常需先用 instanceof 判断，再强转并使用：
立即学习“Java免费学习笔记（深入）”；
if (shape instanceof Circle) { Circle c = (Circle) shape; return c.radius * c.radius * Math.PI; }
模式匹配后简化为：
if (shape instanceof Circle c) return c.radius * c.radius * Math.PI;
一次判断即完成类型校验与变量绑定，代码更紧凑，且 c 的作用域被严格限制在 if 块内，杜绝误用未初始化引用的风险。
天然适配 switch 模式匹配，支撑可扩展的领域建模
密封类 + switch（支持模式匹配的 Java 21+）构成“代数数据类型（ADT）”风格建模的理想组合：
- 每个子类代表一种明确的业务变体（如
PaymentStatus.Success、.Failed、.Pending） - switch 表达式可返回值、支持守卫条件（
case Success s && s.amount > 1000 -> "VIP success"） - 新增子类时，所有 switch 使用点都会立刻报错，推动开发者同步更新逻辑，降低遗漏风险
与 record 协同，构建不可变、自解释的数据载体
密封类常与 record 子类搭配：子类本身是不可变数据容器，父类提供统一抽象。例如：
sealed interface Expr permits NumberExpr, AddExpr, MulExpr {}record NumberExpr(double value) implements Expr {}record AddExpr(Expr left, Expr right) implements Expr {}
此时 instanceof 匹配可直接解构字段：expr instanceof AddExpr(var l, var r)，无需 getter 调用，语义清晰，性能友好。
这种组合不是语法糖的堆砌，而是从语言层面对“有限多态”问题的系统性回应——它让意图更明确、错误更早暴露、扩展更受控。
