集合根据集合的内容引发或不引发ConcurrentModificationException

Question

以下Java代码ConcurrentModificationException按预期抛出：

public class Evil
{
    public static void main(String[] args) {
        Collection<String> c = new ArrayList<String>();
        c.add("lalala");
        c.add("sososo");
        c.add("ahaaha");
        removeLalala(c);
        System.err.println(c);
    }
    private static void removeLalala(Collection<String> c) 
    {
        for (Iterator<String> i = c.iterator(); i.hasNext();) {
            String s = i.next();
            if(s.equals("lalala")) {
                c.remove(s);
            }
        }
    }
}

但是以下示例仅在的内容上有所不同Collection，执行时没有任何例外：

public class Evil {
    public static void main(String[] args) 
    {
        Collection<String> c = new ArrayList<String>();
        c.add("lalala");
        c.add("lalala");
        removeLalala(c);
        System.err.println(c);
    }
    private static void removeLalala(Collection<String> c) {
        for (Iterator<String> i = c.iterator(); i.hasNext();) {
            String s = i.next();
            if(s.equals("lalala")) {
                c.remove(s);
            }
        }
    }
}

打印输出“ [lalala]”。为什么ConcurrentModificationException在第一个示例执行时第二个示例却不抛出？

Answer 1

简短答案

因为不能保证迭代器的快速失败行为。

长答案

之所以会出现此异常，是因为除非通过迭代器，否则无法在迭代集合时操作集合。

坏：

// we're using iterator
for (Iterator<String> i = c.iterator(); i.hasNext();) {  
    // here, the collection will check it hasn't been modified (in effort to fail fast)
    String s = i.next();
    if(s.equals("lalala")) {
        // s is removed from the collection and the collection will take note it was modified
        c.remove(s);
    }
}

好：

// we're using iterator
for (Iterator<String> i = c.iterator(); i.hasNext();) {  
    // here, the collection will check it hasn't been modified (in effort to fail fast)
    String s = i.next();
    if(s.equals("lalala")) {
        // s is removed from the collection through iterator, so the iterator knows the collection changed and can resume the iteration
        i.remove();
    }
}

现在转到“为什么”：在上面的代码中，请注意如何执行修改检查-
删除操作将集合标记为已修改，并且下一次迭代检查所有修改，如果检测到集合已更改，则失败。另一个重要的事情是，ArrayList（不知道其他收藏品），并
不能 为您在修改hasNext()。

因此，可能会发生两个奇怪的事情：

• 如果在迭代时删除最后一个元素，则不会抛出任何内容
  • 那是因为没有“ next”元素，所以迭代在到达修改检查代码之前就结束了
• 如果删除倒数第二个元素，ArrayList.hasNext()实际上也会返回false，因为迭代器current index现在指向最后一个元素（以前的倒数第二个）。
  • 因此，即使在这种情况下，删除后也没有“ next”元素

请注意，所有这些都与ArrayList的文档一致：

注意，不能保证迭代器的快速失败行为，因为通常来说，在存在不同步的并发修改的情况下，不可能做出任何严格的保证。快速失败的迭代器会尽最大努力抛出ConcurrentModificationException。因此，编写依赖于此异常的程序的正确性是错误的：迭代器的快速失败行为应仅用于检测错误。