Java Generics "매개 변수화되지 않은 형식"upcast "

Question

왜 MainCain()에서 세 번째 명령문의 주석 처리를 제거 할 때 ClassCastException이 발생합니까? 예외는 없지만 첫 번째와 두 번째 성명서를 잘 작성 했습니까?

public class Tuple<K, V> { 
    public final K first; 
    public final V second; 

public Tuple(K first, V second) { 
    this.first = first; 
    this.second = second; 
} 

@Override public String toString() { 
    return "Tuple{" + "first = " + first + ", second = " + second + '}'; 
    } 
} 

class Test { static Tuple f(){return new Tuple("test", 8);} } 

class Bar {} 

class Main{ 
    public static void main(String[] args) { 
     Tuple<String, Bar> t = Test.f(); 
     System.out.println(t); 
     //System.out.println(t.second.getClass().getSimpleName()); 
    } 
} 

미리 감사드립니다. Java Docs 당으로

Answer 1

이 방법의 체인 호출

System.out.println(t.second.getClass().getSimpleName()); 

컴파일러 효과적으로이 확장 : t.second는 제네릭 형식임을 발생하는 경우, 지금

TypeOfTSecond tmpTSecond = t.second; 
Class<?> clazzTmp = tmp.getClass(); 
String nameTmp = clazzTmp.getSimpleName(); 
System.out.println(nameTmp); 

, 컴파일러는 삽입합니다 유형에 캐스트하면 t.second이됩니다 :

Bar tmpTSecond = (Bar) t.second; 

Bar 특정 기능에 액세스하지 않으므로 ClassCastException이 표시됩니다.

---

이것을 설명하기 위해, 여기에서 바이트 코드이다 스택으로 푸시된다 t.second 8은

public static void main(java.lang.String[]); 
    Code: 
     0: invokestatic #2  // Method Test.f:()LTuple; 
     3: astore_1 
     4: getstatic  #3  // Field java/lang/System.out:Ljava/io/PrintStream; 
     7: aload_1 
     8: getfield  #4  // Field Tuple.second:Ljava/lang/Object; 
     11: checkcast  #5  // class Bar 
     14: invokevirtual #6  // Method java/lang/Object.getClass:()Ljava/lang/Class; 
     17: invokevirtual #7  // Method java/lang/Class.getSimpleName:()Ljava/lang/String; 
     20: invokevirtual #8  // Method java/io/PrintStream.println:(Ljava/lang/String;)V 
     23: return 

라인; 11 번 행은 Bar에 대한 캐스트가 발생하는 곳입니다.test.f() 선언 할 때

---

이 약 때문에 사용되는 원료 종류의 제공이가 올바르게 다음

static Tuple<String, Integer> f(){return new Tuple<>("test", 8);} 

이 선으로 선언 된 경우

static Tuple f(){return new Tuple("test", 8);} 

을

Tuple<String, Bar> t = Test.f(); 

은 컴파일되지 않습니다. 그러나 원시 타입을 사용하면 컴파일러의 타입 검사가 불가능하므로 이와 같은 런타임 오류는 방지 될 수 없습니다.

---

주요 테이크 아웃 강의는 never use raw types입니다.

2 차 레슨은 컴파일러 (또는 IDE) 경고에주의를 기울입니다.

Note: Main.java uses unchecked or unsafe operations. 
Note: Recompile with -Xlint:unchecked for details. 

및 그 플래그를 사용하여 컴파일 할 때 :이 코드를 컴파일, 나는 들었다

Main.java:19: warning: [unchecked] unchecked call to Tuple(K,V) as a member of the raw type Tuple 
     return new Tuple("test", 8); 
      ^
    where K,V are type-variables: 
    K extends Object declared in class Tuple 
    V extends Object declared in class Tuple 
Main.java:26: warning: [unchecked] unchecked conversion 
    Tuple<String, Bar> t = Test.f(); 
           ^
    required: Tuple<String,Bar> 
    found: Tuple 
2 warnings 

Answer 2

, getClass() 방법 클래스 Object에

실제 결과 유형이 Class<? extends |X|> 때문이다 | X |은 getClass가 호출 된 표현식의 정적 유형을 지우는 것입니다. Integer와 Bar 사이에 부모 - 자식 관계가 바의 정수를 캐스팅하는 동안, 당신은 ClassCastException를 얻을 수 없기 때문에 선언 부분에서

이 유형 바

Tuple<String, Bar> t = Test1.f(); 

이다 (즉 Integer extends Bar은 아니다) 여기서 올바른

는 수정을

Tuple<String, Object> t = Test1.f(); 

주이며 :It is not encouraged to use raw types. 이 대답은 실패의 원인과 그에 대한 해결책을 설명합니다. 당신이 쓸 때