ArrayList在foreach正常迭代删除不报错的原因

一、背景

在以前的随笔中说道过ArrayList的foreach迭代删除的问题：ArrayList迭代过程删除问题

按照以前的说法，在ArrayList中通过foreach迭代删除会抛异常：java.util.ConcurrentModificationException

但是下面这段代码实际情况却没报异常，是什么情况？

     List<String> list = new ArrayList<String>();
         list.add("1");
         list.add("2");
         for (String item : list) {
             System.out.println("item:" + item);
             if ("1".equals(item)) {
                 list.remove(item);
             }
         }

二、分析

我们知道ArrayList的foreach迭代调用的是ArrayList内部类Itr，Itr源码如下：

     private class Itr implements Iterator<E> {
         int cursor;       // index of next element to return
         int lastRet = -1; // index of last element returned; -1 if no such
         int expectedModCount = modCount;
 
         public boolean hasNext() {
             return cursor != size;
         }
 
         @SuppressWarnings("unchecked")
         public E next() {
             checkForComodification();
             int i = cursor;
             if (i >= size)
                 throw new NoSuchElementException();
             Object[] elementData = ArrayList.this.elementData;
             if (i >= elementData.length)
                 throw new ConcurrentModificationException();
             cursor = i + 1;
             return (E) elementData[lastRet = i];
         }
 
         public void remove() {
             if (lastRet < 0)
                 throw new IllegalStateException();
             checkForComodification();
 
             try {
                 ArrayList.this.remove(lastRet);
                 cursor = lastRet;
                 lastRet = -1;
                 expectedModCount = modCount;
             } catch (IndexOutOfBoundsException ex) {
                 throw new ConcurrentModificationException();
             }
         }
 
         final void checkForComodification() {
             if (modCount != expectedModCount)
                 throw new ConcurrentModificationException();
         }
     }

按照调用顺序查看源码

1.hasNext

ArrayList的foreach迭代首先调用的是ArrayList内部类Itr的hasNext()，该方法会对当前循环指针和长度做判断。只有当hasNext()返回true才会执行foreach里面的代码，cursor = size时候就退出循环（因为这两者相等意味着都遍历完了，假如ArrayList的size=2，那么hasNext会被调用3次，但是第3次调用不会执行foreach里面代码）。

2.如果上一步返回true的话会执行Itr的next()，如果数据无异常的话 cursor = i + 1;所以没执行一次next()时cursor都会+1

3.接着会执行到 list.remove(item),此处调用的是ArrayList的remove(Object o)而不是Itr的，看下ArrayList的remove()的源码：

 public boolean remove(Object o) {
         if (o == null) {
             for (int index = 0; index < size; index++)
                 if (elementData[index] == null) {
                     fastRemove(index);
                     return true;
                 }
         } else {
             for (int index = 0; index < size; index++)
                 if (o.equals(elementData[index])) {
                     fastRemove(index);
                     return true;
                 }
         }
         return false;
     }

o ！= null,会进入else的fastRemove(index);可以看到ArrayList根据传入的值删除会进行遍历equals判断,找到索引再通过fastRemove(index)删除，因此List频繁做删除修改效率比较低。

4.再看下fastRemove()源码：

    */
     private void fastRemove(int index) {
         modCount++;
         int numMoved = size - index - 1;
         if (numMoved > 0)
             System.arraycopy(elementData, index+1, elementData, index,
                              numMoved);
         elementData[--size] = null; // clear to let GC do its work
     }

第8行会把该索引对应的数组的值置为null,并且size-1。但是却没有进行 cursor - 1操作

至此明白了。此处的ArrayList通过foreach迭代删除为什么不会报错：

刚开始ArrayList的size=2时,cursor =0

①第一次hasNext()进来,cursor != size进入next()后cursor=1,接着因为满足条件删除的时候size-1=1;

②第二次hasNext()进来，cursor = size = 1，所以不会执行foreach的代码，也不会出现后面检测modCount值抛ConcurrentModificationException

上述未抛异常的情况主要是hasNext()中判断遍历完成的条件与ArrayList删除后的数据刚好吻合而已。

所以只要满足条件：删除的元素在循环时的指针cursor+1=size就会出现这种情况！删除ArrayList倒数第二个（即第 size - 1个元素）就会出现不抛异常的假象。

（例如size=3,删除第2个元素；size=4,删除第3个元素）

因为删除后size-1=cursor

public boolean hasNext() {

return cursor != size;

}

hasNext()会返回false,不会进入ArrayList的迭代器，就不会进入 next() 执行checkForComodification()

这是一种条件判断下的特殊情况，其他情况都会抛出异常，所以不要在foreach进行删除数据。请在迭代器中进行删除。