迭代器

迭代器(Iterator) 是一种行为型设计模式,属于设计模式之一,迭代器模式提供了一种方法来顺序访问一个聚合对象(如List、Set等)中各个元素,而不需要暴露该对象的内部表示。

  • Iterator 对象称为迭代器,主要用于遍历 Collection 集合中的元素。

  • 所有实现了Collection接口的集合类都有一个iterator()方法,用以返回一个实现了Iterator接口的对象,即可以返回一个迭代器。

  • Iterator 仅用于遍历集合,Iterator 本身并不存放对象。

  • 集合的顶层接口 Collection 继承 Iterable 接口。

迭代器的特性

  • fail-fast机制:当集合在迭代过程中被修改(除了通过迭代器自身的remove()方法),迭代器会快速失败,抛出ConcurrentModificationException

  • fail-safe机制:某些集合(如 CopyOnWriteArrayList )的迭代器是 fail-safe 的,即它们允许在迭代过程中修改集合,但修改会反映在一个新的集合副本上,不会影响迭代器遍历的集合。

Iterable 和 Iterator 接口

Iterable接口

public interface Iterable<T> {
    /**
     * Returns an iterator over elements of type {@code T}.
     *
     * @return an Iterator.
     */
    Iterator<T> iterator();
}

Iterable 接口中有一个 Iterator 方法,它返回一个 Itertator 对象。

Iterator接口

public interface Iterator<E> {
    boolean hasNext();
    
    E next();
    
    default void remove() {
        throw new UnsupportedOperationException("remove");
    }
}
返回值类型方法名功能
booleanhasNext()判断集合是否还有元素,如果返回 true 表示集合还有元素,返回 false 表示集合中没有元素;一般对集合的访问通过 while(hasNext()) 判断是否还需要遍历。
Enext()获取集合中遍历的当前元素 ;一般先调用 hasNext() 方法判断是否存在元素,再调用 next() 获取元素,需要进行循环交替遍历集合中的元素。
voidremove删除集合中的元素。
使用迭代器遍历
Collection col = new ArrayList();

Iterator iterator = col.iterator(); // 创建迭代器对象
// 判断集合是否有下一个元素
while(iterator.hasNext()){
	// 指针移动一个位置,返回集合该位置的元素
	Object tmp = iterator.next();
}

在调用 next() 方法之前必须要调用 hastNext() 方法进行检测;如果没有调用并且没有下一个元素,直接调用 next() 方法会抛出 NoSuchElementException异常

遍历完毕后,若继续调用 iterator.hasNext() 将会报错,若需要继续遍历,可以通过重置迭代器(创建一个新的迭代器或使用可重复迭代器)解决

使用增强 for 循环 遍历

增强for循环 可以代替 Iterator 迭代器 ,可以把它看做简化版的 Iterator,和迭代器本质一样,它的底层实现就是 Iterator 迭代器,只能用于遍历集合或数组

for(Object object : col){
	// 对 object 进行操作
}
迭代器中的 remove 方法

使用迭代器的 remove 的方法可以删除集合中的元素

在Java集合中,以集合 ArrayList 为例,在使用中可能会遇到删除的需求场景,此时如果代码书写不当,极有可能会抛出java.util.ConcurrentModificationException异常信息。因为触发了集合中并发修改的异常

ArrayList 集合的 Iterator 方法中,是通过返回 Itr 对象来获得迭代器的。Itr ArrayList 的一个内部类,它实现了 Iterator 接口

![[Pasted image 20231018095155.png]]

![[Pasted image 20231018095212.png]]

属性含义
cursor索引下标,表示下一个可以访问的元素的索引,默认值为 0
lastRet索引下标,表示上一个元素的索引,默认值为 -1
expectedModCount对集合修改的版本号,初始值为ModCount

ModCount 定义在 AbstractList 接口中,初始值为0,在对集合进行变更操作(增加、删除、修改等)的时候会对版本号进行 +1 操作。:

protected transient int modCount = 0;

![[Pasted image 20231018095409.png]]

  • 在使用迭代器的 remove() 操作时,会将更新后的 modCount 给expectedModCount,两者会得到同步,但是在调用集合的 remove() 方法后,两个不会进行同步,进而导致在 checkForComodification() 校验时不通过,抛出 java.util.ConcurrentModificationException 异常。

  • 在单线程下使用迭代器是没有问题的,但是在多线程下同时操作集合就不允许了,可以通过 fail-fast 快速失败机制,快速判断是否存在同时操作问题。因此,集合在多线程下使用是不安全的

for…each 的陷阱

为什么不能在 foreach 里执行删除操作?

因为 for...each 循环是基于迭代器实现的,而迭代器在遍历集合时会维护一个 expectedModCount 属性来记录集合被修改的次数。
如果在 for...each 循环中执行删除操作会导致 expectedModCount 属性值与实际的 modCount 属性值不一致,从而导致迭代器的 hasNext()next() 方法抛出 ConcurrentModificationException 异常。

为了避免这种情况,应该使用迭代器的 remove() 方法来删除元素,该方法会在删除元素后更新迭代器状态,确保循环的正确性。如果需要在循环中删除元素,应该使用迭代器的 remove() 方法,而不是集合自身的 remove() 方法

除此之外,还可以采用 Stream流 的 filter() 方法来过滤集合中的元素,然后再通过 collect() 方法将过滤后的元素收集到一个新的集合中。

Logo

开放原子开发者工作坊旨在鼓励更多人参与开源活动,与志同道合的开发者们相互交流开发经验、分享开发心得、获取前沿技术趋势。工作坊有多种形式的开发者活动,如meetup、训练营等,主打技术交流,干货满满,真诚地邀请各位开发者共同参与!

更多推荐