快速失败and安全失败
快速失败:
举个栗子:
public static void main(String[] args) { ArrayList<String> list=new ArrayList<>(); list.add("包龙星"); list.add("常威"); list.add("来福"); list.add("豹子头"); list.add(null); Iterator<String> iterator=list.iterator(); while (iterator.hasNext()){ String s=iterator.next(); if(s.equals("常威")); list.remove("常威"); } }
运行结果:
Exception in thread "main" java.util.ConcurrentModificationException at java.util.ArrayList$Itr.checkForComodification(ArrayList.java:909) at java.util.ArrayList$Itr.next(ArrayList.java:859) at com.Collection.ArrayListTest.main(ArrayListTest.java:23)
jdk上异常解释:某个线程在 Collection 上进行迭代时,通常不允许另一个线性修改该 Collection。通常在这些情况下,迭代的结果是不确定的。如果检测到这种行为,一些迭代器实现(包括 JRE 提供的所有通用 collection 实现)可能选择抛出此异常。执行该操作的迭代器称为快速失败 迭代器,因为迭代器很快就完全失败,而不会冒着在将来某个时间任意发生不确定行为的风险。
也就是说当我们通过迭代器遍历集合时,如果直接通过集合增删了集合中的元素,就会抛出ConcurrentModificationException,称为快速失败!
源码分析:(注意重点红色标记)
Iterator部分源码:
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; Itr() {} 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]; }
checkForComdification方法
final void checkForComodification() { if (modCount != expectedModCount) throw new ConcurrentModificationException(); }
Arraylist的删除源码:
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
}
原理分析:迭代器第一次被调用时,会将一个modCount的值保存在expectedmodCount中,每当迭代器.next()操作遍历下一个元素之时,都会检查modCount变量是否为expectedmodCount值,集合在被遍历期间如果直接通过集合的方法改变集合内容,modCount++,进而导致下次进入.next()方法时匹配失败,抛出异常
ps:java.util包下面的所有的集合类都是快速失败的
安全失败:
采用安全失败机制的集合容器,在遍历时不是直接在集合内容上访问的,而是先复制原有集合内容,在拷贝的集合上进行遍历。
原理:由于迭代时是对原集合的拷贝进行遍历,所以在遍历过程中对原集合所作的修改并不能被迭代器检测到,所以不会触发Concurrent Modification Exception。
缺点:基于拷贝内容的优点是避免了Concurrent Modification Exception,但同样地,迭代器并不能访问到修改后的内容,即:迭代器遍历的是开始遍历那一刻拿到的集合拷贝,在遍历期间原集合发生的修改迭代器是不知道的。
java.util.concurrent包下的容器都是安全失败,可以在多线程下并发使用,并发修改。