转载

一文读懂 Java 集合中的快速失败(fail-fast)和安全失败(fail-safe)机制

采用快速失败机制的集合容器，使用迭代器进行遍历集合时，除了通过迭代器自身的 remove() 方法之外，对集合进行任何其他方式的结构性修改，则会抛出 ConcurrentModificationException 异常。

在 java.util 包下的集合类都采用的是快速失败机制，不能在多线程下发生并发修改（迭代过程中被修改）。

原理

迭代器在遍历时直接访问集合的内容时，因此集合中的内容在遍历的过程中无法被修改。为了保证不被修改，迭代器内部维护了一个 modCount 变量，当集合结构改变（添加、删除或者修改），就会改变 modCount 的值。每当迭代器使用 hasNext() 和 next() 方法遍历下一个元素之前，都会检查 modCount 的值是否等于 expectedmodCount 的值，当检测到 modCount != expectedmodCount 时，抛出 ConcurrentModificationException 异常，反之继续遍历。

注意: 迭代器的快速失败机制是无法得到保证的，这里异常的抛出条件是检测到 modCount != expectedmodCount 这个条件。如果集合发生变化时修 modCount 的值刚好等于 expectedmodCount 的值，则异常不会抛出。因此，为提高这类迭代器的正确性而编写一个依赖于此异常的程序是错误的做法，迭代器的快速失败机制应该仅用于检测 bug。