Java sealed classes的基本概念

Java 17中引入的sealed classes（密封类）是一项重要的语言增强功能，它为开发者提供了对类继承层次结构的精确控制能力。通过使用sealed修饰符，类或接口可以明确指定哪些其他类或接口可以扩展或实现它。这种机制在维持封装性的同时，允许有限制的继承，为构建更安全、更可维护的代码库提供了有力支持。

sealed classes的语法结构

sealed classes的声明语法包含三个关键部分：sealed修饰符、permits子句和非密封类的定义方式。一个典型的密封类声明如下：

public sealed class Shape permits Circle, Square, Rectangle {    // 类实现}

在这个例子中，Shape类被声明为密封类，只允许Circle、Square和Rectangle这三个类继承它。任何未在permits子句中列出的类尝试继承Shape都将导致编译错误。

密封类的子类要求

密封类的子类必须具有以下特征之一：声明为final、sealed或non-sealed。final子类阻止进一步继承，sealed子类创建另一个受限制的继承层次结构，而non-sealed子类则开放继承，允许任意扩展。

密封接口的实现

类似于密封类，接口也可以被声明为sealed，限制能够实现它的类。这在与模式匹配和instanceof检查结合使用时特别有用，可以确保所有可能的实现都被考虑。

密封类的模式匹配应用

密封类与Java的模式匹配功能完美配合。由于编译器知道所有可能的子类，switch表达式可以彻底检查所有情况而无需default子句：

public double calculateArea(Shape shape) {    return switch (shape) {        case Circle c -> Math.PI  c.radius()  c.radius();        case Square s -> s.side()  s.side();        case Rectangle r -> r.width()  r.height();        // 不需要default分支，所有情况都已覆盖    };}

密封类的优势与最佳实践

密封类的主要优势在于提供了编译时的安全性检查，确保类的层次结构不会被意外扩展。它们特别适用于定义代数数据类型(ADT)和有限的状态机。最佳实践包括：为每个密封类提供全面的模式匹配处理，谨慎选择哪些子类应该是non-sealed，以及在API设计中充分利用这种精确的继承控制。

密封类的实际应用场景

密封类在处理有限集合的实现时特别有用，例如消息传递系统中的消息类型、表达式树中的节点类型，或者业务域中的特定分类。通过精确控制继承，开发者可以创建更加健壮和可维护的代码结构，减少运行时错误并提高代码的可读性。