Ostrzeżenie dotyczące dziedziczenia generycznego języka Java

Question

W poniższym przykładzie metoda foo podaje ostrzeżenie, natomiast bar nie?

public class X { 

    static class Y {} 
    static class Z extends Y {} 

    Y y = new Y(); 

    <T extends Y> T foo() { 
     return (T) y; // warning - Unchecked cast from X.Y to T 
    } 

    Z bar() { 
     return (Z) y; // compiles fine 
    } 

} 

Answer 1

Typ T jest usuwany do Y podczas kompilacji, tak jak generics działa w Javie. Tak więc, gdy rzutowanie jest wykonywane w czasie wykonywania, typ T nie jest dostępny, jest to po prostu kodw kodzie bajtowym.

kompiluje dobrze, ponieważ wszystkie informacje o typie są dostępne (nie można obsadzić rzutowania). Jednak foo() brakuje informacji tego typu i nie może zawieść, potencjalnie (lub oczywiście w tym przypadku) renderowania podpisu typu metody niepoprawny i staje się źródłem błędów w programie.

Aby to zrobić bezpiecznie, musisz przekazać samą klasę do metody.

<T extends Y> T foo(Class<T> cls) { 
    return cls.cast(y); //No type warning. Will throw an error when cast fails. 
} 

Answer 2

Ponieważ T jego tag rodzaj i Z jego nazwy klasy. return (Z) y; jego prawidłowy rzut, ale return (T) y; - rzutowanie na nieznany typ w środowisku wykonawczym. JVM nic nie wiadomo o tagach typów w środowisku wykonawczym (patrz sekcja samouczka this). W absolutnie krótkim, return (T) y;, równoważnie return (Object) y;, odznaczono odlewanie z X.Y na Object. Zobacz także wyjaśnienie na temat downcasting in Java dla return (Z) y;.