当前位置：首页 > 文章列表 > 文章 > java教程 > Java pattern matching 怎样在 switch 中绑定 record 分量

Java pattern matching 怎样在 switch 中绑定 record 分量

来源：17golang原创 2026-10-24 21:46:22 0浏览收藏

如果一个 switch 分支既要判断对象类型，又要读取 record 的多个分量，Java 21 之后可以把两件事写在同一个 pattern 中：case Rectangle(double length, double width) 会在匹配成功时直接绑定 length 和 width。这样做的重点不是少写两个访问器，而是让“这个分支需要什么数据”跟分支条件放在一起。

下面的例子都以 Java 21 及以上为前提。record pattern 和 switch pattern matching 在这个版本已经是正式语言能力，不需要再加 preview 开关。

用 switch 直接绑定 record 分量

先定义一个封闭的形状层次。Shape 只允许 Rectangle 和 Circle 两种实现，switch 因此可以清楚地覆盖各个类型：

sealed interface Shape permits Rectangle, Circle {}
record Rectangle(double length, double width) implements Shape {}
record Circle(double radius) implements Shape {}

static String describe(Shape shape) {
    return switch (shape) {
        // 直接绑定矩形的两个 record 分量，分支内无需再次调用访问器
        case Rectangle(double length, double width) ->
                "矩形：" + length + " × " + width;
        // 只绑定当前分支真正需要的半径
        case Circle(double radius) ->
                "圆形：半径 " + radius;
        // 显式接住空引用，避免把 null 当作普通类型分支
        case null -> "形状为空";
    };
}

这里的 Rectangle(double length, double width) 不是构造一个新对象，而是检查选择器是否为该 record 类型，并把两个组件值绑定到模式变量。封闭层次使分支关系更容易维护；如果以后增加新的 permitted 类型，编译器会提醒你重新考虑穷尽性。

Shape switch 选择器与 Rectangle、Circle record 分量及 null 边界的静态关系说明图 — 图1：switch 与 record pattern 的静态关系说明图，展示分支如何直接取得 record 分量。

嵌套 record pattern 怎样减少重复访问器

record pattern 可以继续嵌套。假设订单中有客户，客户中有地址，业务分支只关心城市和邮编：

record Address(String city, String zip) {}
record Customer(String name, Address address) {}
record Order(String id, Customer customer) {}

static String shippingArea(Order order) {
    return switch (order) {
        // 一次匹配订单、客户和地址，并在分支中拿到 city 与 zip
        case Order(String id, Customer(String name,
                Address(String city, String zip))) ->
                id + " / " + name + " / " + city + " " + zip;
        // 明确表达空订单的处理结果
        case null -> "订单为空";
    };
}

嵌套模式适合结构稳定、分量确实属于当前判断的场景。它把数据形状写在一个地方，读者可以沿着模式看到依赖关系；但如果嵌套已经很深，或者多个分支重复同一段模式，先拆成局部变量或小方法往往更容易维护。

Order、Customer、Address 以及 city、zip 嵌套 record pattern 的静态数据结构说明图 — 图2：嵌套 record pattern 的数据结构说明图，展示多层分量绑定与条件收窄的关系。

用 when 收窄已经绑定的分量

绑定分量之后，还可以在 case 后用 when 写守卫。例如只把正尺寸矩形交给面积计算分支：

static double area(Shape shape) {
    return switch (shape) {
        // 先匹配 record，再用已绑定的分量限制业务条件
        case Rectangle(double length, double width)
                when length > 0 && width > 0 -> length * width;
        // 尺寸不合法时保留原对象，便于错误信息包含完整输入
        case Rectangle(double length, double width) ->
                throw new IllegalArgumentException(
                        "矩形尺寸必须为正：" + length + " × " + width);
        // 圆形只需要绑定半径
        case Circle(double radius) when radius >= 0 ->
                Math.PI * radius * radius;
        // 负半径和 null 都明确落到错误分支
        case Circle(double radius) ->
                throw new IllegalArgumentException("半径不能为负：" + radius);
        case null -> throw new IllegalArgumentException("shape 不能为 null");
    };
}

同一种 record 可以出现多个 pattern 分支，但更具体的守卫要放在一般分支前面。when 只能使用当前 pattern 已经绑定且在作用域内的变量；它不是把任意条件塞进类型匹配，而是对已经匹配的对象再做业务收窄。