一.JEP 409: Sealed Classes

1.1简介

官网链接sealed class

从如下官网的简介与描述可以看出，这个新特性的目的是为了限制类与接口的被继承与实现，比如说我有个 A类，那么我现在限定只有 B，C，D三个类可以继承那么就需要用到这个新特性了

这个在JDK15,16中都作为了预览特性，在jdk17中正式发版并且在jdk16后没有改动

1.2使用方式

The classes specified by permits must be located near the superclass: either in the same module (if the superclass is in a named module) or in the same package (if the superclass is in the unnamed module).

When the permitted subclasses are small in size and number, it may be convenient to declare them in the same source file as the sealed class

如上两段话摘自官网意思是说使用时父子类的几种位置关系

1.2.1非匿名模块在相同模块中即可

package com.example.geometry;public abstract sealed class Shapepermits Circle, Rectangle, Square { ... }

1.2.2匿名模块需要在同一package

package com.example.geometry;public abstract sealed class Shape permits com.example.polar.Circle,com.example.quad.Rectangle,com.example.quad.simple.Square { ... }

1.2.3当子类代码非常精简时直接内部类也行

abstract sealed class Root { ... final class A extends Root { ... }final class B extends Root { ... }final class C extends Root { ... }
}

1.3三个限制

第一点 就是上面的1.2的前两点

第二点 每个permitted 子类必须要直接继承 sealed 父类

第三点 permitted 子类必须有三个修饰符之一且不能同时存在

final(或者直接用record类):这个意思大家都懂除此之外因为 record数据类(顾名思义他就是个用来传输数据没有啥业务相关方法的类) 默认是final修饰所以也能继承

package com.example.expression;public sealed interface Exprpermits ConstantExpr, PlusExpr, TimesExpr, NegExpr { ... }public record ConstantExpr(int i)       implements Expr { ... }
public record PlusExpr(Expr a, Expr b)  implements Expr { ... }
public record TimesExpr(Expr a, Expr b) implements Expr { ... }
public record NegExpr(Expr e)           implements Expr { ... }

sealed:用这个修饰符修饰的类必须有子类且要用 permitt 关键字后指明如下报错可以看出

non-sealed 这个就跟上面这个相反用这个修饰符修饰后就不能指定特定的类继承该类了，并且未知的类就可以对他进行继承了

示例代码如下

package com.example.geometry;public abstract sealed class Shapepermits Circle, Rectangle, Square, WeirdShape { ... }public final class Circle extends Shape { ... }public sealed class Rectangle extends Shape permits TransparentRectangle, FilledRectangle { ... }
public final class TransparentRectangle extends Rectangle { ... }
public final class FilledRectangle extends Rectangle { ... }public final class Square extends Shape { ... }public non-sealed class WeirdShape extends Shape { ... }