JEP 440: Record Patterns 在 JDK 21 中升级为 Targeted 状态

JEP 440（Record Patterns）已从 Proposed to Target 状态升级为 Targeted 状态，并将在 JDK 21 中正式发布。该 JEP 最终确定了这一特性，并基于前两轮预览（JDK 19 的 JEP 405 和 JDK 20 的 JEP 432）的反馈进行了增强。Record Patterns 增强了 Java 语言，允许对记录值进行解构。

主要特性

1. 记录模式与类型模式的结合：记录模式可以与类型模式结合使用，提供了一种强大、声明性和可组合的数据导航和处理方式。
2. 移除增强 for 语句中的记录模式支持：与 JEP 432 相比，最大的变化是移除了在增强 for 语句头中使用记录模式的支持。
3. 嵌套模式：引入了嵌套模式，允许进一步解构记录值，从而支持更复杂的数据查询。

示例与应用

记录与枚举定义

record Point(int x, int y) {}
enum Color { RED, GREEN, BLUE }

记录模式的使用

if (r instanceof Rectangle(ColoredPoint ul, ColoredPoint lr)) {
    System.out.println(ul.c());
}

嵌套模式的使用

record ColoredPoint(Point p, Color c) {}
record Rectangle(ColoredPoint upperLeft, ColoredPoint lowerRight) {}

if (r instanceof Rectangle(ColoredPoint(Point p, Color c), ColoredPoint lr)) {
    System.out.println(c);
}

代码简洁性与错误处理

记录模式使代码更简洁且不易出错。例如：

static void printXCoordOfUpperLeftPointWithPatterns(Rectangle r) {
    if (r instanceof Rectangle(ColoredPoint(Point(var x, var y), var c),
                               var lr)) {
        System.out.println("Upper-left corner: " + x);
    }
}

与 Switch 表达式的结合

记录模式与 JEP 441 引入的 switch 表达式结合使用，允许在 case 标签中使用模式，从而编写更具表达力的代码，并减少因遗漏 case 而导致的错误。例如：

class A {}
class B extends A {}
sealed interface I permits C, D {}
final class C implements I {}
final class D implements I {}
record Pair<T>(T x, T y) {}

Pair<I> p;

switch (p) {
    case Pair<I>(C c, I i) -> ...
    case Pair<I>(D d, C c) -> ...
    case Pair<I>(D d1, D d2) -> ...
}

风险与假设

1. 对现有代码库的影响：任何语言变化都有可能对现有代码库产生影响。
2. 开发者熟悉度：这些变化假设开发者熟悉记录类和模式匹配，这两种特性在 Java 中相对较新。

未来发展方向

记录模式未来可能扩展的方向包括：

• 可变参数模式：支持可变数量的记录。
• 无名模式：匹配任何值但不声明模式变量。
• 通用模式：适用于任意类的值，而不仅仅是记录类。

结论

记录模式和嵌套模式的引入是 Java 语言的一次重大飞跃。它们支持更声明性的编程风格，从而使代码更简洁、更易理解。尽管存在一些风险，但其潜在的好处使其成为未来 Java 版本中一个非常有前景的特性。