Java Sealed Classes简介及其重要性

Sealed Classes（密封类）是Java 17中引入的一项正式特性，它在Java 15和16中作为预览特性率先亮相。它允许类和接口限制哪些其他类或接口可以扩展或实现它们。这为开发者提供了一种声明性的方式来控制继承层次结构，从而在建模领域时获得更强的约束能力和更清晰的意图表达。通过使用`sealed`、`permits`等关键字，开发者可以精确指定允许的子类型，有效避免了以往通过包级私有构造器等技巧来实现限制的繁琐和不足。

Sealed Classes的核心语法与语义

定义一个密封类需要使用`sealed`修饰符，并通过`permits`子句明确列出允许继承它的所有子类。这些子类必须直接继承该密封类，并且它们自身也必须具有明确的继承修饰符：可以是`final`（禁止进一步扩展）、`sealed`（形成另一个封闭层次）或`non-sealed`（开放扩展，打破密封性）。这种设计确保了整个继承链条的可知性和可控性，编译器会在编译期进行严格的检查，防止未经许可的类闯入继承体系。

Sealed Classes的强大威力

Sealed Classes的核心威力在于其在领域建模中提供的精确控制和类型安全。它完美地支持了“代数数据类型（ADT）”的概念，使得我们可以用Java更自然地表达一组固定的、已知的可选类型。在与`switch`表达式（包括Java 17中增强的模式匹配）结合使用时，其优势尤为明显。编译器能够感知到所有可能的子类型，因此可以检查`switch`表达式是否穷尽了所有情况，从而避免运行时错误，提升代码的健壮性。此外，它还能帮助开发者编写出更易于理解和维护的代码，因为类型的层次关系在代码中是一目了然的。

实战应用：构建状态机

一个典型的实战应用是构建一个状态机。例如，在订单处理系统中，订单状态可以被建模为一个密封接口，其子类型代表所有可能的状态。

```javapublic sealed interface OrderState permits OrderState.Placed, OrderState.Confirmed, OrderState.Shipped, OrderState.Delivered, OrderState.Cancelled { final class Placed implements OrderState {} final class Confirmed implements OrderState {} final class Shipped implements OrderState {} final class Delivered implements OrderState {} final class Cancelled implements OrderState {}}```

使用这个密封接口，在处理订单状态转换的逻辑中，我们可以利用`switch`表达式进行穷尽性匹配，确保不会遗漏任何状态的处理逻辑，编译器会为我们提供安全保障。

实战应用：替代枚举的扩展性方案

虽然枚举（Enum）也定义了一组固定的实例，但Sealed Classes提供了更大的灵活性。当每个“枚举值”需要携带不同的数据和行为时，Sealed Classes是更优的选择。例如，在表示一种表达式语言时：

```javapublic sealed interface Expr permits ConstantExpr, AddExpr, MultiplyExpr { double eval();}public final class ConstantExpr implements Expr { private final double value; // 构造函数、getter... @Override public double eval() { return value; }}public final class AddExpr implements Expr { private final Expr left, right; // 构造函数、getter... @Override public double eval() { return left.eval() + right.eval(); }}public final class MultiplyExpr implements Expr { private final Expr left, right; // 构造函数、getter... @Override public double eval() { return left.eval() right.eval(); }}```

这种结构允许我们轻松地添加新的表达式类型（只要在`permits`子句中声明），而枚举则难以实现这种数据结构的扩展。

Sealed Classes的设计考量与最佳实践

在使用Sealed Classes时，需要仔细规划层次的封闭性。过度使用`non-sealed`可能会破坏密封性带来的好处。通常，应优先考虑将子类声明为`final`或`sealed`，仅在确有需要向未知的扩展开放时（例如作为公共API的一部分）才使用`non-sealed`。此外，密封类及其子类通常应位于同一个模块中，或者如果位于不同模块，则必须在同一个包中，这是`permits`子句的一条重要规则。

总结

Java 17的Sealed Classes是一项强大的语言特性，它极大地增强了Java在类型安全和领域建模方面的能力。通过提供对继承关系的显式、编译期检查的控制，它使得代码更加清晰、健壮和可维护。无论是在构建状态机、实现代数数据类型，还是创建可扩展的API方面，Sealed Classes都是一个不可或缺的工具，值得每一位Java开发者在设计复杂系统时深入理解和应用。