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 去做:
底层怎么走,自己尝试调试一下,博主就不多讲解了。