类构造函数中的 ArrayList 字段

Question

我目前正在学习初级 Java，并且在将 ArrayList 用作构造函数中的参数时遇到问题。

当我必须在类构造函数中初始化一个ArrayList 时，我通常会这样写（为了这个例子，假设我想创建一个整数的ArrayList 作为类字段）。

public class Example {

    private ArrayList<Integer> myList;

    public Example(ArrayList<Integer> myInts){
        this.myList = myInts;
    }
       
}

但是，当我看到人们在教程或教科书中做同样的事情时，他们会编写以下代码：

public class Example {

    private ArrayList<Integer> myList;

    public Example(int myInts){
        this.myList = new ArrayList<>();
        addIntegers(myInts);
    }
 
    public void addIntegers(int myInts){
        this.myList.add(myInts);
    }
      
}

这两个例子有区别吗？我认为我的方法是错误的，但实际上运行这两个版本给了我相同的结果（根据我的有限理解），所以我很难掌握这两个变体的区别。

Answer 1

有区别，是的。在呈现的代码中，可以像这样调用构造函数：

ArrayList<Integer> values = new ArrayList<>(List.of(1, 2, 3, 4));
Example example = new Example(values);

对象构造完成后，调用方仍然可以访问values，即example使用的内部数据结构。通过操纵此数据结构，调用方可能会使example 处于意外状态并导致问题。

为了防止此类问题，我们通常不会直接使用从外部传入的引用类型来获取内部状态，而是生成它们的副本。本质上，这就是第二个示例所做的。如果我们仍然想将List 作为参数传递给构造函数，我们可以复制列表：

public class Example {

    private ArrayList<Integer> myList;

    public Example(Collection<Integer> myInts) {
        this.myList = new ArrayList<>(Objects.requireNonNull(myInts));
    }

    public Example(Integer... myInts) {
        this(Arrays.asList(Objects.requireNonNull(myInts)));
    }

    public Example(int... myInts) {
        this(Arrays.stream(Objects.requireNonNull(myInts))
                .boxed()
                .collect(Collectors.toList()));
    }           
}

现在，如果调用方改变了传递给构造函数的List，Example-instance 中的内部数据结构不会受到影响，因为它在原始列表的副本上运行。

备注：如果列表类型是可变的，那么复制列表通常是不够的；我们将不得不深度复制列表（即创建每个列表条目的副本）。这 - 通常 - 在 Java 中是不可能的。