fail-fast 与 fail-safe机制

是什么：
集合框架中的Collection集合的两种应对并发修改的方法。
fail-fast
fail-fast的字面意思是“快速失败”。当我们在遍历集合元素的时候，经常会使用迭代器，但在迭代器遍历元素的过程中，如果集合的结构被改变的话，就会抛出异常，防止继续遍历。这就是所谓的快速失败机制。

public class Fast_Fail {
    public static void main(String[] args) {
        ArrayList<Integer> list = new ArrayList<>();
        for (int i = 0; i < 10; i++) {
            list.add(i);
        }
        Iterator<Integer> iterator = list.iterator();
        int temp = 0;
        while(iterator.hasNext()){
            if (temp++ == 3) list.remove(3);
            else System.out.println(iterator.next());
        }
    }
}

结果分析：因为当temp==3的时候，执行list.remove(3)方法，集合的结构被改变了，所以再次遍历迭代器的时候，就会抛出异常。

为什么抛出异常
在ArrayList 的 抽象父类AbstractList中维护了一个 modCount变量。在每次对容器操作时候就会将modCount+1。
迭代器初始化时有一个int expectedModCount = modCount的操作。

迭代器指针向后移动时会检查

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

因为list.remove(3)操作会修改modCount的数字，所以抛出了异常。
这就是fast-fail机制。

如何在遍历时remove/add
阿里巴巴Java开发手册中有这点

使用普通for循环不会有这中问题出现

但使用普通for循环连续删除集合中的元素时需注意下面一个问题：

for (int i=list.size()-1;i>=0;i--){
            list.remove(i);
        }

注意不能这样使用，因为list.size()随时在变，将得到一个不正确的结果

for (int i=0;i<list.size();i++){
            list.remove(i);
        }

因为在你删除集合中数据的同时其size()的值也会发生变化

fail-safe
采用安全失败机制的集合容器，在遍历时不是直接在集合内容上访问的，而是先复制原有集合内容，在拷贝的集合上进行遍历。

原理：由于迭代时是对原集合的拷贝进行遍历，所以在遍历过程中对原集合所作的修改并不能被迭代器检测到，所以不会触发Concurrent Modification Exception。

缺点：基于拷贝内容的优点是避免了Concurrent Modification Exception，但同样地，迭代器并不能访问到修改后的内容，即：迭代器遍历的是开始遍历那一刻拿到的集合拷贝，在遍历期间原集合发生的修改迭代器是不知道的。

ArrayList使用fail-fast机制自然的英明因为它增强了数据的安全性但在某些场景，我们可能想避免。fail-fast机制产生的错误，我们这时就要将ArrayList替换为使用故障安全机制的CopyOnWriteArrayList。