Java 中使用 addAll 超过 Set 的 ConcurrentModification 异常

Question

我对 Java 应用程序中刚刚遇到的一个问题感到非常困惑。

当我尝试运行下面给出的代码时，Java 在“if ( this.vertexStore.get ( v ).addAll ( output ) )”行上引发 ConcurrentModificationException。

考虑到这是一个完全单线程的应用程序，而且据我所知，我实际上并没有修改我正在循环的任何内容，我觉得这很奇怪？

事实上，我能看到发生错误的唯一地方是在 addAll 方法内部，但这也不应该发生，因为我正在使用 Java 类库中的 HashMap 和 LinkedList...

private Queue<Vertex> worklist = new LinkedList<Vertex> ( );
protected Map<Vertex, Set<T>> vertexStore = new HashMap<Vertex, Set<T>> ( );

// . . .

while ( this.worklist.size ( ) > 0 ) {
        Vertex vertex = this.worklist.remove ( );

        Set<T> output = this.processVertice ( vertex, this.vertexStore.get ( vertex ) );

        this.vertexStore.put ( vertex, output );

        for ( Vertex v : vertex.edgesTo ( ) ) {
            // Conveniently, addAll returns true if the set changed
            if ( this.vertexStore.get ( v ).addAll ( output ) )
                this.worklist.add ( v );
        }
    }

编辑：错误跟踪：

Exception in thread "main" java.util.ConcurrentModificationException
    at java.util.HashMap$HashIterator.nextEntry(HashMap.java:793)
    at java.util.HashMap$KeyIterator.next(HashMap.java:828)
    at java.util.AbstractCollection.addAll(AbstractCollection.java:305)
    at DataFlowAnalyser.process(DataFlowAnalyser.java:41) (the if line)

任何好的想法都是非常欢迎！

PS：完整源代码此处（抱歉缺少注释，代码未完成）

干杯， 乔恩

Answer 1

您正在调用 addAll 并传递对 Set 本身的引用。如果您通过代码进行调试，您将看到 this.vertexStore.get(v) 返回与输出变量引用的对象相同的对象。

通常这对于 HashSet 来说不是问题，因为如果您只是添加所有相同的元素，则 addAll 实际上不会修改 HashSet 的状态。然而，在这种情况下，您在将 HamiltonPath 的实例添加到集合后对其进行修改，这反过来会更改它们的哈希代码，并使 HashSet 认为要添加的对象与其已有的对象不同。

这是一些比我的散文更好地说明问题的代码：

List<String> list1 = Arrays.asList("foo");
List<String> list2 = Arrays.asList("bar");
Set<List<String>> set = new HashSet<List<String>>();
set.add(list1);
set.add(list2);
list1.add("baz"); 
list2.add("qux");
set.addAll(set); // throws ConcurrentModificationException

Answer 2

你的代码会中断，因为你在迭代集合时修改了集合，而 java 不喜欢它。如果您想这样做，请使用 ConcurrentHashMap，它使用与标准映射不同类型的迭代器。