java|快速失败与安全失败

最近复习集合的时候复习到的两个概念,原来确实没接触过,前不久在项目中还碰到了相关的问题,那时只是了解了一下为会抛出java.util.ConcurrentModificationException异常。今天看到这个概念了就再次记录一下。
首先明确一下,快速失败和安全失败都是针对迭代器来说的概念,下面是一些解析

快速失败fast-fail
  • 现象:
    在使用迭代器遍历集合对象时,如果在遍历的过程中对集合中的元素进行了修改就会抛出ConcurrentModificationException异常
  • 原理:
    我们集合中有一个modCount变量,在我们对集合进行修改(增加、删除、修改)操作的时候就会改变这个变量的值,当我们使用迭代器进行集合遍历时,我们在获得迭代器对象的就会对得带器内部的expectedModCount进行初始化,初始值就是我们modCount。
    在使用迭代器进行遍历的时候,我们每次都会检查这两个count的值,如果不相等就会直接抛出上述的异常了。
    public E next() { checkForComodification(); int i = cursor; if (i >= size) throw new NoSuchElementException(); Object[] elementData = https://www.it610.com/article/ArrayList.this.elementData; if (i>= elementData.length) throw new ConcurrentModificationException(); cursor = i + 1; return (E) elementData[lastRet = i]; }final void checkForComodification() { if (modCount != expectedModCount) throw new ConcurrentModificationException(); }

  • 场景:
    我们的java.util包下的集合都是快速失败的
  • 特别说明:
    这里要说明一点,就是在叙述现象的时候我们提高对集合进行增删改会导致快速失败,实际上这个说法是有BUG的,比如我们在对ArrayList进行元素修改时并不会抛出异常,
    public E set(int index, E element) { rangeCheck(index); E oldValue = https://www.it610.com/article/elementData(index); elementData[index] = element; return oldValue; }

    这是ArrayList修改元素的源码,可以看到并没有对modCount进行操作,所以在使用迭代器遍历的过程中如果使用set方法修改元素是不会抛出异常的.比如下面代码就不会抛出异常
    public static void main(String[] args) { List res = new ArrayList<>(); res.add(1); res.add(2); res.add(3); Iterator iterator = res.iterator(); while (iterator.hasNext()) { System.out.println(iterator.next()); res.set(2, 5); } System.out.println(res); }

安全失败safe-fail
【java|快速失败与安全失败】我们JUC包下的集合都是安全失败的,因为JUC包下的集合在使用迭代器进行遍历时,会复制一个当前集合的快照,然后对这个快照进行遍历操作,所以原来的集合发生什么变化并不会影响到我们现在遍历的操作。

    推荐阅读