Java 17 密封类(Sealed Class)使用指南

在Java 17中，密封类（Sealed Class）作为一项革命性特性，为开发者提供了精细控制类继承关系的能力。通过显式声明允许继承的子类，密封类有效解决了传统继承体系中”开放扩展”与”完全禁止”的矛盾，特别适用于领域模型设计、模式匹配优化等场景。本文将系统解析密封类的核心机制、语法规范及实战应用，助您快速掌握这一关键特性。

一、密封类核心价值解析

1.1 类型安全增强

密封类通过编译器级别的约束，将继承体系转化为封闭的代数数据类型（ADT）。以金融交易系统为例：

1public sealed class Transaction permits Payment, Refund, Settlement {
2    public abstract void execute();
3}
4
5public final class Payment extends Transaction {
6    @Override public void execute() { /* 支付逻辑 */ }
7}
8
9public final class Refund extends Transaction {
10    @Override public void execute() { /* 退款逻辑 */ }
11}
12

当尝试新增Transfer子类时，编译器会直接拒绝编译，确保交易类型始终处于可控范围。这种机制有效防止了恶意继承或意外扩展导致的逻辑错误。

1.2 模式匹配优化

密封类与Java 17增强的switch表达式形成完美协同。在处理形状计算场景时：

1public sealed class Shape permits Circle, Rectangle, Triangle {
2    public abstract double area();
3}
4
5public final class Circle extends Shape {
6    private final double radius;
7    // 构造方法及getter省略
8    @Override public double area() { return Math.PI * radius * radius; }
9}
10
11// 使用场景
12double calculateArea(Shape shape) {
13    return switch(shape) {
14        case Circle c -> c.area();
15        case Rectangle r -> r.width() * r.height();
16        case Triangle t -> 0.5 * t.base() * t.height();
17        // 无需default分支
18    };
19}
20

编译器会验证所有permits子类是否被覆盖，若新增Square子类但未修改switch语句，将直接触发编译错误。这种穷尽性检查机制，使模式匹配代码既简洁又安全。

二、密封类语法规范详解

2.1 基础语法结构

密封类声明需包含sealed修饰符和permits子句：

1public sealed class Shape permits Circle, Rectangle, Triangle {
2    // 类体
3}
4

关键约束：

模块化限制：所有permits子类必须与密封类位于同一模块（或未命名模块的同一包）
显式修饰：子类必须使用final、sealed或non-sealed之一进行修饰
直接继承：子类必须直接继承密封类，不能通过接口或抽象类间接继承

2.2 子类修饰符策略

修饰符	适用场景	继承控制效果
final	终端实现类	完全禁止继承
sealed	中间抽象类	继续限制继承链
non-sealed	需要兼容旧有扩展机制的场景	开放继承权限

链式继承示例：

1public sealed class Shape permits Circle, Polygon { /*...*/ }
2
3public sealed class Polygon extends Shape permits Triangle, Quadrilateral { /*...*/ }
4
5public final class Triangle extends Polygon { /*...*/ }
6
7public non-sealed class Quadrilateral extends Polygon { /*...*/ }
8

该结构中：

Shape作为顶层密封类，限制继承链起点
Polygon作为中间密封类，形成二级限制
Triangle作为终端类禁止进一步扩展
Quadrilateral通过non-sealed开放继承权限

三、实战应用场景解析

3.1 领域模型设计

在订单状态管理场景中，密封类可精确表达业务规则：

1public sealed interface OrderState permits Pending, Paid, Cancelled {
2    String getDescription();
3}
4
5public final record Pending(LocalDateTime expiryTime) implements OrderState {
6    @Override public String getDescription() {
7        return "待支付，有效期至：" + expiryTime;
8    }
9}
10
11public final record Paid(String transactionId) implements OrderState {
12    @Override public String getDescription() {
13        return "已支付，交易号：" + transactionId;
14    }
15}
16

优势体现：

业务规则显式化：通过permits列表明确所有有效状态
状态转换可控：新增状态必须修改OrderState的permits子句
模式匹配安全：switch表达式可确保处理所有状态分支

3.2 表达式树处理

在构建编译器AST（抽象语法树）时，密封类可实现类型安全的节点遍历：

1public sealed abstract class Expr permits ConstantExpr, PlusExpr, TimesExpr {
2    public abstract int eval();
3}
4
5public final record ConstantExpr(int value) implements Expr {
6    @Override public int eval() { return value; }
7}
8
9public final record PlusExpr(Expr left, Expr right) implements Expr {
10    @Override public int eval() { return left.eval() + right.eval(); }
11}
12

处理逻辑：

1int evaluate(Expr expr) {
2    return switch(expr) {
3        case ConstantExpr c -> c.value();
4        case PlusExpr p -> p.left().eval() + p.right().eval();
5        case TimesExpr t -> t.left().eval() * t.right().eval();
6    };
7}
8

编译器会验证所有Expr子类是否被覆盖，避免遗漏处理逻辑。

四、最佳实践指南

4.1 设计原则

最小权限原则：仅在permits列表中包含必要子类
模块化隔离：将密封类体系置于独立模块，强化访问控制
演进兼容性：谨慎使用non-sealed，优先选择final或sealed

4.2 性能优化

内联优化：JIT编译器可对密封类的final子类进行方法内联
减少虚调用：通过模式匹配消除运行时类型检查开销

4.3 调试技巧

当遇到编译错误时，重点检查：

子类是否位于正确模块/包
是否遗漏final/sealed/non-sealed修饰符
permits列表中的类名拼写是否正确

五、常见问题解决方案

Q1：如何实现跨模块继承？
A：通过模块系统的opens指令暴露密封类，但需谨慎评估安全性影响。推荐将相关类封装在独立模块中。

Q2：能否动态加载密封子类？
A：不行。密封类的子类必须在编译期完全确定，不支持运行时动态扩展。

Q3：与记录类（Record）如何协同？
A：记录类默认是final的，非常适合作为密封类的叶子节点：

1public sealed interface Result<T> permits Success<T>, Failure<T> {}
2
3public record Success<T>(T data) implements Result<T> {}
4public record Failure<T>(String error) implements Result<T> {}
5

结语

Java 17密封类通过编译器强制约束，将”设计意图”转化为”可执行的代码契约”，为构建安全可控的继承体系提供了坚实基础。从金融交易系统到编译器AST处理，从状态机实现到领域模型设计，密封类在各类复杂系统中展现出卓越价值。掌握这一特性，将助您在Java开发中实现更健壮、更清晰的架构设计。