Java中 ArrayList 的 listIterator 在双向遍历时的 fail-fast 检查规则-java教程-PHP中文网

arraylist的listiterator在双向遍历时同样具有fail-fast机制：当外部结构性修改导致modcount与expectedmodcount不一致时，下次调用next()、previous()、add()、set()或remove()即抛concurrentmodificationexception；其自身add()/remove()会同步更新expectedmodcount，但set()虽不改结构仍受光标位置约束；多线程下仅靠listiterator无法保证线程安全，需用copyonwritearraylist或外部同步。

java中 arraylist 的 listiterator 在双向遍历时的 fail-fast 检查规则

ArrayList 的 listIterator() 在双向遍历时，其 fail-fast 行为与普通迭代器一致：只要在迭代过程中，有其他线程或同一线程通过非迭代器方法（如 add()、remove()、set() 等）修改了列表结构，下一次调用 next()、previous()、add()、set() 或 remove() 时就会抛出 ConcurrentModificationException。

fail-fast 的触发时机取决于“结构性修改”和“预期修改次数”

ArrayList 内部维护一个 modCount（修改计数器），每次调用 add()、remove()、clear() 等改变大小的操作都会递增它。而 ListIterator 实例在创建时会记录当时的 modCount 值到自己的 expectedModCount 中。后续每次调用它的操作前，都会检查两者是否一致：

不一致 → 立即抛出 ConcurrentModificationException
一致 → 继续执行，并在执行 add() 或 remove() 后同步更新 expectedModCount（因为这些是迭代器自身允许的结构性修改）

迭代器自身的 add() 和 remove() 不会触发 fail-fast

ListIterator 提供的 add() 和 remove() 是安全的，它们会同步更新 expectedModCount，从而避免自我干扰。例如：

ListIterator<string> iter = list.listIterator();
iter.next(); // 移动到第一个元素后
iter.add("new"); // ✅ 合法：插入后 expectedModCount 自动+1
iter.previous(); // ✅ 仍可继续遍历
</string>

但若在调用 iter.add("new") 后，又用 list.remove(0) 修改原列表，则下次调用 iter.next() 就会失败。

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

set() 是非结构性修改，但也有检查约束

set(E) 不改变列表大小，不算结构性修改，因此不会增加 modCount；但它要求当前光标位置必须已存在元素（即刚调用过 next() 或 previous()），否则抛 IllegalStateException。它不触发 fail-fast，但若在 set() 前发生了外部结构性修改，仍会在 set() 调用时检查 modCount 并失败。