怎么利用记录模式Record_Patterns在模式匹配中解构属性-java教程-PHP中文网

Record Patterns 是 Java 21 正式引入的模式匹配特性，扩展 instanceof 和 switch 对 record 字段的直接解构能力，编译期类型检查，无需 getter 且无反射开销。

怎么利用记录模式record_patterns在模式匹配中解构属性

Record Patterns 是什么，为什么现在就能用

Record Patterns 是 Java 14 引入的预览特性，在 Java 19 中再次预览，到 Java 21 才成为正式特性（非预览）。如果你用的是 javac --enable-preview --source 21 编译，或运行时加 --enable-preview，才能用；否则会报错 error: pattern matching in instanceof is not supported in -source 20。

它不是“记录类专属语法”，而是对 instanceof 和 switch 中模式匹配能力的扩展，让 record 的字段能直接解构出来，省掉一堆 .getXXX() 调用。

在 instanceof 中用 Record Pattern 解构 record 字段

传统写法要先判断类型、再强转、再取字段，三步缺一不可。Record Pattern 把这三步压成一步，且字段绑定是编译期检查的——类型不对或字段名错，直接编译失败。

常见错误现象：Point p = new Point(1, 2); if (p instanceof Point(int x, int y)) { ... } 看起来对，但会编译失败：因为 Point 不是 record 类型，只是普通 class；必须是 record Point(int x, int y) { } 才行。

record 类必须是 public 或包内可见，且字段名必须和构造器参数名完全一致
解构的变量名可以重命名，比如 Point(int a, int b)，但类型必须匹配（a 得是 int）
不能解构非 record 类，哪怕它有相同字段名和 getter；也不能解构继承自 record 的子类（record 不可继承）
嵌套 record 可以层层解构，比如 Shape(Circle(double r), String color)，但 Circle 本身也得是 record

record Point(int x, int y) {}
record Rectangle(Point topL, Point bottomR) {}
<p>Object obj = new Rectangle(new Point(0, 0), new Point(10, 5));</p><p>if (obj instanceof Rectangle(Point(int x1, int y1), Point(int x2, int y2))) {
System.out.println("width=" + (x2 - x1) + ", height=" + (y2 - y1));
}</p>

在 switch 表达式中配合 Record Pattern 做多分支解构

这是最实用的场景：你有一组不同结构的 record，想按类型+字段值组合 dispatch。Java 21 的 switch 支持模式匹配后，Record Pattern 就能自然融入。

容易踩的坑：switch 中的 record 模式必须覆盖所有可能类型，否则编译报错 pattern matching switch must be exhaustive；但 record 本身没有 sealed 限制，所以常得加个默认分支兜底。

每个 case 的 pattern 必须是具体 record 类型，不能写 case Point(var x, var y): 后面跟 case Rectangle(...): 再跟 case null: —— null 是允许的，但顺序必须放在最后
var 在 record pattern 里可用，但只适用于字段类型可推断的情况（比如字段声明是 String name，那 var name 就合法）
性能上无额外开销：解构是编译期生成的字段访问字节码，不反射、不反射、不反射（重要说三遍）

record Circle(double radius) {}
record Square(double side) {}
<p>Object shape = new Circle(3.0);</p><p>return switch (shape) {
case Circle(double r) -> "circle area: " + Math.PI <em> r </em> r;
case Square(double s) -> "square area: " + s * s;
case null -> "null shape";
default -> "unknown shape";
};</p>

Record Pattern 和传统 getter 方式对比的真实代价

有人担心“用了 pattern 就没法做空指针防护”，其实不然：pattern 匹配本身不触发任何方法调用，它直接读取 record 的 final 字段。也就是说，只要 record 实例不为 null，字段就一定非空（前提是 record 定义时字段类型不是包装类且没被设为 null）。

真正要注意的是：record 构造器不做空检查。比如 record Name(String first, String last) {}，你可以传 new Name(null, "Doe") 进去，pattern 解构照样成功，但后续用 first.toUpperCase() 就 NPE。