封闭类：怎么刹住失控的扩展性

一个可扩展的类，子类和父类可能会相互影响，从而导致不可预知的行为。涉及敏感信息的类，增加可扩展性不一定是个优先选项，要尽量避免父类或者子类的影响。

使用类修饰符 sealed 修饰的类是封闭类；使用类修饰符 sealed 修饰的接口是封闭接口。封闭类和封闭接口限制可以扩展或实现它们的其他类或接口。

封闭类的声明使用 sealed 类修饰符，然后在所有的 extends 和 implements 语句之后，使用 permits 指定允许扩展该封闭类的子类。

package co.ivi.jus.sealed.modern;

public abstract sealed class Shape permits Circle, Square {
    public final String id;

    public Shape(String id) {
        this.id = id;
    }

    public abstract double area();
}

由 permits 关键字指定的许可子类（permitted subclasses），必须和封闭类处于同一模块（module）或者包空间（package）里。

在编译期为封闭类添加上许可的子类。

许可类的声明需要满足下面的三个条件：

1. 许可类必须和封闭类处于同一模块（module）或者包空间（package）里，也就是说，在编译的时候，封闭类必须可以访问它的许可类；
2. 许可类必须是封闭类的直接扩展类；
3. 许可类必须声明是否继续保持封闭：
   • 许可类可以声明为终极类（final），从而关闭扩展性；
   • 许可类可以声明为封闭类（sealed），从而延续受限制的扩展性；
   • 许可类可以声明为解封类（non-sealed）, 从而支持不受限制的扩展性。

由于许可类必须是封闭类的直接扩展，因此许可类不具备传递性。

---

此文章为9月Day6学习笔记，内容来源于极客时间《深入剖析 Java 新特性》