java - 在 Java 记录中强制执行不可变集合？

Question

Java 记录用于实现浅不可变的数据载体类型。如果构造函数接受可变类型，那么我们应该实现显式防御性复制以强制不变性。例如

record Data(Set<String> set) {
    public Data(Set<Thing> set) {
        this.set = Set.copyOf(set);
    }
}

这有点烦人 - 我们必须

实现一个老式的 POJO 构造函数(复制字段)而不是使用规范的构造函数和

显式初始化每个字段只是为了处理可变字段的防御性副本。

理想情况下，我们想要表达的是以下内容:

record SomeRecord(ImmutableSet<Thing> set) {
}

要么

record SomeRecord(Set<Thing> set) {
    public SomeRecord {
        if(set.isMutable()) throw new IllegalArgumentException(...);
    }
}

这里我们使用一个虚构的 ImmutableSet类型和 Set::isMutable方法，在任何一种情况下，记录都是使用规范构造函数创建的 - 很好。不幸的是它不存在!
据我所知，内置集合类型(在 Java 10 中引入)是隐藏的，即没有办法确定集合是否不可变(除了尝试修改它)。
我们可以使用 Guava，但是当 99% 的功能已经在核心库中时，这似乎有点过分了。或者，有 Maven 插件可以测试注释为不可变的类，但这又是一个创可贴而不是解决方案。
是否有任何纯 Java 机制来强制执行不可变集合？

Answer 1

你已经可以做到了，构造函数的参数是可变的:

record SomeRecord(Set<Thing> set) {
    public SomeRecord {
        set = Set.copyOf(set);
    }
}

一个 related discussion提到这个论点不是最终的，以允许这种防御性复制。确保 equals() 上的规则仍然是开发者的责任。进行此类复制时会保留。