JAva foreach実現原理
JAva.util.Listはjava.lang.Iterableインタフェースを実現した.
jdk apiドキュメントでは、Iterableインタフェースについて説明しています.このインタフェースを実装すると、オブジェクトが「foreach」文のターゲットになることができます.しかし、どう見てもIterableインタフェースには特別なところはなく、反復器を定義しているだけです.
どのようにforeachを実現したのか、コンパイラが最適化したのかを考えて、最終的にコンパイルされたバイトコードを見ました.
対応するバイトコードは次のとおりです.
やっぱり間違えてないですね!foreach構文は最終的にコンパイラによってIterator.hasNext()とIterator.next()の呼び出しに変換されることがわかります.利用者である私たちは、jdkが私たちにこれらの細部を暴露する必要はなく、Iteratorの存在を知る必要もなく、jdkの強さを認識しているのではないでしょうか.
自分の考えを確かめるために、またIteratorでリストを巡る方法でバイトコードを調べてみましたが、やはりforeachの形式とほぼ同じで、もちろんこれは後話です~
対応するバイトコードは次のとおりです.
ここでは、Iterator.next()を取得した後、その値loadをコンテンツスタックに入れる前に、コンパイラがcheckcastを呼び出した興味深い現象も発見されました. JAva.lang.Stringメソッドはタイプセキュリティチェックを行い、jdkはこれを使用してClassCastExceptionを検出して放出するはずです.
jdk apiドキュメントでは、Iterableインタフェースについて説明しています.このインタフェースを実装すると、オブジェクトが「foreach」文のターゲットになることができます.しかし、どう見てもIterableインタフェースには特別なところはなく、反復器を定義しているだけです.
public interface Iterable<T> {
/**
* Returns an iterator over a set of elements of type T.
*
* @return an Iterator.
*/
Iterator<T> iterator();
}
どのようにforeachを実現したのか、コンパイラが最適化したのかを考えて、最終的にコンパイルされたバイトコードを見ました.
public class Iterable_eros {
List<String> strings;
public void display(){
for(String s : strings){
System.out.println(s);
}
}
}
対応するバイトコードは次のとおりです.
public void display (){
line0 : aload_0
getfield java.util.List my.lang.Iterable_eros.strings
invokeinterface java.util.Iterator java.util.List.iterator() 1
astore_2
goto line30
line13 : aload_2
invokeinterface java.lang.Object java.util.Iterator.next() 1
checkcast java.lang.String
astore_1
line23 : getstatic java.io.PrintStream java.lang.System.out
aload_1
line27 : invokevirtual void java.io.PrintStream.println(java.lang.String)
line30 : aload_2
invokeinterface boolean java.util.Iterator.hasNext() 1
ifne line13
line39 : return
やっぱり間違えてないですね!foreach構文は最終的にコンパイラによってIterator.hasNext()とIterator.next()の呼び出しに変換されることがわかります.利用者である私たちは、jdkが私たちにこれらの細部を暴露する必要はなく、Iteratorの存在を知る必要もなく、jdkの強さを認識しているのではないでしょうか.
自分の考えを確かめるために、またIteratorでリストを巡る方法でバイトコードを調べてみましたが、やはりforeachの形式とほぼ同じで、もちろんこれは後話です~
public void display(){
for(String s : strings){
System.out.println(s);
}
Iterator<String> iterator = strings.iterator();
while(iterator.hasNext()){
String s = iterator.next();
System.out.println(s);
}
}
対応するバイトコードは次のとおりです.
public void display (){
line0 : aload_0
getfield java.util.List my.lang.Iterable_eros.strings
invokeinterface java.util.Iterator java.util.List.iterator() 1
astore_2
goto line30
line13 : aload_2
invokeinterface java.lang.Object java.util.Iterator.next() 1
checkcast java.lang.String
astore_1
line23 : getstatic java.io.PrintStream java.lang.System.out
aload_1
line27 : invokevirtual void java.io.PrintStream.println(java.lang.String)
line30 : aload_2
invokeinterface boolean java.util.Iterator.hasNext() 1
ifne line13
aload_0
getfield java.util.List my.lang.Iterable_eros.strings
invokeinterface java.util.Iterator java.util.List.iterator() 1
astore_1
line49 : goto line69
line52 : aload_1
invokeinterface java.lang.Object java.util.Iterator.next() 1
checkcast java.lang.String
astore_2
line62 : getstatic java.io.PrintStream java.lang.System.out
aload_2
line66 : invokevirtual void java.io.PrintStream.println(java.lang.String)
line69 : aload_1
invokeinterface boolean java.util.Iterator.hasNext() 1
ifne line52
line78 : return
ここでは、Iterator.next()を取得した後、その値loadをコンテンツスタックに入れる前に、コンパイラがcheckcastを呼び出した興味深い現象も発見されました. JAva.lang.Stringメソッドはタイプセキュリティチェックを行い、jdkはこれを使用してClassCastExceptionを検出して放出するはずです.