一、背景
在以前的随笔中说道过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进行删除数据。请在迭代器中进行删除。