集合删除方法不给出并发修改异常

Question

我读过一篇关于从 this link 中删除集合中元素的文章

根据我的理解，迭代器删除方法可以防止并发修改异常，然后删除 Collection 的方法。但是当我尝试运行下面的代码时，我无法获得 concurrentmoficationexception

     List dayList= new ArrayList();
     dayList.add("Sunday");
     dayList.add("Monday");
     dayList.add("Tuesday");
     dayList.add("Wednesday");
     dayList.remove("Tuesday");
     Iterator itr=dayList.iterator();
        while(itr.hasNext())
        {
           Object testList=itr.next();
           if(testList.equals("Monday"))
             {
            dayList.remove(testList);

             }
    }
    System.out.println(dayList);
}

• 根据 javadoc，当我们在迭代期间尝试进行任何修改时，会引发 ConcurrentModicationException。我正在使用集合删除方法，但仍然没有异常。但是如果我评论行 dayList.remove("Tuesday") ;，抛出异常。

谁能解释这段代码背后发生了什么？

Answer 1

添加一个Thursday，您将再次开始收到异常:)

List dayList= new ArrayList();
dayList.add("Sunday");
dayList.add("Monday");
dayList.add("Tuesday");
dayList.add("Wednesday");
dayList.add("Thursday");    // Added by Kuldeep
dayList.remove("Tuesday");
Iterator itr=dayList.iterator();
while(itr.hasNext())
{
    Object testList=itr.next();
    if(testList.equals("Monday"))
    {
        dayList.remove(testList);
    }
}
System.out.println(dayList);

所以本质上这是因为 迭代器的快速失败行为无法得到保证。快速失败的迭代器会尽最大努力抛出 ConcurrentModificationException。 查看documentation here。

编辑：在您的情况下未引发异常是因为在以下代码中：

    if(testList.equals("Monday"))
    {
        dayList.remove(testList);
    }

您正在删除倒数第二个元素，这实际上将大小或 dayList 从 3 更改为 2。所以itr.hasNext()在Monday被从列表中删除后返回false，因此不会进入最后一个条目的循环，即Wednesday并避免调用itr.next()。您可以尝试调试代码以验证此行为。

Answer 2

如果我注释行 dayList.remove("Tuesday");，就会抛出异常......

其实这不是问题。问题是仅中间值发生异常。

“for each”循环的工作原理如下，

1.It gets the iterator.
2.Checks for hasNext().
public boolean hasNext() 
{
      return cursor != size(); // cursor is zero initially.
}
3.If true, gets the next element using next().

public E next() 
{
        checkForComodification();
        try {
        E next = get(cursor);
        lastRet = cursor++;
        return next;
        } catch (IndexOutOfBoundsException e) {
        checkForComodification();
        throw new NoSuchElementException();
        }
}

final void checkForComodification() 
{
    // Initially modCount = expectedModCount (our case 5)
        if (modCount != expectedModCount)
        throw new ConcurrentModificationException();
}

重复步骤 2 和 3 直到 hasNext() 返回 false。

如果我们从列表中删除一个元素，它的大小会减小，而 modCount 会增加。

如果我们在迭代时移除一个元素，modCount != expectedModCount 会得到满足并抛出 ConcurrentModificationException。

但是删除倒数第二个对象很奇怪。让我们看看它在您的情况下是如何工作的。

最初，

cursor = 0 size = 5 --> hasNext() succeeds and next() also succeeds without exception.
cursor = 1 size = 5 --> hasNext() succeeds and next() also succeeds without exception.
cursor = 2 size = 5 --> hasNext() succeeds and next() also succeeds without exception.
cursor = 3 size = 5 --> hasNext() succeeds and next() also succeeds without exception.

在您的情况下，当您删除 'd' 时，大小会减小到 4。

cursor = 4 size = 4 --> hasNext() does not succeed and next() is skipped.

在其他情况下，会抛出 ConcurrentModificationException 作为 modCount != expectedModCount.

在这种情况下，不会进行此检查。

如果您尝试在迭代时打印元素，则只会打印四个条目。最后一个元素被跳过。

您的问题类似于this 问题。

Answer 3

无法保证迭代器的快速失败行为。快速失败的迭代器会尽最大努力抛出 ConcurrentModificationException。迭代器可能会也可能不会检测到无效使用。因此，编写一个依赖此异常的正确性的程序是错误的：迭代器的快速失败行为应仅用于检测错误。