jdk17新特性—— 密封类(Sealed Classes)
密封类是 JDK 17 的新特性,它是对 Java 类型系统的一种限定,用于指定某些类的子类必须被严格限制在特定的范围内。
在 JDK 17 中,我们可以通过 sealed
关键字来声明密封类,并通过 permits
关键字来指定允许继承的子类列表。
以下是一个简单的密封类示例:
// 声明密封类 Animal,只有 Dog 和 Cat 能够继承该类
public sealed class Animal permits Dog, Cat {
// 类的共有方法
}
// 子类 Dog
public non-sealed class Dog extends Animal {
// Dog 的实现
}
// 子类 Cat
public non-sealed class Cat extends Animal {
// Cat 的实现
}
// 使用密封类的限制,下面的代码将会编译错误
// public non-sealed class Pig extends Animal {
// // Pig 的实现
// }
// 因为 Pig 不在 Animal permits 列表中
在这个例子中,我们定义了一个名为 Animal
的密封类,并且使用 permits
指出了只有 Dog
和 Cat
能够继承该类。这样,如果有其他类尝试继承 Animal
类,编译器会报错,从而确保了类的继承是有限且可控的。
评论已关闭