logo IntelliJ IDEA入门教程 我也要发布文档

Java开发平台intellij idea使用教程:如何在IntelliJ IDEA中使用JAVA15(下)


IntelliJ IDEA是Java语言开发的集成环境,IntelliJ在业界被公认为优秀的Java开发工具之一,尤其在智能代码助手、代码自动提示、重构、J2EE支持、Ant、JUnit、CVS整合、代码审查、 创新的GUI设计等方面的功能可以说是超常的。双节福利来袭!IntelliJ正版授权最高立减2000!点击查看详情

点击下载 IntelliJ IDEA最新试用版

IntelliJ IDEA配置

2020年7月发布的IntelliJ IDEA 2020.2支持Java 15功能。您可以通过将Project SDK选择为15,并将“Project language level”选择为“ 15(预览)–密封类型,将其配置为使用Java 15”,“记录,模式,本地枚举和接口”,用于您的项目和模块设置。

Java 15将在2020年9月15日发布GA(General Availability),之后您还可以直接从IntelliJ IDEA下载它。为此,请单击“Platform Settings”下的SDK,然后单击顶部的“ +”号,选择“下载JDK”,然后选择供应商以及版本和目录,以将JDK下载到该目录。

重访Gardner类中的Plant类型

创建密封的层次结构后,您将能够以精确的方式处理层次结构中的实例,而无需处理任何“general”实现。process类中的方法Gardner将无法运行该else子句。但是,if– else构造的语法仍然需要您定义else部件(在将来的Java版本中可能会更改)。

在Java 14中为instanceof的模式匹配引入的Type-test-patterns可以在将来的Java版本中添加到开关表达式中。使用增强的switch表达式,您可以使用详尽的扩展类型列表。这使您可以消除为Plant传递给方法的不匹配类型而执行的任何“general code”的定义processInAFutureJavaVersion:

// This code doesn't work in Java 15.
// It would work in a future Java version after the addition of 
// type-test-pattern to the switch expressions
int processInAFutureJavaVersion(Plant plant) {
   return switch (plant) {
       case Cucumber c -> c.harvestCucumber();
       case Climber cl -> cl.sowClimber();
       case Herb h -> h.sellHerb();
       case Shrub s -> s.pruneShrub();
   }
}

封装和模块限制

密封的类及其实现不能跨越多个模块。如果在命名模块中定义了密封的基类,则其所有实现都必须在同一模块中定义。但是,它们可以出现在不同的程序包中。

对于在未命名模块中定义的密封类,其所有实现都必须在同一包中定义。

基本和扩展类的规则

扩展密封类的类必须是最终的,未密封的或密封的。非密封类允许其他类对其进行扩展。密封的子类必须遵循与父基类相同的规则集–可以通过其他类的显式列表进行扩展。

密封的类也可以是抽象的。扩展类可以定义为抽象或具体类。

让我们修改上一节中使用的类集,Plant并使用abstract方法将类定义为抽象类grow()。由于派生类Herb是最终类,因此必须实现method grow()。现在,未密封的派生类Shrub是一个抽象类,它可能无法实现方法grow()。如果不需要将其定义为抽象类,则密封派生类将Climber实现abstract方法grow():

}

sealed abstract public class Plant permits Herb, Shrub, Climber {
   abstract void grow();
}
final class Herb extends Plant {
   @Override
   void grow() {
   }
}
non-sealed abstract class Shrub extends Plant {}
sealed class Climber extends Plant permits Cucumber{
   @Override
   void grow() {
   }
}
final class Cucumber extends Climber {}

密封接口

密封接口允许您显式指定可以扩展它的接口以及可以实现它的类(包括记录)。它遵循类似于密封类的规则。

但是,由于您不能使用修饰符声明接口final(因为这样做会与接口的用途发生冲突,因为必须实现接口),可以使用sealed或non-sealed修饰符声明继承接口。permits接口声明的子句列出了可以直接实现密封接口和扩展接口的类。一个实现类可以是最终的,密封的或非密封的。由于Java 14中引入的记录是隐式最终的,因此它们不需要任何其他修饰符:

这是供参考的代码:

sealed public interface Move permits Athlete, Person, Jump, Kick {
}
final class Athlete implements Move {}
record Person(String name, int age) implements Move {}
non-sealed interface Jump extends Move {}
sealed interface Kick extends Move permits Karate {}
final class Karate implements Kick {}

好了这就是今天的内容了,你学会了吗?如果今天的文章未解决你的需求,可点击获取更多免费教程。不要忘了在评论与我们分享您的想法和建议,现IntelliJ正版授权在线订购最高立减3000元!