Java 17 Sealed Classes 概览

Sealed Classes（密封类）是Java 17中引入的一项正式语言特性，它允许类或接口的作者明确规定哪些其他类或接口可以扩展或实现它。这一特性旨在提供一种更精细的继承控制机制，超越了传统的final（禁止任何继承）和包级私有访问控制。通过使用sealed、permits等关键字，开发者可以构建出层次结构清晰、范围受限的类体系，从而增强代码的安全性和可维护性。

Sealed Classes 的核心语法

定义一个密封类主要涉及两个关键字：sealed和permits。基本语法结构如下所示：

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

在这个例子中，Shape类被声明为sealed。紧接其后的permits子句明确指定了只有Circle、Square和Rectangle这三个类可以继承它。任何未被许可的类尝试继承Shape都会在编译时导致错误。

对 permitted 子类的要求

被许可的子类自身也必须具有关于继承的明确限定。它们必须是以下三者之一：

1. final: 阻止进一步的扩展。
2. sealed: 允许它自己再定义一组更小的子类。
3. non-sealed: 向公众开放继承，解除密封性。

这种要求确保了整个继承链的封闭性始终在作者的掌控之中。

Sealed Classes 的实现细节

一个完整的使用示例如下：

public sealed class Shape permits Circle, Square, Rectangle { }
public final class Circle extends Shape { }
public sealed class Square extends Shape permits FilledSquare { }
public non-sealed class Rectangle extends Shape { }
public final class FilledSquare extends Square { }

在此体系中：Circle是final的，继承链到此为止。Square自己也是一个密封类，只允许FilledSquare继承它。Rectangle被声明为non-sealed，意味着任何类都可以从此开始继承。这种设计提供了极大的灵活性，同时保持了核心层次的封闭性。

与编译器和运行时的交互

Sealed Classes 的约束主要在编译时由Java编译器强制执行。当使用模式匹配（Pattern Matching）的instanceof或switch表达式时，编译器能够识别出所有已知的 permitted 子类，从而可以帮助检查模式匹配的完整性，避免遗漏case。

Sealed Classes 的设计动机与优势

Sealed Classes 的主要设计动机是在模仿代数数据类型（Algebraic Data Types），为领域建模提供更强的表达能力和安全性。其优势体现在以下几个方面：

1. 增强的代码安全性与可维护性：通过限制继承，类作者可以确保其设计的类层次结构不会被未知或不受控的子类破坏，减少了不可预见的行为。
2. 为模式匹配提供坚实基础：它是Java中模式匹配功能演进的关键部分。编译器可以确切知道所有可能的子类型，从而能够在switch表达式中进行穷尽性检查。
3. 清晰的API意图：它明确地向API的使用者传达了哪些类是设计为可扩展的，以及如何扩展，使得代码更易于理解和正确使用。

实际应用场景与最佳实践

Sealed Classes 非常适合用于定义固定的、已知的类集合的场景。例如，在定义一个编译器抽象语法树（AST）的节点类型，或者处理一个已知的、有限的消息类型集合时。

最佳实践包括：尽量保持 permitted 子类列表的精简；谨慎使用non-sealed，因为它会重新引入开放继承的不确定性；充分利用其与模式匹配结合带来的编译时检查优势，编写更安全的代码。

总结

Java 17的Sealed Classes是一项强大的特性，它通过提供精确的继承控制，极大地增强了语言在构建安全、可靠且易于维护的复杂类层次结构方面的能力。它是Java向更具表现力和安全性的类型系统演进的重要一步，与Records和Pattern Matching等其他新特性协同工作，共同提升了开发体验和代码质量。