JEP最新更新: 使用 Record 类来扩展 Java 中的模式匹配

JEP 405 中，Record Patterns (Preview)，已经由 Proposed to Target 提升至 Targeted for JDK 19。基于 Project Amber 的保护，当前 JEP 提议使用 Record 模式来解构 Record 类，Record 可以与 type 模式结合使用，可实现稳健、声明性和可组合的数据导航和处理模式。

JEP 394 中，JDK 提供的 instanceof 模式匹配，扩展了 instanceof 运算符，使其可以采用 type 模式并执行 type 匹配，具体示例如下:

publicvoidprint(Objecto){if(oinstanceofDouble){Doubled=(Double)o;System.out.println("d="+d);}}

使用 type 匹配可以更改如下:

publicvoidprint(Objecto){if(oinstanceofDoubled){System.out.println("d="+d);}}

上面的示例中，如果 o 是 Double 的实例，则 o 成功匹配 Double d。这减少了显示类型转换同时有效缩短了代码。

JEP 395，因此 Record 类，开发人员可以轻松的编写不可变的对象。

recordPoint(intx,inty){}

使用 Record 类后，无需显示白那些构造函数、访问器方法和其他方法，例如 toString 和 hashCode。

代码中如果使用 Record 的实例，开发人员需要访问其访问器方法获取数据，例如:

publicvoidprintSum(Objecto){if(oinstanceofPointp){intx=p.x();inty=p.y();System.out.println(x+y);}}上面的代码中，模块变量p用于调用访问器方法x()、y()来获取x和y的值，使用Record后，将不再需要p变量。

publicvoidprintSum(Objecto){if(oinstanceofPoint(intxinty)){System.out.println(x+y);}}

开发人员解构更复杂的图对象也变得简单起来，例如下面案例:

enumColor{RED,GREEN,BLUE}recordColoredPoint(Pointp,Colorcolor){}recordPoint(intx,inty){}recordSquare(ColoredPointupperLeft,ColoredPointlowerRight){}

如果开发人员需要获取左上角的 ColoredPoint，使用如下方式进行解构即可:

publicvoidprintUpperLeftColoredPoint(Squares){if(sinstanceofSquare(ColoredPoint(Point(varx,vary),varcolor),varlowerRight))){}}

上面案例如果不使用 Record 模式，代码会非常繁杂和冗长。