Java rodzajowe typu metoda odlewania

Question

Dlaczego tak się stało? Jedna linia kodu działa dobrze, a druga nie. Czy automatyczne odlewanie odbywa się tylko w określonych warunkach? Próbowałem przypisać gt.echoV() do obiektu i działa dobrze; ale kiedy przypiszesz go do String, ten sam błąd znowu się pojawi.

public class GeneMethodTest { 

    public static void main(String... args) { 
     GeneMethodTest gt = new GeneMethodTest(); 
     gt.<String>echoV(); //this line works well 
     gt.<String>echoV().getClass();//this line leads to a type cast exception               
    } 

    public <T> T echoV() { 
     T t=(T)(new Object());                  
     return t; 
    } 
} 

Answer 1

gt.<String>echoV().getClass(); produkuje równowartość następującej sekwencji operacji:

// Inside echoV 
Object t = new Object(); // Note that this is NOT a String! 
Object returnValue = t; 
// In main 
String stackTemp = (String) returnValue; // This is the operation that fails 
stackTemp.getClass(); 

Co można dostać „za darmo” z rodzajowych jest to, że (String) obsady. Nic więcej.

Answer 2

Działa to idealny, nic specjalnego, normalne korzystanie z leków generycznych

gt.<String>echoV(); //this line works well 

Tutaj mamy coś mniej oczywistego. Ponieważ są zdefiniowane w czasie wykonywania metoda rodzajowa robi JVM nie wiedzieć, jaki rodzaj klasy metoda rodzajowa powróci na compiletime, stąd classTypeException

gt.<String>echoV().getClass();//this line leads to a type cast exception 

należy przydzielonej do zmiennej po pierwsze, ponieważ JVM zna typ zmiennej w compiletime

String s = gt.<String>echoV(); 
s.getClass(); 

Answer 3

zmienić tę linię:

gt.<String>echoV().getClass(); 

do:

(gt.echoV()).getClass(); 

i będzie to skompilować
(będzie to powrót: Klasa java.lang.Object)

Korzeń ClassCastException jest to, że metoda zwraca t (rodzajowy typu T który jest obiektem) i spróbować spuścić go na ciąg. Możesz również zmienić kod, aby wrócić:

return (T)"some-string"; 

w celu usunięcia błędu.

Generic są wykorzystywane przez kompilator, by sprawdzić, jaki rodzaj obiektu się spodziewać, więc może złapać błędy dewelopera poczynione w czasie kompilacji (błędy w porównaniu z run-time). Tak więc IMHO ten sposób użycia generyków pokonuje cel.