理解Sealed类的基本概念

Sealed类是Java 17中引入的一项重要特性，它允许类或接口的作者明确控制哪些其他类或接口可以继承或实现它。这种机制通过在类声明中使用sealed关键字，并通过permits子句指定允许的子类，从而提供了一种声明性的方式来限制继承层次结构。与final类完全禁止继承不同，sealed类提供了一种精细化的继承控制方式，使开发者能够在保持一定程度扩展性的同时，确保类型层次结构的安全性和可预测性。

Sealed类的语法结构

定义一个Sealed类需要两个关键部分：在类声明中使用sealed修饰符，以及通过permits关键字明确列出允许继承该类的子类。例如，定义一个抽象的Sealed类Shape，它只允许Circle、Rectangle和Square三个子类继承：

public abstract sealed class Shape permits Circle, Rectangle, Square { }

每个被permits的子类必须直接继承Sealed类，并且这些子类本身也需要有明确的继承控制声明。它们可以是final类（禁止进一步继承）、sealed类（允许有限继承）或non-sealed类（开放继承）。这种设计确保了整个继承链条的可控性。

Sealed类的实现要求

使用Sealed类时，需要遵循几个重要规则。首先，permits子句中指定的所有子类必须与Sealed类位于同一模块中（如果使用模块系统）或同一包中。其次，每个被允许的子类必须直接扩展Sealed类。最后，每个被允许的子类必须选择以下三种修饰符之一：final、sealed或non-sealed。这一机制确保了所有可能的子类都是已知且受控的，从而增强了代码的安全性和可维护性。

Sealed类与模式匹配的结合使用

Sealed类与Java中模式匹配特性结合使用时尤其强大。由于编译器知道所有可能的子类型，可以在switch表达式中进行穷尽性检查。例如，在处理Shape类型时，编译器能够验证是否所有可能的子类型（Circle、Rectangle、Square）都被处理：

switch(shape) { case Circle c -> processCircle(c); case Rectangle r -> processRectangle(r); case Square s -> processSquare(s); }

这种组合使用不仅提高了代码的安全性，还增强了表达能力和可读性，减少了运行时错误的可能性。

Sealed类的实际应用场景

Sealed类特别适用于需要精确控制类型层次的场景，如定义代数数据类型（ADT）、实现状态机或创建有限的继承层次结构。在领域驱动设计中，Sealed类可以帮助建模有明确限制的领域概念，如订单状态（只能是指定的几种状态）或支付方式（只能是系统支持的几种类型）。此外，在API设计中，Sealed类可以防止客户端代码创建未授权的子类，从而保持API的稳定性和预期行为。

Sealed类与记录类的协同效应

Java 17中的记录类（Record）与Sealed类结合使用时能够创建更加表达力强且安全的数据模型。记录类提供了一种简洁的方式来表示不可变数据载体，而Sealed类可以限制这些数据载体的类型集合。例如，定义一个Sealed接口并允许几个记录类实现它，可以创建一个既安全又表达力强的数据类型系统：

public sealed interface Expr permits ConstantExpr, PlusExpr, TimesExpr { } public record ConstantExpr(int value) implements Expr { } public record PlusExpr(Expr left, Expr right) implements Expr { } public record TimesExpr(Expr left, Expr right) implements Expr { }

这种组合非常适合构建抽象语法树、数学表达式或其他需要有限集合可能性的数据结构。

迁移现有代码到Sealed类

将现有代码迁移到使用Sealed类时，需要仔细规划。首先识别那些本应有受限继承但当前使用final类或缺乏足够控制的类层次结构。然后，将基类改为sealed类，并通过permits子句明确指定允许的子类。对于原本可能通过包级私有构造函数限制继承的类，Sealed类提供了更加声明性和强大的替代方案。迁移过程中需要注意保持二进制兼容性，并确保所有现有子类都被包含在permits子句中或调整为符合Sealed类的要求。