Java Generics extends generiert immer noch ungeprüfte Cast-Warnung

Question

Gibt die Vererbungsbeziehung parametrisierter generischer Typen nicht genug an, um die Typensicherheit zu gewährleisten? Zum Beispiel:

public class ListCastFunction<F, T extends F> implements Function<F, T> { 
    public final T apply(final F from) { 
     return (T) from; 
    } 
} 

Dies generiert immer noch eine Compiler-Warnung. Wenn wir wissen, T extends F, ist es wirklich nicht überprüft?

Answer 1

Sie Casting und F zu einem T, aber da T extends F, sind Sie ausdrücklich einziehe. Es gibt keine Möglichkeit zu garantieren, dass die in der Methode angegebene F eine T ist. Angenommen, ich dies tun, vorausgesetzt, dass die impliziert Eltern-Kind-Beziehungen gemacht werden:

ListCastFunction<Animal, Mammal> lcf = new ListCastFunction<>; 
Mammal i = lcf.apply(new Fish()); 

Dies würde brechen, wenn sie ausgeführt, weil ein Fish keine Mammal ist, aber sie paßt Ihren Code.