java record 与模式匹配结合可简化不可变数据结构的类型判断和字段提取:instanceof 支持直接解构、switch 支持按类型和字段值分支、替代 visitor 模式、构建类型安全解析流水线。

Java record 与模式匹配(尤其是 instanceof 和 switch 模式匹配)结合,能显著简化不可变数据结构的类型判断与字段提取逻辑,避免冗长的 if-else 和手动 getter 调用。
在 instanceof 检查中直接解构 record
Java 16+ 支持带模式的 instanceof,对 record 可一步完成类型检查 + 字段绑定,无需后续调用 getter。
例如:
record Point(int x, int y) {}
record Circle(Point center, int radius) {}
Object shape = new Circle(new Point(3, 4), 5);
if (shape instanceof Circle c) {
// ✅ 直接获得 c,可访问 c.center(), c.radius()
System.out.println(c.radius()); // 5
}
// 更进一步:嵌套解构(Java 21+)
if (shape instanceof Circle(Point(var x, var y), int r)) {
// ✅ 自动解构 Circle → Point → 提取 x, y, r
System.out.println("center=(" + x + "," + y + "), r=" + r);
}
在 switch 表达式中按 record 类型和字段值分支
配合 sealed class 或统一接口,用 record 作为具体实现类,再用模式匹配做多态分发,语义清晰、类型安全。
- 定义 sealed 层次结构:
sealed interface Shape permits Point, Circle, Rectangle {}
record Point(int x, int y) implements Shape {}
record Circle(Point center, int radius) implements Shape {}
record Rectangle(Point topL, Point bottomR) implements Shape {}
- switch 中直接解构并匹配字段约束(Java 21+):
Shape s = new Circle(new Point(0, 0), 10);
String desc = switch (s) {
case Point(int x, int y) when x == 0 && y == 0 -> "origin";
case Circle(Point(int cx, int cy), int r) when r > 5 -> "large circle at (" + cx + "," + cy + ")";
case Rectangle(Point(var x1, var y1), Point(var x2, var y2)) ->
String.format("rect: [%d,%d]→[%d,%d]", x1, y1, x2, y2);
default -> "unknown shape";
};
替代传统 visitor 模式,降低样板代码
面对有限、稳定的 record 类型集合(如 AST 节点、消息协议体),用模式匹配代替 Visitor 接口 + 多个 visitXxx() 方法,更轻量、更内聚。
- 无须定义 visitor 接口和实现类
- 逻辑集中在一个 switch 中,新增 record 类型时编译器提示遗漏分支(配合
sealed) - 字段解构天然支持局部变量绑定,避免重复调用 getter 或临时变量声明
构建类型安全的解析/校验流水线
在配置解析、API 请求体校验等场景中,将输入 JSON 映射为 record 后,用嵌套模式匹配快速验证结构合法性并提取关键字段。
例如校验一个“非空用户名 + 正整数年龄”的用户记录:
record User(String name, int age) {}
Object input = new User("Alice", 30);
String result = switch (input) {
case User(String n, int a) && !n.isBlank() && a > 0 -> "valid: " + n;
case User(String n, int a) -> "invalid: name=" + n + ", age=" + a;
default -> "not a User";
};
注意:&& 条件需写在模式后(Java 21+ 支持),用于补充运行时约束。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











