- 集合的fail-fast:一种错误检测机制;
- ConcurrentModificationException(CME)
当多个线程对部分集合进行结构上的改变操作时,有可能会产生fail-fast机制,会抛出ConcurrentModificationException(CME);
当检测到对象的并发修改,但不允许这种修改时就抛出该异常;
一个Case
- foreach循环里对集合元素进行remove/add操作,会触发fail-fast,抛出CMException;
- foreach反编译,foreach其实是依赖了while循环和Iterator实现的;
iterator.next()方法中抛出
final void checkForComodification () {
if (modCount != expectedModCount)
throw new ConcurrentModificationException();
}
- modCount:是ArrayList中的一个成员变量,表示该集合实际被修改的次数;在arrayList初始化的时候,该变量进行初始化0;
- expectedModCount:是 ArrayList 中的一个内部类——Itr 中的成员变量;表示这个迭代器预期该集合被修改的次数。其值随着 Itr 被创建而初始化。只有通过迭代器对集合进行操作,该值才会改变;
代码中使用了增强for循环,而在增强 for 循环中,集合遍历是通过 iterator 进行的,但是元素的add/remove 却是直接使用的集合类自己的方法。
这就导致 iterator 在遍历的时候,会发现有一个元素在自己不知不觉的情况下就被删除/添加了,就会抛出一个异常,用来提示用户,可能发生了并发修改;
所以,在使用 Java 的集合类的时候,如果发生 CMException,优先考虑 fail-fast 有关的情况,实际上这里并没有真的发生并发,只是 Iterator 使用了 fail-fast 的保护机制, 只要他发现有某一次修改是未经过自己进行的,那么就会抛出异常。