Java中 fail-fast 快速失败机制在 ArrayList 遍历期间的触发过程

ArrayList的fail-fast机制本质是modCount与expectedModCount不一致时抛出ConcurrentModificationException；它非并发专属，单线程遍历时调用集合自身add/remove等结构性修改方法即触发，核心前提是迭代器创建后集合被外部结构性修改。

Java中ArrayList的fail-fast机制在遍历时触发，本质是modCount与expectedModCount不一致时抛出ConcurrentModificationException。它不是并发专属，单线程下违规修改也会触发，核心在于“迭代器创建后集合被结构性修改”这一事实。

触发的前提条件

必须同时满足以下三点：

• 使用迭代器（iterator()）或增强for循环（其底层就是迭代器）遍历ArrayList
• 在遍历过程中，有代码对ArrayList执行了结构性修改：add()、remove()、clear()等改变size的操作
• 该修改不是通过当前迭代器自身的remove()或add()（ListIterator才有add）方法完成的

内部计数器如何工作

ArrayList继承自AbstractList，其中定义了关键字段：

• protected transient int modCount = 0：每次结构性修改（如add/remove）都会使该值+1
• 迭代器（如ArrayList.Itr）在构造时，将当前modCount复制为自己的expectedModCount
• 每次调用next()前，都会执行checkForComodification()，比对二者是否相等

一旦发现modCount != expectedModCount，立即抛出ConcurrentModificationException。

立即学习“Java免费学习笔记（深入）”；

常见触发场景举例

以下写法都会触发异常：

• 增强for循环中直接调用list.remove(x)（非迭代器remove）
• while + iterator遍历中，用list.add(y)插入新元素
• 多线程环境下，线程A用iterator遍历，线程B同时调用list.remove()
• 即使单线程，先获取iterator，再调用list.clear()，之后再调next()也会失败

为什么for-i循环有时不报错？

普通for循环（for(int i=0; i<list.size(); i++)）不依赖迭代器，不检查modCount，所以不会触发fail-fast。但要注意：它不会自动跳过已删除位置，可能引发IndexOutOfBoundsException或跳过元素，属于隐性风险，不是安全替代方案。