java foreach实现原理

java.util.List实现了java.lang.Iterable接口.

jdk api文档中是这样描述Iterable接口的：实现这个接口允许对象成为 "foreach" 语句的目标。不过咋一看Iterable接口并没啥特别之处，只是定义了一个迭代器而已。

1public interface Iterable<T> {  
2    /** 
3     * Returns an iterator over a set of elements of type T. 
4     *  
5     * @return an Iterator. 
6     */  
7    Iterator<T> iterator();  
8}

究竟是如何实现foreach的呢，想想可能是编译器做了优化，就看了下最终编译成的字节码：

1public class Iterable_eros {  
2    List<String> strings;  
3    public void display(){  
4        for(String s : strings){  
5            System.out.println(s);  
6        }  
7    }      
8}

相应的字节码为：

1public void display (){  
2line0    : aload_0    
3           getfield  java.util.List my.lang.Iterable_eros.strings  
4           invokeinterface  java.util.Iterator java.util.List.iterator() 1  
5           astore_2    
6           goto  line30  
7line13   : aload_2    
8           invokeinterface  java.lang.Object java.util.Iterator.next() 1  
9           checkcast  java.lang.String  
10           astore_1    
11line23   : getstatic  java.io.PrintStream java.lang.System.out  
12           aload_1    
13line27   : invokevirtual  void java.io.PrintStream.println(java.lang.String)  
14line30   : aload_2    
15           invokeinterface  boolean java.util.Iterator.hasNext() 1  
16           ifne  line13  
17line39   : return

果然没猜错哈！可以看到，foreach语法最终被编译器转为了对Iterator.hasNext()和对Iterator.next()的调用。而作为使用者的我们， jdk并没用向我们暴露这些细节，我们甚至不需要知道Iterator的存在，认识到jdk的强大之处了吧。

为了证实自己的想法，又用Iterator写了个遍历List的方法查看了字节码，果然跟foreach的形式基本一样，当然这是后话~

1public void display(){  
2    for(String s : strings){  
3        System.out.println(s);  
4    }  
5          
6    Iterator<String> iterator = strings.iterator();  
7    while(iterator.hasNext()){  
8        String s = iterator.next();  
9        System.out.println(s);  
10    }  
11}

用相应的字节码如下：

1public void display (){  
2line0    : aload_0    
3           getfield  java.util.List my.lang.Iterable_eros.strings  
4           invokeinterface  java.util.Iterator java.util.List.iterator() 1  
5           astore_2    
6           goto  line30  
7line13   : aload_2    
8           invokeinterface  java.lang.Object java.util.Iterator.next() 1  
9           checkcast  java.lang.String  
10           astore_1    
11line23   : getstatic  java.io.PrintStream java.lang.System.out  
12           aload_1    
13line27   : invokevirtual  void java.io.PrintStream.println(java.lang.String)  
14line30   : aload_2    
15           invokeinterface  boolean java.util.Iterator.hasNext() 1  
16           ifne  line13  
17           aload_0    
18           getfield  java.util.List my.lang.Iterable_eros.strings  
19           invokeinterface  java.util.Iterator java.util.List.iterator() 1  
20           astore_1    
21line49   : goto  line69  
22line52   : aload_1    
23           invokeinterface  java.lang.Object java.util.Iterator.next() 1  
24           checkcast  java.lang.String  
25           astore_2    
26line62   : getstatic  java.io.PrintStream java.lang.System.out  
27           aload_2    
28line66   : invokevirtual  void java.io.PrintStream.println(java.lang.String)  
29line69   : aload_1    
30           invokeinterface  boolean java.util.Iterator.hasNext() 1  
31           ifne  line52  
32line78   : return

这边还发现一个比较有趣的现象：在取Iterator.next()之后并在把该值load进内容栈之前，编译器调用了checkcast  java.lang.String方法来进行类型安全检查，jdk应该是采用这个来检测并抛出ClassCastException的。