Java 集合遍历大扫盲:Iterator 的底层原理与 Iterable 的设计美学

📅 发布时间:2026/7/31 8:56:52
Java 集合遍历大扫盲:Iterator 的底层原理与 Iterable 的设计美学
目录1. 引言从 for 循环到 foreach 的疑惑2. 回顾Java 集合遍历的常用方式2.1 普通 for 循环基于索引2.2 增强 for 循环foreach2.3 Iterator 显式遍历2.4 Java 8 的 forEach Lambda3. Iterator 接口的底层原理3.1 Iterator 定义3.2 迭代器模式3.3 ArrayList 中 Iterator 的实现源码剖析3.4 fail‑fast 与 fail‑safe4. Iterable 接口的设计美学4.1 为什么需要 Iterable4.2 设计美感接口分离4.3 Java 8 对 Iterable 的增强5. 手写一个可被 foreach 遍历的自定义集合6. 常见面试题与避坑指南6.1 为什么 foreach 遍历集合时不能直接使用集合的 remove 方法6.2 Map 如何用 foreach 遍历6.3 迭代器遍历时修改集合的安全方法有哪些7. 总结1. 引言从 for 循环到 foreach 的疑惑在日常 Java 开发中我们经常使用for (Object obj : list)这样的语法遍历集合。这种写法简洁优雅但很多人并不清楚它的背后究竟发生了什么。为什么List可以这样遍历为什么自定义的类不能直接用foreach这一切的秘密都藏在两个核心接口里Iterator与Iterable。本文将带你从最基础的集合遍历方式出发逐步深入Iterator的底层原理剖析Iterable的设计美学并手写一个可被foreach遍历的自定义集合真正做到“知其然更知其所以然”。2. 回顾Java 集合遍历的常用方式在理解原理之前我们先快速回顾 Java 中常见的几种集合遍历方法2.1 普通 for 循环基于索引ListStringlistnewArrayList();list.add(a);list.add(b);list.add(c);for(inti0;ilist.size();i){System.out.println(list.get(i));}这种方式只对实现了RandomAccess接口的List友好。LinkedList使用get(i)会非常低效。2.2 增强 for 循环foreachfor(Strings:list){System.out.println(s);}这是目前最简洁的写法但其实它是Iterator的语法糖。2.3 Iterator 显式遍历IteratorStringitlist.iterator();while(it.hasNext()){Stringsit.next();System.out.println(s);}2.4 Java 8 的 forEach Lambdalist.forEach(s-System.out.println(s));这种方式直接传入消费者函数底层仍然依赖于Iterator或Spliterator。3. Iterator 接口的底层原理3.1 Iterator 定义java.util.Iterator接口非常简单核心方法只有三个publicinterfaceIteratorE{booleanhasNext();Enext();defaultvoidremove(){thrownewUnsupportedOperationException(remove);}}hasNext()判断是否还有下一个元素。next()返回当前元素并将游标后移。remove()移除上一次next()返回的元素默认不支持。3.2 迭代器模式Iterator的设计正是经典的迭代器模式将集合的遍历行为从集合本身分离出来封装在一个独立的迭代器对象中。这样做的好处是职责单一集合只负责存储数据迭代器只负责遍历数据。封装变化集合的内部结构数组、链表、树、哈希表可以千变万化但对调用方来说只需要拿到一个Iterator用相同的hasNext()/next()接口即可遍历。支持并发迭代可以同时有多个迭代器指向同一个集合的不同位置且互不干扰。3.3 ArrayList 中 Iterator 的实现源码剖析ArrayList的iterator()方法会返回一个内部类Itr它实现了Iterator接口。我们来看看关键代码基于 JDK 8精简处理privateclassItrimplementsIteratorE{intcursor;// 下一个要返回元素的索引intlastRet-1;// 上一个返回元素的索引-1 表示没有intexpectedModCountmodCount;publicbooleanhasNext(){returncursor!size;}publicEnext(){checkForComodification();inticursor;if(isize)thrownewNoSuchElementException();Object[]elementDataArrayList.this.elementData;if(ielementData.length)thrownewConcurrentModificationException();cursori1;return(E)elementData[lastReti];}finalvoidcheckForComodification(){if(modCount!expectedModCount)thrownewConcurrentModificationException();}}cursor像一个游标始终指向下一次next()应该返回的元素索引。lastRet记录上一次next()返回的索引方便remove()时删除。expectedModCount是经典的**快速失败fail‑fast**机制。如果在迭代过程中有其他线程或同一线程通过list.remove()等方法修改了集合的结构modCount就会变化导致下一次next()或remove()时抛出ConcurrentModificationException。这个机制可以尽早暴露出多线程下的不安全修改。3.4 fail‑fast 与 fail‑safefail‑fast迭代过程中检测到集合结构被修改立即抛出异常。ArrayList、HashMap等大部分集合都采用这种策略。fail‑safe迭代时操作的是集合的一个快照允许并发修改。例如CopyOnWriteArrayList和ConcurrentHashMap的迭代器就是这种类型。4. Iterable 接口的设计美学4.1 为什么需要 Iterable有了Iterator是不是就够了为什么还要一个Iterable关键就在于foreach语法的要求。publicinterfaceIterableT{IteratorTiterator();}Iterable接口只有一个抽象方法iterator()它返回一个Iterator对象。这就是工厂方法模式的应用Iterable是迭代器工厂生产Iterator而Iterator是具体的迭代工具。JVM 在编译foreach循环时会检查被遍历的对象是否实现了Iterable接口。只有实现了Iterable编译器才会将其“语法糖”转换为对iterator()、hasNext()和next()的调用。4.2 设计美感接口分离Iterator和Iterable的分离堪称设计美学的典范可遍历性Iterable与遍历状态Iterator解耦。一个Iterable对象可以多次调用iterator()生成全新的Iterator每个Iterator都拥有自己的遍历状态游标互不影响。这样便实现了可重复、可并行的遍历。对于调用方而言我只需要知道对象是Iterable就能使用foreach完全不用关心底层实现是数组还是链表。这种设计完美诠释了“面向接口编程”的理念大大提升了代码的复用性和扩展性。4.3 Java 8 对 Iterable 的增强在 Java 8 中Iterable新增了两个默认方法defaultvoidforEach(Consumer?superTaction){Objects.requireNonNull(action);for(Tt:this){action.accept(t);}}defaultSpliteratorTspliterator(){returnSpliterators.spliteratorUnknownSize(iterator(),0);}forEach()让集合可以直接使用 Lambda 表达式进行内部迭代进一步简化代码。spliterator()提供了可分割迭代器为并行流处理打下基础。5. 手写一个可被 foreach 遍历的自定义集合理论说再多都不如亲手实践。下面我们来编写一个简单的单向链表MyLinkedList并让它支持foreach遍历。importjava.util.Iterator;importjava.util.NoSuchElementException;// 实现 Iterable 接口publicclassMyLinkedListTimplementsIterableT{privateNodeThead;privateintsize;privatestaticclassNodeT{Tdata;NodeTnext;Node(Tdata){this.datadata;}}publicvoidadd(Tdata){NodeTnewNodenewNode(data);if(headnull){headnewNode;}else{NodeTcurrenthead;while(current.next!null){currentcurrent.next;}current.nextnewNode;}size;}publicintsize(){returnsize;}// 核心方法返回迭代器OverridepublicIteratorTiterator(){returnnewLinkedListIterator();}// 内部类实现 Iterator 接口privateclassLinkedListIteratorimplementsIteratorT{privateNodeTcurrenthead;// 游标OverridepublicbooleanhasNext(){returncurrent!null;}OverridepublicTnext(){if(!hasNext()){thrownewNoSuchElementException();}Tdatacurrent.data;currentcurrent.next;returndata;}}// 测试publicstaticvoidmain(String[]args){MyLinkedListStringlistnewMyLinkedList();list.add(Java);list.add(Python);list.add(Go);// 因为实现了 Iterable可以直接用 foreachfor(Stringlang:list){System.out.println(lang);}}}这段代码完美呈现了Iterable与Iterator的协作模式MyLinkedList通过实现Iterable获得了“可遍历”的身份而遍历的具体逻辑被封装在内部类LinkedListIterator中。哪怕链表的结构再复杂外部只需调用iterator()即可得到一个“标准化”的遍历器。6. 常见面试题与避坑指南6.1 为什么 foreach 遍历集合时不能直接使用集合的 remove 方法这会导致modCount改变而expectedModCount未变从而触发ConcurrentModificationException。正确的做法是使用Iterator自己的remove()方法。IteratorStringitlist.iterator();while(it.hasNext()){Stringsit.next();if(remove_me.equals(s)){it.remove();// 正确用法}}6.2 Map 如何用 foreach 遍历Map本身没有实现Iterable但它的keySet()、values()和entrySet()返回的Set都实现了Iterable所以你可以for(Map.EntryK,Ventry:map.entrySet()){System.out.println(entry.getKey() entry.getValue());}6.3 迭代器遍历时修改集合的安全方法有哪些使用Iterator.remove()。使用线程安全的并发集合如CopyOnWriteArrayList。使用 Java 8 的Collection.removeIf()它内部使用了Iterator。7. 总结本文从最简单的foreach语法出发一步步挖掘出背后Iterator与Iterable的协作关系。Iterator用一种优雅的状态机模式封装了遍历行为而Iterable作为其工厂接口让每种集合都拥有了统一的可遍历契约。这种设计不仅降低了代码耦合度也为现代 Java 集合框架的灵活扩展奠定了基础。理解了这些底层原理后无论是阅读源码还是应对面试你都能更加胸有成竹。如果你觉得有帮助欢迎点赞、收藏也欢迎在评论区留下你的疑问或见解。