fail-fast 是 Java 集合的快速失败机制，通过 modCount 与 expectedModCount 校验检测遍历中结构修改，触发 ConcurrentModificationException；它非线程安全保证，仅用于单线程逻辑错误调试，且仅对集合自身方法修改有效。
fail-fast 是什么，为什么遍历时修改会抛 ConcurrentModificationException
Java 集合（如 ArrayList、HashMap、HashSet）的迭代器默认启用 fail-fast 机制：一旦检测到集合在迭代过程中被结构上修改（增/删元素），就立即抛出 ConcurrentModificationException。这不是线程安全保证，而是一种**快速失败的调试辅助机制**。
核心原理是维护一个 modCount（修改计数器）和迭代器持有的 expectedModCount。每次调用 add()、remove() 等结构变更方法，modCount 自增；每次迭代器调用 next() 或 hasNext() 前，都会校验二者是否一致。
- 单线程下也会触发——比如边
for-each遍历边调用list.remove(obj) - 不是所有集合都 fail-fast：
CopyOnWriteArrayList、ConcurrentHashMap是 fail-safe，不抛此异常 - 该异常不保证一定能捕获所有并发修改，仅对“已知路径”的修改做检查（如通过集合自身方法修改）
常见触发场景及正确写法
最典型的错误写法是用增强 for 循环删除元素：
for (String s : list) {
if (s.equals("bad")) {
list.remove(s); // ❌ 触发 ConcurrentModificationException
}
}
正确做法取决于需求：
立即学习“Java免费学习笔记（深入）”；
- 需要删除匹配项 → 用
Iterator.remove()（唯一安全的遍历中删除方式）：Iterator<String> it = list.iterator(); while (it.hasNext()) { String s = it.next(); if (s.equals("bad")) { it.remove(); // ✅ 安全，同步更新 expectedModCount } } - 需要批量过滤 → 用 Java 8+ 的
removeIf()：list.removeIf(s -> s.equals("bad")); // ✅ 内部使用迭代器 remove - 需要构建新集合 → 用
stream().filter().collect()，避免原集合修改
modCount 不是线程安全变量，别依赖它做同步
modCount 是普通 int 字段，未加 volatile 或同步保护。它的作用仅限于**同一线程内检测逻辑错误**，不能用于多线程协调或状态判断。
- 多个线程同时修改集合时，
modCount可能因指令重排或缓存不一致导致校验失效（即漏报） - 即使没抛异常，也不代表操作线程安全——
ArrayList的add()本身非原子，多线程写仍可能数据丢失或数组越界 - 真要并发读写，请换用线程安全类：
CopyOnWriteArrayList（适合读多写少）、ConcurrentHashMap（高并发键值场景）
自定义集合如何实现 fail-fast
若继承 AbstractList 等抽象类，modCount 已由父类维护，只需在所有结构修改方法中调用 super.modCount++（通常已由父类方法完成）。关键是在自定义 Iterator 中同步 expectedModCount：
private class MyIterator implements Iterator<E> {
private int expectedModCount = modCount; // 初始化时捕获
private int cursor = 0;
public E next() {
if (modCount != expectedModCount) { // 每次 next 前校验
throw new ConcurrentModificationException();
}
// ... 实际逻辑
}
public void remove() {
// ... 删除逻辑
expectedModCount = modCount; // 同步更新
}
}
注意：如果集合允许外部绕过 API 直接修改底层结构（如暴露数组引用），fail-fast 就会失效——这属于设计缺陷，应避免。
真正容易被忽略的是：fail-fast 仅对「集合自身方法触发的修改」有效。反射改 modCount、直接操作底层数组、或子类未正确维护计数，都会让这个机制形同虚设。
