Question

我实际上是在学习集合和异常，我无法理解为什么会这样：

List<Integer> intList = new ArrayList<Integer>(Arrays.asList(1,2,3,4,5,6,7,8,9,10));
for (Integer s : intList) {
     Collections.shuffle(intList);
     System.out.println(s);
 }

阅读文档，说明

检测到并发的方法可能抛出此异常在不允许进行此类修改时修改对象。

查看集合的源代码：

public static void shuffle(List<?> list) {
        if (r == null) {
            r = new Random();
        }
        shuffle(list, r);
}

所以我看一下shuffle函数：

public static void shuffle(List<?> list, Random rnd) {
        int size = list.size();
        if (size < SHUFFLE_THRESHOLD || list instanceof RandomAccess) {
            for (int i=size; i>1; i--)
                swap(list, i-1, rnd.nextInt(i));
        } else {
            Object arr[] = list.toArray();

            // Shuffle array
            for (int i=size; i>1; i--)
                swap(arr, i-1, rnd.nextInt(i));

            // Dump array back into list
            ListIterator it = list.listIterator();
            for (int i=0; i<arr.length; i++) {
                it.next();
                it.set(arr[i]);
            }
        }
    }

最后它调用交换函数：

public static void swap(List<?> list, int i, int j) {
        final List l = list;
        l.set(i, l.set(j, l.get(i)));
}

这不会在迭代时修改当前列表（或者这是因为这行final List l = list;）？我想我错过了一些重要的事情。

Answer 1

答案在于documentation - 强调我的：

（结构修改是添加或删除一个或多个元素的任何操作，或显式调整后备数组的大小; 仅设置元素的值不是结构修改。）

...

此类的迭代器和listIterator方法返回的迭代器是快速失败的：如果列表在创建迭代器后的任何时候被结构修改，除了通过迭代器自己的删除或添加方法，迭代器将抛出一个ConcurrentModificationException。因此，面对并发修改，迭代器会快速而干净地失败，而不是在未来不确定的时间冒着任意的，非确定性行为的风险。

shuffle只调用set，因此它没有执行结构修改，因此迭代器不会抛出异常。

Answer 2

 for (int i=size; i>1; i--)
   swap(list, i-1, rnd.nextInt(i));

这不是在这里迭代;没有涉及Iterator。在第二个分支中，它确实执行了所有修改到 Iterator，这就是你应该如何做以避免ConcurrentModificationException。

而Collections.shuffle（）不会抛出ConcurrentModificationException

2 个答案: