Java pattern matching拆解嵌套类型

Java pattern matching 拆解嵌套类型时，最稳的思路是从外层 record 一层层读括号：先匹配对象是不是 ColoredRectangle，再进入 ColoredPoint，最后进入 Point 并绑定 x、y。这样写的价值不是少几行强制类型转换，而是让“类型边界、数据解构和变量作用域”同时出现在代码里。

嵌套 record pattern 本质上是递归匹配：外层类型匹配成功、每个组件继续匹配成功后，最内层 pattern 变量才会在分支中可用。record pattern 不匹配 null，所以 null 需要单独处理。

嵌套类型要从外层一层层拆开

先准备一组有层次的数据模型。ColoredRectangle 包含两个 ColoredPoint，而 ColoredPoint 又包含一个 Point 和颜色。旧写法通常要连续调用 accessor；record pattern 则把这些 accessor 读取关系压缩进模式本身。

record Point(int x, int y) {}
record ColoredPoint(Point point, String color) {}
record ColoredRectangle(ColoredPoint upperLeft, ColoredPoint lowerRight) {}

static String upperLeftText(Object value) {
    // 外层先确认类型，再递归进入左上角和 Point
    if (value instanceof ColoredRectangle(
            ColoredPoint(Point(var x, var y), var color),
            var lowerRight)) {
        // 整个模式成功后，x、y、color 才能在这里使用
        return "左上角=(" + x + ", " + y + "), 颜色=" + color;
    }
    // 非目标类型和 null 都走这里
    return "不是可拆解的 ColoredRectangle";
}

读这段代码可以按三层对应：第一层是 ColoredRectangle(...)，第二层是它的 upperLeft 组件，第三层是 Point(var x, var y)。第二个组件使用 var lowerRight，表示只保留对象，不继续拆它。图1把这条关系画成了嵌套边界，便于检查括号和组件顺序。

类型 pattern 与 record pattern 的分工

类型 pattern 解决“它是不是某个类型，并把对象绑定到变量”；record pattern 进一步解决“这个 record 的组件分别是什么”。例如 value instanceof ColoredRectangle rectangle 只得到一个整体对象，而 ColoredRectangle(ColoredPoint(Point(var x, var y), var color), var lowerRight) 直接拿到了内层值。

嵌套组件可以写显式类型，也可以在组件位置使用 var。泛型 record 的类型参数能够从上下文推断，但不要把推断当成无条件的类型检查：如果原始类型信息不足，显式写出参数通常更容易读懂，也能避免不安全转换。

record Box(T value) {}

static String readNestedBox(Box> box) {
    // 两层 Box 对应两层 record pattern，String 类型由上下文推断
    if (box instanceof Box(Box(var text))) {
        // 这里的 text 是最内层组件，而不是外层 Box
        return text;
    }
    return "未匹配";
}

选择原则很简单：模式层级少、组件类型明显时用 var；公共 API 或嵌套超过两层时，给关键组件写显式类型并考虑先拆成局部变量。模式越长，越应该让每个括号都对应一个清晰的业务对象。

变量作用域与 null 边界不能省略

pattern 变量只在匹配成功的控制流内有作用域。不是先声明一个“可能为空”的临时变量，而是由编译器根据 if 条件保证变量已经初始化。嵌套模式中只要任意一层不匹配，x、y 和同层变量都不能使用。

还要特别记住：Java 规范规定 null 不匹配 record pattern。若输入可能为 null，优先把 null 分支写在外层；在 switch 中则显式加入 case null，不要把它寄希望于最后的 default。

static String classify(ColoredRectangle value) {
    return switch (value) {
        // null 不会自动匹配 record pattern，因此单独列出
        case null -> "缺少矩形";
        // when 只收窄业务条件，不改变嵌套组件的匹配顺序
        case ColoredRectangle(
                ColoredPoint(Point(var x, var y), var color),
                var ignored) when x >= 0 && y >= 0 ->
                "有效左上角：" + x + "," + y + "，颜色=" + color;
        // 其余非 null 矩形进入兜底分支
        default -> "坐标不在第一象限";
    };
}

这里的 when 是额外条件，不能替代 record pattern 本身的类型和组件匹配。写多个 case 时还要留意覆盖关系：一个无守卫、范围更宽的 pattern 放在前面，可能让后面的窄 pattern 被判定为 dominated。

采用时的判断清单

• 先确认项目使用的 Java 版本已支持 record patterns；不要把其他 preview 语法混进基础示例。
• 每一层括号都要能对应一个 record 组件，顺序错了通常不是风格问题，而是编译期类型错误。
• 可空输入先处理 null；record pattern 自身不会替你完成 null 分支。
• 模式很长时优先拆出命名方法或局部 record，避免为了少几行代码牺牲调试可读性。

从工程趋势看，嵌套 pattern 最适合边界对象、事件载荷和小型值模型：数据结构稳定、层级有意义时，解构能减少重复 accessor；数据结构频繁变化、层级很深时，传统局部变量反而更容易维护。把“能不能写”进一步收敛成“读者能否快速看出每层在匹配什么”，才是采用它的实际标准。

相关问题

record pattern 能匹配 null 吗？不能。需要在 if 外层或 switch 中用单独的 null 分支处理。

嵌套 pattern 变量什么时候可用？只有外层和所有嵌套组件都匹配成功后，变量才在对应分支的作用域内可用。

参考：Oracle Java Record Patterns、Java Language Specification 14.30 Patterns。