ConcurrentModificationException:如果不是第一个变量,为什么要删除List中的null会引发此异常

问题描述

我得到的代码片段运行正常。

import java.util.ConcurrentModificationException;
import java.util.*;

ArrayList<Object> s = new ArrayList<>();

s.add(null);
s.add("test");

try {
    System.out.println(s + "\n");
    for (Object t : s) {
        System.out.println(t);

        if (t == null || t.toString().isEmpty()) {
            s.remove(t);
            System.out.println("ObjectRemoved = " + t + "\n");
        }

    }

    System.out.println(s + "\n");
} catch (ConcurrentModificationException e) {
    System.out.println(e);
} catch (Exception e) {
    System.out.println(e);
}

但是更改之后

s.add(null);
s.add("test");

s.add("test");
s.add(null);

代码抛出ConcurrentModificationException

所以我的问题是,如果它是列表中的第一个对象,为什么不能删除null呢?如果它是第二个对象,为什么不能呢?

解决方法

首先要了解的是,代码是无效的,因为它在遍历列表时会在结构上修改列表,并且这是不允许的(注意:这是一个简单的简化,因为存在修改列表的可行方法,但是这不是其中之一)。

要了解的第二件事是ConcurrentModificationException会尽力而为:

快速迭代器会尽最大努力抛出ConcurrentModificationException。因此,编写依赖于此异常的程序的正确性是错误的:迭代器的快速失败行为应仅用于检测错误。

因此无效的代码可能会或可能不会引发ConcurrentModificationException,这实际上取决于Java运行时,并且可能取决于平台,版本等。

例如,当我在本地尝试[test,null,null]时,我没有例外,但结果也无效,[test,null]。这与您观察到的两种行为不同。

有几种方法可以修复代码,其中最常见的可能是to use Iterator.remove()

,

在最佳情况下,在两种情况中的任何一种情况下都应抛出ConcurrentModificationException。但这不是(请参阅下面文档的引言)。

如果使用for-each循环迭代Iterable,则将在内部使用由数据结构的Iterator方法返回的iterator()(for-each循环只是syntactic sugar)。

现在,您不应该(结构上)修改在创建该Iterable实例后进行迭代的Iterator(除非您使用{{1} }的Iterator方法)。这就是并行修改的含义:同一数据结构有两种不同的观点。如果从一个角度(remove())修改它,则另一个角度(Iterator)不会意识到这一点。

不是是该元素为list.remove(object)。如果您更改代码以删除字符串,也会发生同样的情况:

null

现在,在某些情况下此行为有所不同的原因很简单(来自Java SE 11 Docs for ArrayList):

此类的迭代器和listIterator方法返回的迭代器是快速失败的:如果在创建迭代器之后的任何时间对列表进行结构修改,则通过迭代器自身的remove或add方法,迭代器将抛出一个ConcurrentModificationException。因此,面对并发修改,迭代器会快速干净地失败,而不会在未来的不确定时间内冒任意,不确定的行为的风险。

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

,

发生此异常是由于在列表上进行迭代时使用remove元素。要解决此问题,您可以使用如下迭代器:

for (Iterator iterator = s.iterator(); iterator.hasNext(); ) {
    Object eachObject = iterator.next();
    if (eachObject == null || eachObject.toString().isEmpty()) {
        iterator.remove();
        System.out.println("ObjectRemoved = " + eachObject + "\n");
    }
}
,

发生奇怪的行为是由于实现了迭代器的方式。 for每个循环将使用ArrayList.iterator()遍历集合。

Iterator<Object> obj = s.iterator();

while(obj.hasNext()){
    Object t = obj.next();
    // the rest of the code you have.
}

在第一种可行的情况下,您的输出是

[null,测试]

ObjectRemoved = null
[测试]

这意味着跳过了最后一次迭代。从ArrayList源代码中,我们可以了解为什么会这样。

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

在您的第一次迭代中,next被调用,并且游标被更新为1。然后将null移除。在随后的对hasNext的调用中,光标等于大小,并且循环停止。 缺少最后一次迭代,但不抛出CME

现在,在第二种情况下。空值是列表中的最后一项,当循环再次开始时,将调用hasNext,它会返回真值,因为光标大于列表的大小!然后,在调用Iterator.next时发生CME。