迭代器模式用来遍历集合对象。集合可以是数组,链表,树,图,跳表等。迭代器模式将集合对象的遍历操作从集合中拆分出来,放到迭代器中,让两者的职责更加单一。
public interface Iterator<E> {
boolean hasNext();
E next();
default void remove() {
throw new UnsupportedOperationException("remove");
}
default void forEachRemainint() {
...
}
}
public Interface Interable<T> {
Iterator<T> iterator();
default void forEach() {
...
}
}
迭代器模式的优势:
- 迭代器模式封装集合内部的复杂数据结构,开发者不需要了解如何遍历,直接使用容器提供的迭代器即可。
- 迭代器模式将集合对象的遍历操作从集合类中拆分出来,放到迭代器中,让两者的职责更加单一。
在遍历的同时增删集合元素会发生什么
在通过迭代器来遍历集合元素的同时,增加或者删除集合中的元素,有可能会导致某个元素被重复遍历或遍历不到。不过,并不是所有情况下都会遍历出错,有的时候也可以正常遍历。这种情况称为结果不可预期行为。
List<String> names = new ArrayList<>();
names.add("a");
names.add("b");
names.add("c");
names.add("d");
Iterator<String> iterator = names.iterator();
iterator.next();
names.remove("a");
链表初始化后,迭代器游标指向元素a。执行完iterator.next()
的时候,游标指向元素b。此时删除a,后面的元素往前移动一位,此时游标从指向b,变成指向c。此时元素b遍历不到了。
如何应对遍历时改变集合导致的未决行为
当通过迭代器来遍历集合的时候,增加,删除集合元素会导致不可预期的遍历结果。为了避免不可预期的运行结果,Java的方法是增删元素之后让遍历报错。(fast-fail解决方式,让遍历操作直接抛出运行时异常)。
fast-fail实现
集合中有一个成员变量modCount,记录集合被修改的次数。集合每调用一次增加或删除元素的函数,就会给modCount加1。当通过调用集合上的iterator()函数来创建迭代器的时候,就会怒把modCount的值传递给迭代器expectedModCount成员变量。之后每次调用迭代器上的hasNext(),next()函数时,都会检查集合上的modCount是否等于expectedModCount。也就是看,在创建完迭代器之后,modCount是否改变过。