java forEach实现原理

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

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

  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的呢,想想可能是编译器做了优化,就看了下最终编译成的字节码
  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. }  

相应的字节码为

  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的形式基本一样,当然这是后话~

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

  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    

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


顺着上面的思路猜想了下数组越界异常应该也是通过在字节码中添加在访问数组前的下标检查实现的,不过写了个例子看了下,并没用类似于checkindex  java.lang.Array之类的语句,哈哈,留着以后再想吧~


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值