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编译器会从源文件中的声明推断出允许的子类。
同样的,密封接口和密封类的写法是相似的。详细的内容可参考官方文档。