而Collections.shuffle()不会抛出ConcurrentModificationException

use*_*315 1 java collections

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

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);
 }
Run Code Online (Sandbox Code Playgroud)

阅读文档,它说

当不允许这样的修改时,检测到对象的并发修改的方法可能抛出此异常.

查看集合的源代码:

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

所以我看一下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]);
            }
        }
    }
Run Code Online (Sandbox Code Playgroud)

最后它调用swap函数:

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

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

Jon*_*eet 6

答案在于文档 - 强调我的:

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

...

此类的iterator和listIterator方法返回的迭代器是快速失败的:如果在创建迭代器之后的任何时候对列表进行结构修改,除了通过迭代器自己的remove或add方法之外,迭代器将抛出ConcurrentModificationException.因此,在并发修改的情况下,迭代器快速而干净地失败,而不是在未来的未确定时间冒任意,非确定性行为的风险.

shuffle只调用set,因此它不执行结构修改,因此迭代器不会抛出异常.