ConcurrentModificationException

小记一个问题，同事之前的写的代码应用跑的好好，今天突然不行了，报java.util.ConcurrentModificationException,虽然看到这个异常的时候，很快就能定位到原因，集合在循环体中直接删除了，下面用一个小例子模拟下当时的环境：

 

public static void main(String[] args) {

		ArrayList<String> lst = new ArrayList<String>();
		lst.add("a");
		lst.add("b");
		lst.add("c");
		lst.add("d");
		for(String s:lst){
			if(s.equals("c")){
				lst.remove(s);
			}
		}
}

 以上代码在运行的时候不会抛任何异常。 如果改成 s.equals("a")或者其他“b”,“d” 都会报错。

 

下面分析其中的原因：上面的for循环，其实java在运行的时候还是调用了Iterator来循环语句的。

如下

for(Iterator<String> it = lst.iterator();it.hasNext();){
       String t = it.next();
        if(t.equals("c")){
             lst.remove(t);
        }
}

 所以看的时候根据这个更便于debug。查看源码可以看到在ArrayList的父类Abstract中的iterator()函数返回的是new Itr(),而这个Itr是内部实现了Iterator的一个私有内部类。

其中有三个重要的属性：

cursor、lastRet、execptrfModCount

其中实例化的时候

	int cursor = 0;
	int lastRet = -1;
	int expectedModCount = modCount;

 

 

modCount是AbstractList中记录对象中的原始被修改的次数。

回到上面的例子。此时expectedModCount = modCount=4;当循环if为true时，即s.equals("c"）的时候此时的cursor=3,在执行lst.remove("c")后，此时size=3. 下面看下hasNext的源码。

 

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

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

 此时hasNext()函数讲返回false,那么就会退出for循环。代码显然不会报错。但是如果在lst中追加了其他对象后，程序就会出现上面的异常了，出异常的点位在 next中的checkForComodification()函数。

	final void checkForComodification() {
	    if (modCount != expectedModCount)
		throw new ConcurrentModificationException();
	}
    }

 就是比较了modCount是否与expectedModCount一致。

 

但是为什么如果我们用迭代器的remove不会报错呢？

	public void remove() {
	    if (lastRet == -1)
		throw new IllegalStateException();
            checkForComodification();

	    try {
		AbstractList.this.remove(lastRet);
		if (lastRet < cursor)
		    cursor--;
		lastRet = -1;
		expectedModCount = modCount;
	    } catch (IndexOutOfBoundsException e) {
		throw new ConcurrentModificationException();
	    }
	}