Iterator是基于契约的统一访问机制，通过hasNext()、next()、remove()封装遍历逻辑；ArrayList迭代器靠数组下标移动，LinkedList靠节点指针推进；均依赖modCount实现fail-fast机制，remove()仅能删除上一次next()返回的元素。
Java 中 Iterator 迭代器不是“万能指针”，而是一套基于契约的访问机制——它不直接暴露集合结构，而是通过统一接口（hasNext()、next()、remove()）封装遍历逻辑。不同集合类各自实现 Iterator，底层行为差异很大，但对外表现一致。
ArrayList 的迭代器：靠数组下标移动
ArrayList 底层是动态数组，它的迭代器（内部类 Itr）只维护两个整型字段：
- cursor：指向下一个待取元素的索引，初始为 0
-
lastRet：记录上一次
next()返回元素的索引，初始为 -1（表示还没取过）
每次调用 next() 就做三件事：检查越界 → 返回 elementData[cursor] → 把 cursor 加 1 并把原值赋给 lastRet。整个过程不涉及节点跳转，纯数组寻址，所以极快。
LinkedList 的迭代器：靠节点指针推进
LinkedList 是双向链表，它的迭代器不依赖索引，而是持有当前节点引用（如 Node<E> next）：
立即学习“Java免费学习笔记（深入）”；
-
hasNext()判断next != null -
next()返回next.item，再把next指向next.next - 删除时，直接修改前后节点的
prev/next指针
没有随机访问能力，但插入/删除当前位置元素是 O(1)；遍历本身比 ArrayList 稍慢，因有指针解引用开销。
所有迭代器共用的“安全阀”：modCount 检查
无论哪种集合，其迭代器在创建时都会记录当前集合的 modCount（修改计数器）。每次集合执行 add、remove、clear 等结构性修改，modCount 就加 1。
迭代器每次调用 next() 或 remove() 前，都会比对当前 modCount 是否仍等于自己初始化时记下的值。一旦发现不一致，立刻抛 ConcurrentModificationException ——这就是 fail-fast 机制，本质是快速失败，而非真正线程安全。
remove() 方法为什么只能删上一个元素
Iterator.remove() 不接受参数，它删的是 next() 最近一次返回的那个元素。原因在于：
- 它依赖
lastRet字段定位目标位置（ArrayList）或当前节点（LinkedList） - 若没调用过
next()，lastRet仍是 -1，调用remove()会直接抛IllegalStateException - 连续两次
remove()也不行，因为第二次时lastRet未更新，状态非法
换句话说，remove() 是“配套动作”，必须紧跟在一次 next() 之后使用，不能跳着删、也不能重复删。
