Sealed Classes 的定义与语法结构
Sealed Classes（密封类）是 Java 17 中引入的一项关键特性，它允许开发者精确控制哪些类可以继承或实现一个特定的类或接口。其核心语法是在类或接口声明时使用 sealed 关键字，并通过 permits 子句明确指定允许的子类型。每个被允许的子类必须直接继承该密封类，并且必须使用 final、sealed 或 non-sealed 修饰符之一来声明其继承状态，从而形成一个封闭的、可预测的类层次结构。
Sealed Classes 的设计哲学与目标
Sealed Classes 的设计哲学源于对领域建模精确性和代码安全性的追求。它旨在提供一个中间地带，介于完全开放的继承（使用普通的 class）和完全封闭的继承（使用 final class）之间。通过明确规定哪些类是合法的子类型，它使得编译器能够进行穷尽性检查（例如在 switch 表达式中），从而减少运行时错误，同时为 API 设计者提供了更强的约束能力，确保其设计的类层次结构不会被未知或不受控的子类破坏。
Sealed Classes 的约束机制与编译器作用
Sealed Classes 的核心约束机制由编译器和 Java 虚拟机共同 enforce。编译器会严格验证 permits 子句中声明的子类是否都存在，并且每个子类都正确使用了修饰符（final, sealed, 或 non-sealed）。此外，子类必须与父类位于同一模块（若使用模块系统）或同一包内，这确保了访问控制的合理性。这种约束使得模式匹配中的穷尽性检查成为可能，编译器能确认所有可能的子类型都已被处理，从而提升代码的健壮性。
与模式匹配的协同及穷尽性检查
Sealed Classes 与 Java 14 引入的模式匹配（Pattern Matching）特性协同工作，极大地增强了语言的表现力。在 switch 表达式或语句中，当对密封类进行类型模式匹配时，编译器可以静态地分析所有允许的子类型，并验证是否所有情况都已覆盖。如果开发者遗漏了某个子类型，编译器将报错，强制其处理所有可能的情况，这避免了运行时因未预料到的类型而导致的错误，提升了代码的可靠性。
实际应用场景与示例
Sealed Classes 非常适用于需要精确建模固定集合类型的场景。例如，在表示数学表达式、AST（抽象语法树）节点、命令模式中的命令集合或状态机中的状态时，类型的集合通常是已知且固定的。通过将其定义为密封接口及其 permitted 子类，代码可以清晰地表达设计意图，并利用编译时检查来确保完整性。例如，一个表示形状（Shape）的密封类可以只允许圆（Circle）和矩形（Rectangle）作为其子类，从而在任何处理形状的地方都能确信不会出现未知的子类型。
与旧版本 Java 的兼容性与迁移考量
Sealed Classes 的设计充分考虑了向后兼容性。现有的非密封类代码无需修改即可继续运行。对于希望引入密封性的库开发者，他们可以逐步将现有的公共类改为密封类，但要谨慎规划 permits 的列表，因为这本质上是一次破坏性的 API 变更------它禁止了外部类继承此类。因此，这更适合在库或模块的初始设计阶段或主要版本更新时引入，以确保下游用户不会受到影响。
总结：Sealed Classes 的价值与未来
Sealed Classes 是 Java 向更具表现力和安全性的类型系统迈进的重要一步。它通过提供一种声明性的、编译器强制的方式来表示受限的类层次结构，增强了代码的可靠性和可维护性。结合模式匹配，它为编写更简洁、更安全的代码提供了强大的基础。随着 Java 语言的不断发展，Sealed Classes 预计将在领域驱动设计（DDD）、API 设计和函数式编程模式中扮演越来越重要的角色，成为现代 Java 开发者工具包中不可或缺的一部分。