Java 15的密封类简单说明 - jgeeks

20-10-21 banq

Java 15引入了Sealed Classes,它允许类/接口限制其他哪些类/接口可以扩展或实现它们。这是一个例子:

public sealed class Vehicle permits Car, Truck, Motorcycle { ... }
 
final class Car extends Vehicle { ... }
final class Truck extends Vehicle { ... }
final class Motorcycle extends Vehicle { ... }

在上面的示例中,Vehicle是一个密封类,它指定了三个允许的子类;Car,Truck和Motorcycle。

子类必须是:

  • 在与超类相同的程序包或模块中。您甚至可以在与超类相同的源文件中定义它们,在这种情况下,可以不需要permits子句,因为编译器将从文件中的声明中推断出它们。
  • 声明三种选项:final(即不能进一步扩展);sealed(即以受限方式允许进一步的子类)或non-sealed(即允许任何类进行扩展)声明。

密封有两个主要目的:

  1. 它限制了哪些类或接口可以是类或接口的子类型,从而保留了API的完整性。[list=1]
  2. 它允许编译器列出密封类型的所有允许的子类型(穷举分析),这将在以后的Java版本中能启用切换密封类型的类型模式。例如,给定以下switch语句,编译器将检测到每个允许的子类都有一个case语句Vehicle(因此不需要default子句),并且如果缺少任何子句,还将产生错误:
    int doSomething(Vehicle v) {  return switch (v) {      case Car c -> ...      case Truck t -> ...      case Motorcycle m -> ...  };}
    

    

猜你喜欢