安全遍历复杂自定义集合的关键在于职责解耦与策略定制:集合仅提供数据与迭代器创建方法,迭代器私有维护状态(如栈、访问标记),按结构语义选用DFS/BFS/扁平化/过滤等策略,并规避修改风险,同时兼容Java标准生态。

安全遍历复杂自定义集合结构,关键不是“能不能遍历”,而是“如何在不破坏封装、不引发并发异常、不跳过或重复元素的前提下稳定遍历”。Java 迭代器模式本身不自动保证线程安全或修改安全,但通过合理设计角色职责和约束行为,就能做到真正安全——尤其对树、图、嵌套容器、带过滤逻辑的聚合等复杂结构。
明确迭代器与集合的职责边界
安全的前提是解耦清晰。集合(ConcreteAggregate)只负责存数据、提供创建迭代器的方法;迭代器(ConcreteIterator)完全掌控遍历状态(如游标位置、路径栈、访问标记),且不暴露内部索引或引用。
- 集合类不暴露数组、链表头节点、子节点列表等底层字段
- 迭代器内部维护私有状态(例如树遍历用 Stack<Node> 记录回溯路径,图遍历用 Set<T> 记录已访问节点)
- 所有 hasNext()/next() 调用均基于该私有状态判断,而非直接读取集合字段
针对不同结构选对遍历策略
复杂结构没有通用遍历方式,必须按语义定制迭代器逻辑,否则容易漏节点、死循环或越界。
- 树形结构:用深度优先(DFS)迭代器时,用栈保存待访问节点;用广度优先(BFS)时,用队列;避免递归调用栈溢出,也避免重复入队未判重
- 图结构:必须维护 visited 集合,next() 中检查是否已访问,否则环路会导致无限循环
- 嵌套集合(如 List<List<T>>):扁平化迭代器需两级游标(外层 index + 内层 cursor),hasNext() 要跳过空子列表
- 带条件过滤的集合:迭代器应在 next() 中主动跳过不满足条件的元素,而不是让客户端反复调用 hasNext() 判断
规避遍历中修改导致的失效风险
Java 原生 Iterator 的 fail-fast 机制仅对 ArrayList/HashMap 等标准集合有效;自定义集合若支持边遍历边修改,必须显式设计安全机制。
立即学习“Java免费学习笔记(深入)”;
- 默认禁用 remove(),或抛 UnsupportedOperationException(最稳妥)
- 如需支持删除,迭代器应持有集合的弱引用或版本号,在 remove() 前校验结构未变
- 若允许多线程遍历,迭代器状态(如 position、stack)必须 thread-local 或加锁,避免游标错乱
- 对不可变集合,可放心返回无状态迭代器(每次 new 一个新实例)
让客户端用得安心:对接 Java 标准习惯
只要实现 Iterable<T> 接口并返回合法 Iterator,就能无缝接入 for-each、StreamSupport、Collections.frequency 等生态工具。
- 重写 iterator() 方法,返回你精心设计的具体迭代器实例
- 确保 hasNext() 和 next() 行为符合契约:next() 必须在 hasNext() 返回 true 后才可调用,否则抛 NoSuchElementException
- 避免在 hasNext() 中做耗时操作(如远程查询),它可能被频繁调用
- 若集合为空或遍历结束,next() 不应返回 null(除非 T 是引用类型且允许 null),而应严格抛异常


















