JDK17中新的特性之密封类

Sealed Classes （密封类）

在JDK17中添加了密封类。密封的类和接口限制了哪些其他类或接口可以拓展或实现它们。密封类这个新的特性在JDK15和JDK16中作为预览功能。现在在JDK17中作为正式的功能，它与JDK16相比没有任何变化。

密封类的作用和目标

• 允许类或接口的作者控制负责实现它的代码。
• 提供比访问修饰符更具声名性的方式来限制超类的使用。
• 通过为详尽的模式分析提供基础来支持模式匹配的未来方向。

密封类示例

我门首先定义一个密封类——Shape，这里定义成了一个抽象的密封类，也可以不是抽象的。

/**
 * 密封类测试
 * @author huhailong
 *
 */
public abstract sealed class Shape permits Circle, Hexagon, Rectangle {...}

上面的sealed关键字用来表示这个类是一个密封类，然后permits表示可以继承该类的子类，上面有三个，分别是：Circle、Hexagon、Rectangle。继承了密封类的子类的修饰符也是有限制的，子类的必须是以下三种类型：

• final类型
• 也是密封类类型（sealed）
• 非密封类类型（non-sealed）

final类型的子类当然是不能拓展的，密封类型的子类和父类类似，可以拓展指定的子类，非密封类则不限制它可以拓展的子类，其实final 在概念上等同于sealed 加上一个没有指定任何内容的许可子句，尽管不能编写这样的许可子句。下面是Shape的三个子类，只有被指定允许继承的子类可以继承，其他的类不可以继承，会报编译时错误。
Circle.java

/**
 * 继承密封类Shape
 * @author huhailong
 *
 */
public non-sealed class Circle extends Shape{...}

Hexagon.java

public final class Hexagon extends Shape {...}

Rectangle.java

public sealed class Rectangle extends Shape {
    final class Square extends Rectangle {...}
}

可以看到在Shape的子类Rectangle也是密封类型，因此我们需要指定拓展它的子类，除了像Shape中的那样通过关键字permits来指定外，也可以直接在Rectangle内部，也就说密封类允许的子类可以直接写到密封类的源文件中，当以这种方式声明时，密封类可以省略许可子句（permits），Java编译器会从源文件中的声明推断出允许的子类。
同样的，密封接口和密封类的写法是相似的。详细的内容可参考官方文档。