快速失败与安全失败

最近复习集合的时候复习到的两个概念，原来确实没接触过，前不久在项目中还碰到了相关的问题，那时只是了解了一下为会抛出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 = 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 = elementData(index);
      elementData[index] = element;
      return oldValue;
  }
  

  这是ArrayList修改元素的源码，可以看到并没有对modCount进行操作，所以在使用迭代器遍历的过程中如果使用set方法修改元素是不会抛出异常的.比如下面代码就不会抛出异常

  public static void main(String[] args) {
      List<Integer> res = new ArrayList<>();
      res.add(1);
      res.add(2);
      res.add(3);
      Iterator<Integer> iterator = res.iterator();
      while (iterator.hasNext()) {
          System.out.println(iterator.next());
          res.set(2, 5);
      }
      System.out.println(res);
  }
  

安全失败safe-fail

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