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或跳过元素，属于隐性风险，不是安全替代方案。
