小记一个问题,同事之前的写的代码应用跑的好好,今天突然不行了,报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来循环语句的。
如下
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();
}
}