在 Java 中,密封类(Sealed Class)是一种新引入的类类型,它通过在类声明中使用 sealed
关键字来限制其他类的继承。密封类是 Java 15 引入的预览功能,并在 Java 17 中成为正式特性。
密封类(Sealed Class)的特点
-
限制继承:
密封类允许开发者控制哪些类可以继承它。通过在密封类中指定允许继承的子类列表,Java 提供了比传统继承机制更精细的控制。 -
定义和实现:
密封类需要声明哪些子类被允许继承它。这些子类必须是sealed
、non-sealed
或final
类型:sealed
:声明其他密封类,可以继续控制继承。non-sealed
:声明不受继承限制的类,这允许进一步的继承。final
:声明不能被进一步继承的类。
-
语法:
使用sealed
关键字来声明密封类,并在类体中使用permits
子句列出允许的子类。public sealed class Shape permits Circle, Rectangle { } public final class Circle extends Shape { } public final class Rectangle extends Shape { }
在上面的示例中,
Shape
是一个密封类,只允许Circle
和Rectangle
继承。 -
编译时检查:
密封类的继承关系在编译时就被验证,这意味着编译器会检查是否所有的子类都在permits
列表中,从而避免了运行时错误。 -
数据封装与模式匹配:
密封类提供了一种方式来封装和表达数据模型,并且与模式匹配功能结合使用时,可以更方便地进行类型检查和数据处理。
密封类的用途
-
控制继承层次结构:
密封类非常适合于那些需要控制继承层次的场景,例如:- 有限状态机:定义状态机的状态,使得每个状态都明确受限于特定的子状态。
- 枚举类型:通过密封类可以替代传统的枚举类型,以提供更复杂的层次结构。
-
增强类型安全:
使用密封类可以确保只有预定义的子类可以继承,从而提供更强的类型安全和更好的封装性。例如,你可以防止外部代码添加额外的子类,破坏继承的约束。 -
简化模式匹配:
与 Java 的模式匹配特性(如instanceof
和switch
)结合使用时,密封类使得在处理复杂的继承层次时更加简单和安全。编译器可以更好地理解所有可能的子类,减少遗漏和错误。 -
简化代码维护:
在大型代码库中,密封类通过限制子类的数量和类型,使得代码结构更加明确和可维护,减少了代码中可能出现的意外情况和复杂性。
示例
下面是一个使用密封类的简单示例:
// 定义密封类
public sealed class Animal permits Dog, Cat { }
// 允许的子类
public final class Dog extends Animal {
@Override
public String toString() {
return "Dog";
}
}
public final class Cat extends Animal {
@Override
public String toString() {
return "Cat";
}
}
// 尝试继承密封类的无效例子(编译错误)
// public class Bird extends Animal { } // 编译错误
public class Main {
public static void main(String[] args) {
Animal myPet = new Dog();
// 使用模式匹配
switch (myPet) {
case Dog d -> System.out.println("It's a dog!");
case Cat c -> System.out.println("It's a cat!");
}
}
}
在这个示例中,Animal
是一个密封类,只有 Dog
和 Cat
可以继承它。尝试在 Animal
外部定义新的子类(如 Bird
)会导致编译错误。使用模式匹配,我们可以安全地处理 Animal
的不同子类。