java - 为什么从非同步集合读取时会发生 ConcurrentModificationException

Question

这个问题已经有答案了:

How does an Iterator in Java know when to throw ConcurrentModification Exception (1 个回答)

已关闭 4 年前。

我正在阅读 Brian Goetz 的 Java Concurrency in Practice。我在第 83 和 84 页上讨论了 ConcurrentModificationException。具体来说，他描述了如果有一个 Activity 迭代器迭代集合并且在该集合上调用另一个迭代器，那么 ConcurrentModificationException 会如何发生。

他给出了这段代码:

public class HiddenIterator{

    @GuardedBy("this")
    private final Set<Integer> set = new HashSet<Integer>();

    public synchronized void add(Integer i){ set.add(i); }
    public synchronized void remove(Integer i){ set.remove(i); }

    public void addTenThings(){
        Random r = new Random();
        for(int i = 0; i < 10; i++)
            add(r.nextInt());
        System.out.println("DEBUG: added ten elements to set " + set)
    }
}

他注意到 println 语句中的字符串连接实际上是一个迭代器。我想知道的是这里的快速失败行为是如何工作的，因为这里的迭代器不会修改集合。它只读取集合而不触及集合的状态。当有另一个迭代器在集合上操作时，为什么会抛出 ConcurrentModificationException？它显然与异常的名称相矛盾，异常的名称表示并发修改。

显然，即使在读取时也抛出 ConcurrentModificationException 的选择与 Iterator 的实现细节有关。为什么选择这个实现？如果有人能够勾勒出这个实现的细节，即使在读取时也会导致 ConcurrentModificationException 抛出，那就太好了。

Answer 1

What I want to know is how the fail-fast behavior here works, since the iterator here does not modify the collection.

在迭代期间，有人调用 add 或 remove 可能会修改该集合，因为 addTenThings 未同步。在这种情况下，迭代可能会抛出 ConcurrentModificationException。请记住，所有读取和写入都必须由同一锁保护。