迭代器Iterator与语法糖for-each
一、为什么需要迭代器
设计模式迭代器
迭代器作用于集合,是用来遍历集合元素的对象。迭代器不是Java独有的,大部分高级语言都提供了迭代器来遍历集合。实际上,迭代器是一种设计模式:迭代器模式提供一种方法顺序访问一个聚合对象中的各个元素,而又不暴露其内部的表示。
迭代器封装了对集合的遍历,使得不用了解集合的内部细节,就可以使用同样的方式遍历不同的集合。
暴露细节的遍历
要理解封装遍历的好处,必须理解暴露细节的遍历带来的坏处。
以下是两个不同的集合接口,第一个是自定义集合,第二个是JDK的
java.util.Listpublic interface IUserDefinedList { int length(); E getElement(int index);
}public interface List { int size(); E get(int index);
}
分别使用for循环对它们进行遍历:// 自定义Listfor (int i = 0, len = ul.length(); i
System.out.println(ul.getElement(i));
}// java.util.Listfor (int i = 0, size = ll.size(); i
System.out.println(ll.get(i));
}
遍历集合的代码与具体集合类型紧密耦合,不同类型的集合,必须写出不同的遍历代码,不可重用。紧耦合在良好的代码设计中是大忌,这时需要将遍历逻辑抽离,封装。这就是迭代器模式了。
二、封装遍历-迭代器面向接口编程
面向接口编程是基本的设计原则,迭代器模式将遍历封装到接口,然后各个集合类可以以实现接口,或者组合接口实现类的方式,将遍历封装。
迭代器接口如下:
public interface Iterator { boolean hasNext(); E next();
}
然后就可以以统一的方式遍历集合:
Iterator it = aIterator;while(it.hasNext) {
it.next();
}
因为集合都实现了Iterator接口,所以以上的遍历代码是可以重用的,并且与具体集合类型松耦合。
Java迭代器
Java提供的Iterator原理大致相同:
java迭代器接口
忽略Java8提供的默认方法forEachRemaining(),java迭代器多了可以移除上一个元素的remove()方法。
Java集合中有很多迭代器的具体实现,以ArrayList为例:
ArrayList迭代器实现
ArrayList的迭代器是以内部类的方式实现的,每次调用List的iterator()方法,都会得到一个基于当前ArrayList对象状态的迭代器:
public Iterator iterator() { return new Itr();
}
next()方法:
public E next() {
checkForComodification(); int i = cursor; if (i >= size) throw new NoSuchElementException();
Object[] elementData = ArrayList.this.elementData; if (i >= elementData.length) throw new ConcurrentModificationException();
cursor = i + 1; return (E) elementData[lastRet = i];
}
每次调用next()方法,都会调用
final void checkForComodification() { if (modCount != expectedModCount) throw new ConcurrentModificationException();
}
检查所迭代的列表对象是否被修改过,modCount是外部类的一个字段,当调用外部类的add, remove, ensureCapacity等方法,都会改变改字段的值,而expectedModCount是内部类Itr初始化迭代器实例时,使用modeCount赋值的字段。这样,在使用迭代器过程中,如果对正在迭代的对象调用了add, remove, ensureCapacity等方法,再去调用迭代器的next(),就会引发ConcurrentModificationException异常了。
一个诱发异常的例子:
ArrayList ls = new ArrayList<>();
Iterator it = ls.iterator();while (it.hasNext()) {
System.out.println(it.next());
ls.ensureCapacity(10); // 改变了集合对象modCount的值,下次调用next 抛出异常}
三、语法糖for-each
java中的for-each:
List ls = new ArrayList<>();for (String s: ls) {
System.out.println(s);
}
for-each其实只是java提供的语法糖。语法糖是编程语言提供的一些便于程序员书写代码的语法,是编译器提供给程序员的糖衣,编译时会对这些语法特殊处理。语法糖虽然不会带来实质性的改进,但是在提高代码可读性,提高语法严谨性,减少编码错误机会上确实做出了很大贡献。
Java要求集合必须实现Iterable接口,才能使用for-each语法糖遍历该集合的实例。
JDK对该接口的描述是:
Implementing this interface allows an object to be the target of * the "for-each loop" statement.
接口如下:
public interface Iterable {
Iterator iterator();
default void forEach(Consumer super T> action) {
Objects.requireNonNull(action); for (T t : this) {
action.accept(t);
}
}
default Spliterator spliterator() { return Spliterators.spliteratorUnknownSize(iterator(), 0);
}
}
忽略默认方法,该接口要求集合实现iterator()方法,并返回一个迭代器对象Iterator。这也是java中的集合通过实现Iterable接口,组合Iterator来提供迭代器,并不通过直接实现Iterator接口的方式来提供集合迭代器的原因了。所有java集合迭代器的直接用法都如下:
List ls = new ArrayList<>();
Iterator it = ls.iterator();while (it.hasNext()) {
System.out.println(it.next());
}
for-each的编译器实现
for-each遍历集合,实际上被翻译如下:
for (I #i = Expression.iterator(); #i.hasNext(); ) {
{VariableModifier} TargetType Identifier =
(TargetType) #i.next();
Statement
}
当然,除了集合,for-each还可以遍历数组,翻译如下:
T[] #a = Expression;
L1: L2: ... Lm:for (int #i = 0; #i
{VariableModifier} TargetType Identifier = #a[#i];
Statement
}
另外,使用javap命令,反编译字节码,可以看到编译器是怎样处理for-each的。
public class Test { public static void main(String[] args) {
List ls = new ArrayList<>(); for (String s: ls) {
}
}
}
以上源文件对应class文件的反编译汇编为:
C:\OTHERS\Working\ideaWork\utils\Z_practice\src\main\java>javap -c pattern\adapter\java_example\Test.class
Compiled from "Test.java"public class pattern.adapter.java_example.Test { public pattern.adapter.java_example.Test();
Code: 0: aload_0 1: invokespecial #1 // Method java/lang/Object."":()V
4: return
public static void main(java.lang.String[]);
Code: 0: new #2 // class java/util/ArrayList
3: dup 4: invokespecial #3 // Method java/util/ArrayList."":()V
7: astore_1 8: aload_1 9: invokeinterface #4, 1 // InterfaceMethod java/util/List.iterator:()Ljava/util/Iterator;
14: astore_2 15: aload_2 16: invokeinterface #5, 1 // InterfaceMethod java/util/Iterator.hasNext:()Z
21: ifeq 37
24: aload_2 25: invokeinterface #6, 1 // InterfaceMethod java/util/Iterator.next:()Ljava/lang/Object;
30: checkcast #7 // class java/lang/String
33: astore_3 34: goto 15
37: return}
不用关注全部汇编细节,只需要看到InterfaceMethod java/util/List.iterator:()Ljava/util/Iterator;就知道实际上是使用了迭代器。
至于数组的for-each,也可以通过观察class文件的汇编代码理解。
四、最佳实践for-each遍历的集合对象不能为null
既然对集合的for-each遍历实际上是使用迭代器,会调用集合对象的iterator()方法获得迭代器,那么,对null集合的for-each遍历,就会在null集合对象上调用方法,势必会抛出空指针异常。
for-each遍历时不能改变正在遍历的集合
因为在使用迭代器遍历集合时,不能够改变集合,所以for-each遍历时改变集合,同样会引发ConcurrentModificationException异常。
作者:理查德成