在 Java 记录中强制实施不可变集合？

immutability java java-16 java-record

2022-09-04 07:54:40

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

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

这很烦人 - 我们必须

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

record SomeRecord(ImmutableSet<Thing> set) {
}

或

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

在这里，我们使用虚构的类型和方法，在任何一种情况下，记录都是使用规范构造函数创建的 - nice。不幸的是，它不存在！ImmutableSetSet::isMutable

据我所知，内置的集合类型（在Java 10中引入）是隐藏的，即没有办法确定集合是否不可变（除了尝试修改它）。

我们可以使用番石榴，但是当99%的功能已经在核心库中时，这似乎有些过分了。或者，有一些Maven插件可以测试注释为不可变的类，但这确实是一个创可贴而不是解决方案。

是否有任何纯 Java 机制来强制实施不可变的集合？

答案 1

你已经可以这样做了，构造函数的参数是可变的：

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

一个相关的讨论提到，为了允许这种防御性复制，该论点不是最终的。开发人员仍然有责任确保在进行此类复制时保留规则。equals()

答案 2