Java 10工厂方法的复制适用于构造函数中的防御性复制吗

Question

当实现具有由给定给构造函数的集合初始化的聚合的不可变类时，构造函数必须生成集合的防御性副本，以防止调用方随后更改聚合。

在Java 10之前，这将导致如下代码：

class Thing
{
   private final List<Widget> widgets;

   public Thing(List<Widget> widgets) {
      this.widgets = Collections.unmodifiableList​(new ArrayList<>(widgets));
   }

   public List<Widget> getWidgets() {
      return widgets;
   }
}

Java 10添加了list.copyof()和friends，它们创建了给定集合的不可修改副本。这意味着对于Java 10+，我们可以编写如下代码：

class Thing
{
   private final List<Widget> widgets;

   public Thing(List<Widget> widgets) {
      this.widgets = List.copyOf(widgets);
   }

   public List<Widget> getWidgets() {
      return widgets;
   }
}

我说的对吗？

Answer 1

令人沮丧的是，copyof的语义意味着它不适合在典型构造函数中创建防御性副本。问题是

如果给定的集合是不可修改的列表，则调用copyOf一般不会创建副本。

这意味着，如果给定的集合实际上是可修改的集合的不可修改的修饰符，则使用copyof不会提供防止对给定的集合进行后续修改的保护。以下代码将更改对象的聚合：

final List<Widget> widgets = new ArrayList<>();
widgets.add(widget1);
...
final Thing thing = new Thing(Collections.unmodifiableList(widgets));
...
widgets.add(widget2);