java iterator 的 fail-fast 机制通过 modcount 与 expectedmodcount 比对检测非法结构修改,单线程下调用集合自身 remove() 会触发 concurrentmodificationexception;安全方式仅限 iterator.remove() 或遍历后批量操作。

Java 中的 Iterator 在使用 fail-fast 机制时,一旦检测到集合在迭代过程中被结构上修改(即非迭代器自身方法修改),就会立即抛出 ConcurrentModificationException。这不是“并发”导致的异常,而是单线程下非法修改触发的安全检查。
fail-fast 的核心原理:modCount 与 expectedModCount 比对
每个支持 fail-fast 的集合(如 ArrayList、HashMap、HashSet)内部维护一个修改计数器 modCount,记录集合结构变更(增、删、清空)的次数。当调用 iterator() 创建迭代器时,迭代器会把当时的 modCount 值复制为自己的 expectedModCount。
每次调用 next() 或 remove() 前,迭代器都会检查:
- 当前集合的
modCount == expectedModCount? - 如果不等,说明集合被外部(比如 for 循环中直接调用
list.remove())改过结构 → 立即抛出ConcurrentModificationException
典型触发场景(单线程下也报错)
以下代码即使没有多线程,也会抛异常:
List<string> list = new ArrayList(Arrays.asList("a", "b", "c"));
for (String s : list) {
if ("b".equals(s)) {
list.remove(s); // ❌ 非迭代器自身的 remove,触发 fail-fast
}
}</string>
原因:list.remove() 使 modCount +1,但迭代器的 expectedModCount 未更新,下次 next() 检查失败。
安全修改的正确方式
必须使用迭代器提供的修改方法,它会同步更新 expectedModCount:
-
iterator.remove():唯一允许在遍历时安全删除元素的方式 -
iterator.forEachRemaining()中不能调用集合方法,仍需用remove() - 若需添加或批量修改,应先收集操作,遍历结束后再统一处理(如用临时集合存待删元素)
示例:
Iterator<string> it = list.iterator();
while (it.hasNext()) {
String s = it.next();
if ("b".equals(s)) {
it.remove(); // ✅ 安全,内部会更新 expectedModCount
}
}</string>
注意:fail-fast 不是同步机制
ConcurrentModificationException 是一种检测性保障,不是线程安全的解决方案。它不保证一定能捕获所有并发修改(JVM 重排序、延迟可见性可能导致漏检),也不能替代同步或线程安全集合。
真正需要多线程安全迭代,请改用:
-
CopyOnWriteArrayList(读多写少,迭代不抛异常) -
ConcurrentHashMap的 keySet / values / entrySet 迭代器(弱一致性,不抛 CME) - 手动加锁(synchronized / ReentrantLock)保护整个遍历过程
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











