자바 foreach 실현 원리

java.util.List 는 java.lang.Iterable 인 터 페 이 스 를 실현 했다.
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.next()호출 된 것 을 볼 수 있 습 니 다.사용자 로 서 jdk 는 이러한 세부 사항 을 우리 에 게 폭로 할 필요 가 없다.우 리 는 Iterator 의 존 재 를 알 필요 도 없고 jdk 의 강 한 점 을 깨 달 았 다.
자신의 생각 을 증명 하기 위해 Iterator 로 List 를 옮 겨 다 니 는 방법 으로 바이트 코드 를 보 았 습 니 다.역시 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()를 가 져 온 후에 이 값 을 콘 텐 츠 스 택 에 로드 하기 전에 컴 파일 러 가 checkcast 를 호출 했다. java.lang.string 방법 으로 유형 안전 검 사 를 진행 합 니 다.jdk 는 이것 을 사용 하여 ClassCastException 을 검사 하고 던 져 야 합 니 다.
위의 생각 에 따라 다음 배열 의 경계 이상 도 바이트 코드 에 배열 에 접근 하기 전의 아래 표 시 를 추가 하여 이 루어 질 것 이 라 고 추측 했다.그러나 예 를 들 어 보 았 을 때 checkindex 와 유사 하지 않 았 다. java.lang.Array 같은 문구,하하,남 겨 두 고 생각해 요~