Record 可变集合怎么配置或排查

排查 Java record 里的可变集合时，先记住一句话：final 只锁住组件引用，不会锁住 List、Set 或 Map 的内容。若记录类直接保存调用方传入的 ArrayList，外部继续 add，Record 访问器读到的内容也会变化。需要稳定值时，在紧凑构造器中做防御性拷贝；需要调用方继续修改时，则明确返回可变集合，别让类型语义含糊。

官方参考：https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/lang/Record.html

Record 为什么会让可变集合看起来像被修改

Record 自动生成的组件字段是 private final，默认构造器只是把参数引用保存进去。下面的写法没有复制列表：

import java.util.ArrayList;
import java.util.List;

// 这里只固定了引用，items 指向的列表仍可被外部改变
record OrderDraft(String id, List items) {}

var source = new ArrayList();
source.add("book");
var draft = new OrderDraft("D-100", source);
source.add("pen"); // draft.items() 也会看到 pen

这里没有发生 Record 自己改写字段，而是 Record 与调用方共享同一个列表对象。把列表包成只读视图只能阻止通过该视图调用修改方法，不能阻止原始列表继续变化。

构造器里怎么决定可变、只读还是防御性拷贝

先按需求做选择，不要看到 record 就机械套同一种集合：

Java 10 起可以使用 List.copyOf。它返回不可修改的列表，并且源集合之后的增删不会反映到结果中；但元素本身若可变，元素内部状态仍可能变化。因此“集合不可改”和“对象图深度不可变”是两件事。

怎样用代码对比定位集合配置错误

更稳妥的默认实现是把复制写进紧凑构造器，让所有创建入口都经过同一条边界：

import java.util.List;

record OrderSnapshot(String id, List items) {
    // 在构造边界复制集合，避免调用方继续持有内部集合
    OrderSnapshot {
        if (id == null || id.isBlank()) {
            throw new IllegalArgumentException("id 不能为空");
        }
        // List.copyOf 同时固定结构，并拒绝 null 元素
        items = List.copyOf(items);
    }
}

var source = new java.util.ArrayList();
source.add("book");
var snapshot = new OrderSnapshot("D-100", source);
source.add("pen"); // snapshot.items() 仍只有构造时的 book

若业务必须让 Record 内部可变，可以在构造器中创建新的 ArrayList，再提供一个命名明确的更新方法；不要把可变列表直接暴露给不清楚所有权的调用方。若只读视图是有意设计，也要让字段类型和文档表达“谁仍拥有源集合”。

兼容边界和上线前检查

排查时按四个问题逐项确认：第一，访问器返回的是原集合、只读视图还是独立快照；第二，集合是否允许 null；第三，集合元素是否还包含可变对象；第四，Record 是否被放进依赖稳定 equals 与 hashCode 的缓存键或集合中。把可变组件放进哈希容器后再修改其内容，可能让查找行为变得不可预测。

另外，Collections.unmodifiableList 与 List.copyOf 都只处理集合这一层。若列表元素是自定义可变对象，需要在元素类型上采用不可变设计，或逐个复制元素。Java 版本较低时没有 List.copyOf，可以使用 new ArrayList(source) 再按接口约束返回只读视图，但要把 null 策略和快照语义写在代码旁。

常见问题

Record 的 List 组件声明成 final 后还能 add 吗？

组件字段不能重新指向另一份列表，但列表对象本身仍可能支持 add。final 不等于集合不可变。

unmodifiableList 和 copyOf 最大区别是什么？

前者通常是源集合的只读视图，源集合变化会被看到；后者固定集合结构，源集合后续增删不会影响返回列表。

List.copyOf 能让元素也不可变吗？

不能。它复制集合结构，不会自动复制或冻结元素对象；需要深度不可变时要设计元素类型或显式复制元素。