Java record 里的 List 为什么还能修改

把 DTO 改成 record 后，很多人会自然地把它当成“不可变对象”。但下面这段代码完全可能成功：

record OrderView(List tags) {}

List source = new ArrayList(List.of("paid"));
OrderView view = new OrderView(source);
source.add("shipped"); // 中文注释：外部仍能修改自己持有的 List
System.out.println(view.tags()); // [paid, shipped]

原因是 record 只保证组件字段不能重新指向别的对象，并不会自动复制或冻结 List。要让集合内容不受外部修改影响，应该在构造时建立不可修改快照；如果只是让调用方不能通过访问器修改，则可以返回只读视图，但两者的语义不同。

record 的 final 到底固定了什么

Java 语言规范规定，每个 record component 都对应一个隐式的 private final 非静态字段，以及一个返回该字段值的访问器。构造器把传入参数赋给这个字段，所以 view 建立后，字段不能再换成另一个 List。

但是 List 是引用类型。字段里保存的是“某个 List 对象的引用”，不是一份元素快照。final 能阻止 this.tags = anotherList，阻止不了持有同一引用的代码调用 add、remove 或 clear。

从构造参数到访问器，变化是怎样传进去的

把问题拆成三条引用就清楚了：调用方的 source 指向 ArrayList；canonical constructor 接收同一个引用；自动生成的 tags() 再把这个引用返回给调用方。record 没有在这条链路上隐式插入复制动作。

record UserRoles(List roles) {
    UserRoles {
        // 中文注释：拷贝容器，拒绝 null 元素，并让外部不能调用 add/remove
        roles = List.copyOf(roles);
    }
}

List input = new ArrayList(List.of("reader"));
UserRoles user = new UserRoles(input);
input.add("admin"); // 中文注释：修改原集合，不会改变 record 内的快照
// user.roles().add("owner"); // 中文注释：只读快照会抛出 UnsupportedOperationException

这里的赋值不是重新给 record 字段赋值，而是在 compact constructor 中先替换隐式参数，最后由编译器把替换后的值写入组件字段。这样可以切断调用方对容器本身的后续修改。

三种集合策略该怎么选

如果 record 表示请求、配置或数据库查询结果，通常希望它拿到的是稳定快照，构造器优先使用 List.copyOf。它会创建包含相同元素的不可修改 List；当输入含 null 元素时会抛出 NullPointerException，这反而能尽早暴露数据契约问题。

如果调用方和 record 明确共享一个实时集合，可以直接保存原引用，但必须把它写进接口约定，并意识到 equals、hashCode 和日志输出看到的内容都可能随集合变化。只读视图适合“禁止通过这个出口修改、但允许所有者继续更新”的场景，不能当作快照。

record Snapshot(List values) {
    Snapshot {
        // 中文注释：values 为 null 时保留明确的参数错误
        values = List.copyOf(Objects.requireNonNull(values, "values"));
    }
}

record SharedView(List values) {
    SharedView {
        // 中文注释：只隐藏修改入口，不复制底层集合
        values = Collections.unmodifiableList(
            Objects.requireNonNull(values, "values"));
    }
}

别把不可修改 List 当成深度不可变

List.copyOf 只处理容器这一层。如果列表元素是自定义可变对象，例如 List，调用方仍可能修改某个 Profile 的字段；record 的 equals 和 hashCode 也会按组件值计算，因此把可变元素放进哈希集合后再改变元素，要特别小心。

发布前可以按这张小清单复查：组件本身是否可能为 null；列表是否允许 null 元素；调用方是否还保留原集合；元素是否也需要复制；record 是否会作为 HashMap 的 key。只要要求的是稳定值对象，就在边界处复制容器，必要时连元素一起构造不可变对象。

常见问题

record 的 List 能不能直接调用 add？

能不能调用取决于实际 List 实现。直接保存的 ArrayList 通常可以，List.of 或 List.copyOf 返回的不可修改 List 会抛出 UnsupportedOperationException。

Collections.unmodifiableList 和 List.copyOf 有什么区别？

前者是原集合的只读视图，原集合变化时视图也变化；后者把当前元素复制到不可修改集合，适合值对象的快照语义。

record 能保证里面的对象也不变吗？

不能。record 主要约束组件字段和访问方式，不会递归冻结引用指向的对象；要实现深度不可变，需要让元素类型本身不可变或显式复制元素。

所以，看到 record 里的 List 还能修改，不是 record 失效，而是把“字段不可重新赋值”和“对象图不可变”混在了一起。先确定共享还是快照，再选择保存原引用、只读视图或 List.copyOf，这个问题就能在构造边界一次解决。