ConcurrentModificationException：fail-fast 机制

fail - fast 是快速失败的意思（并发修改异常），这种异常怎么出现呢？

1.先带你看一下几个例子：（会报错吗？）

小白可能猜会，但实质情况怎么样呢：

2. 再举个例子：

会报错吗？我想，小白同学又猜错了（不会），答案请看：

3. 例子三，这种情况呢？

我就不问结果了，怕小白又猜错，打击信心：

是不是有点颠覆想象。我就不举例了，直接带你走进fail -fast 机制世界一看究竟：

• 首先我们看一下add()方法做了什么操作。

list1.add("菜鸟");

建对象时可以看到modCount = 0;

然后每一次add() 后 modCount 都会++

也就是说add() 三次后，modCount = 3，当代码走到断点位置时，又是怎么样的呢？


new 了一个 Itr() 对象，并把modCount 赋值给 expectedModCount

• 但它执行到remove()，又做了什么？

• 可以看到remove 时进入了 fastRemove() 方法，我们进去看看里面隐藏了什么不为人知的秘密：

原来modCount 记录的是修改次数，remove() 方法把原来的3 变成了 4，因为代码break ，所以你看不到任何效果，结果正常输出，但是如果把break；注释掉后，就会出现例子2的情况了。没有break，代码怎么走呢？带着这个疑问，我们继续探索：

原本size =3 ,remove后size = 2，这个没有疑问，但循环到这一步时，底层时怎么操作呢？

判断是否有下一个元素，cursor =1 ,size =2 返回true ,执行next(）方法：（checkForComodification()点进去看一下）

原来问题出现在这里，因为remover 把 modCount 从3更改了4，类初始化时 expectedModCount = 3,两者不相等，所以抛出了并发修改异常。

• 例子2和3 的原因都知道了，那么例子1为什么不会抛出异常呢，断点继续查看：

当remove 后size 由原来的 3 变成了2 ，此时遍历的下标时1：

        for (String str : list1) {
            if (str.equals("菜虫")) {
                list1.remove(str);
//                break;
            }
        }

等同于（此时 i = 1，size = 2）

        for(int i=0;i<list1.size();i++){
            String str = list1.get(i);
            if (str.equals("菜虫")) {
                list1.remove(str);
//                break;
            }
        }

当继续判断hashNext(） 是，自然不会有下一个next()，因此next(）方法不进入，就不会进checkForComodification(）方法，也就不会报并行修改异常。

• 那么为什么迭代器删除可以呢？查看源码可以发现，迭代器进行remover 时，modCount = expectedModCount
  
  最后做remover 操作，我们可以用java 8新特性removeif 去做：
  
  底层怎么走，自己尝试调试一下，博主就不多讲解了。