为什么这里没有抛出 ConcurrentModificationException ？

Question

看看这段小代码：

ArrayList al = new ArrayList();
al.add("AA");
al.add("AB");
al.add("AC");
Iterator it = al.iterator();
while(it.hasNext()){
String s = (String)it.next();
if(s.equals("AB")){
al.remove(1);
}
}

由于 ArrayList 具有快速失败迭代器，而且很明显，给定的 ArrayList 不是由固定大小的数组组成（这会使 remove() 方法不可用） ，上面的代码应该抛出了ConcurrentModificationException，但是是的，它没有。

另外，如果我在循环中插入一个打印语句（作为第一条语句），它表明循环没有第三次迭代并且它优雅地退出。

我知道这听起来太愚蠢了，但我能错误地想到的唯一原因是元素的删除发生在元素已被迭代器。但事实并非如此，因为 modificationCount 仍被删除修改，因此它必须抛出异常。

只是在做

while(it.hasNext()){
it.next();
al.remove(1);
}

虽然会抛出 ConcurrentModificationException。

有什么见解吗？

Answer 1

仅在迭代器的 next() 调用期间检查并发修改，而不是在其 hasNext() 调用期间进行，如 Bubletan's answer 中所述。

java documentation for ArrayList 明确指出，

快速失败的迭代器在 a 上抛出 ConcurrentModificationException 尽力而为的基础。因此，编写程序是错误的 这取决于此异常的正确性：快速失败 迭代器的行为应该只用于检测错误。

因此，在迭代时修改集合是一种错误的编程习惯。

Answer 2

这是因为hasNext() 方法没有检查modCount：

public boolean hasNext() {
    return cursor != size;
}

所以，在调用remove(1) 之后，列表的大小将和光标一样为2，hasNext() 将返回false。 next() 方法永远不会被调用，modCount 永远不会被检查。

如果您在迭代之前将第四个元素添加到列表中，您将获得与第二个示例类似的异常。