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 expressionsint 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元！

标签：