foreach的实现原理

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

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

[java] view plain copy

  1. public interface Iterable<T> {  

  2.   

  3.     /** 

  4.      * Returns an iterator over a set of elements of type T. 

  5.      *  

  6.      * @return an Iterator. 

  7.      */  

  8.     Iterator<T> iterator();  

  9. }  


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

[java] view plain copy

  1. public class Iterable_eros {  

  2.       

  3.     List<String> strings;  

  4.   

  5.     public void display(){  

  6.         for(String s : strings){  

  7.             System.out.println(s);  

  8.         }  

  9.     }  

  10.       

  11. }  

相应的字节码为

[java] view plain copy

  1. public void display (){  

  2. line0    : 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  

  7. line13   : aload_2    

  8.            invokeinterface  java.lang.Object java.util.Iterator.next() 1  

  9.            checkcast  java.lang.String  

  10.            astore_1    

  11. line23   : getstatic  java.io.PrintStream java.lang.System.out  

  12.            aload_1    

  13. line27   : invokevirtual  void java.io.PrintStream.println(java.lang.String)  

  14. line30   : aload_2    

  15.            invokeinterface  boolean java.util.Iterator.hasNext() 1  

  16.            ifne  line13  

  17. line39   : return    

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

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

[java] view plain copy

  1. public 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.     }  


[java] view plain copy

  1. public void display (){  

  2. line0    : 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  

  7. line13   : aload_2    

  8.            invokeinterface  java.lang.Object java.util.Iterator.next() 1  

  9.            checkcast  java.lang.String  

  10.            astore_1    

  11. line23   : getstatic  java.io.PrintStream java.lang.System.out  

  12.            aload_1    

  13. line27   : invokevirtual  void java.io.PrintStream.println(java.lang.String)  

  14. line30   : 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    

  21. line49   : goto  line69  

  22. line52   : aload_1    

  23.            invokeinterface  java.lang.Object java.util.Iterator.next() 1  

  24.            checkcast  java.lang.String  

  25.            astore_2    

  26. line62   : getstatic  java.io.PrintStream java.lang.System.out  

  27.            aload_2    

  28. line66   : invokevirtual  void java.io.PrintStream.println(java.lang.String)  

  29. line69   : aload_1    

  30.            invokeinterface  boolean java.util.Iterator.hasNext() 1  

  31.            ifne  line52  

  32. line78   : return  

你可能感兴趣的:(foreach的实现原理)