为什么这段Java代码会触发ConcurrentModificationException？

在循环的第一行中，我收到错误，但我不明白为什么。根据我的阅读，只有当我迭代一个集合并尝试同时修改它时，才会发生这种情况，但事实并非如此。

在代码中，list属于类型ArrayList<Product>.

void mergeSort() { 
    mergeSort(0, list.size() - 1); //128
}

private void mergeSort(int p, int r) {
    if (p < r) {
        int q = (p + r) / 2;
        mergeSort(p, q); //133
        mergeSort(q + 1, r);
        merge(p, q, r); //135
    }
}

private void merge(int p, int q, int r) {
    List<Product> left = list.subList(p, q);
    left.add(Product.PLUS_INFINITE);
    List<Product> right = list.subList(q + 1, r);
    right.add(Product.PLUS_INFINITE);
    int i = 0;
    int j = 0;
    for (int k = p; k <= r; ++p) {
        Product x = left.get(i).compareTo(right.get(j)) <= 0 ? left.get(i++) : right.get(j++); //147
        list.set(k, x);
    }
}

这是堆栈跟踪：

Exception in thread "main" java.util.ConcurrentModificationException
    at java.base/java.util.ArrayList$SubList.checkForComodification(ArrayList.java:1415)
    at java.base/java.util.ArrayList$SubList.get(ArrayList.java:1150)
    at ProductList$ProductSort.merge(MainClass.java:147)
    at ProductList$ProductSort.mergeSort(MainClass.java:135)
    at ProductList$ProductSort.mergeSort(MainClass.java:133)
    at ProductList$ProductSort.mergeSort(MainClass.java:128)
    at ProductList.sort(MainClass.java:95)
    at MainClass.main(MainClass.java:187)

subList不会创建与指定范围内的原始列表具有相同元素的新列表。相反，它创建了一个“视图”（docs https://docs.oracle.com/javase/8/docs/api/java/util/List.html#subList-int-int-):

返回此列表的一部分的视图 [...]。返回的列表受此列表支持，因此返回列表中的非结构性更改会反映在此列表中，反之亦然。

另请注意：

如果支持列表（即此列表）以除返回列表之外的任何方式进行结构修改，则此方法返回的列表的语义将变得不确定。

这正是你正在做的merge。您正在创建子列表left。然后修改left结构上与add。到目前为止，一切都很好。但后来你创建了另一个子列表right并修改it以及。这使得“语义left变得未定义”。这会导致下一次调用get抛出异常。

最小可重现示例：

ArrayList<String> list = new ArrayList<>(List.of("1", "2", "3", "4"));
List<String> left = list.subList(0, 2);
List<String> right = list.subList(2, 4);
right.add("5");
left.get(0);

在这方面，子列表有点像迭代器（你只能remove通过迭代器，如果通过原始列表删除，可能会抛出 CME https://stackoverflow.com/questions/18448671/how-to-avoid-concurrentmodificationexception-while-removing-elements-from-arr).

解决此问题的一种简单方法是创建子列表的副本，以便它们不再是“视图”，而实际上是独立的列表：

List<Product> left = new ArrayList<>(list.subList(p,q));
List<Product> right = new ArrayList<>(list.subList(q+1,r));