我有一个关于不可变集合的一般性问题。我将使用 Java 作为我最了解的参考语言。
首先，是否有确保不变性的通用方法？我的意思是是否应该复制整个集合，进行更改然后返回新对象？有没有更复杂、更通用的方法？
更进一步，“明显的”（对我而言）可变集合（例如树）呢？通常它们被实现为具有 N 个子节点的节点。在这种情况下，您将如何保证不变性？递归地克隆和复制所有引用？
根据上述内容，我想知道这些集合的最佳方法是什么：
非常感谢您的回复。
令人高兴的是，已经为您完成了大部分工作，请查看具有ImmutableCollection、ImmutableList、ImmutableSet、ImmutableMap等的google guava 。
通过防止这些类的子类（通过使它们成为最终的，或使它们的构造函数私有）来确保不变性。
当您从可变集合创建不可变集合时，将复制可变集合中的数据，然后不允许所有突变操作 - 它们将引发异常（UnsupportedOperationException例如）。
出于性能原因，如果不需要，guava 库会尽量不复制数据。例如，如果您已经有一个ImmutableMap, 并用 新建一个ImmutableMap.copyOf(theOtherImmutableMap)，则不会复制任何数据，因为我们已经知道另一个映射是不可变的，因此可以对同一数据进行两次引用。
就 Java 而言，Collections 实用程序类是您的朋友。我建议不要手动执行这些操作，而是使用给定的 API。特别注意不可变和不可修改的方法。
例如，就不可变而言，有：
<T> List<T>
emptyList()
Returns the empty list (immutable).
static
<K,V> Map<K,V>
emptyMap()
Returns the empty map (immutable).
static
<T> Set<T>
emptySet()
Returns the empty set (immutable).
对于不可修改的，您有：
static
<T> Collection<T>
unmodifiableCollection(Collection<? extends T> c)
Returns an unmodifiable view of the specified collection.
static
<T> List<T>
unmodifiableList(List<? extends T> list)
Returns an unmodifiable view of the specified list.
static
<K,V> Map<K,V>
unmodifiableMap(Map<? extends K,? extends V> m)
Returns an unmodifiable view of the specified map.
static
<T> Set<T>
unmodifiableSet(Set<? extends T> s)
Returns an unmodifiable view of the specified set.
static
<K,V> SortedMap<K,V>
unmodifiableSortedMap(SortedMap<K,? extends V> m)
Returns an unmodifiable view of the specified sorted map.
static
<T> SortedSet<T>
unmodifiableSortedSet(SortedSet<T> s)
您可以在下面实施其他策略和一些策略，但我将从那里开始。