Java Generics Curiosity

Question

Ich habe eine Schnittstelle A, die Klasse B implementiert.

Die folgende generische Methode funktioniert

public static <T, U extends T> List<T> listFactory(Collection<U> source) { 
    return new ArrayList<T>(source); 
} 

aber

public static <T> List<T> listFactory(Collection<? extends T> source) { 
    return new ArrayList<T>(source); 
} 

nicht (Übersetzungsfehler, Typ stimmt nicht überein), wenn ich die Ausgabe in

List<A> tester = listFactory(B.defaultCollectionFactory(3)); 

defaultCollectionFactory(int count) statisch leite bietet eine Sammlung von B s, mit ein Standardkennzeichnungsschema

Keine Erkenntnisse darüber, warum das so ist? Es sieht so aus, als würden das generische U und der Platzhalter dasselbe tun.

Answer 1

Im ersten Konstrukt geben Sie an, dass Sie eine List der Schnittstelle des übergebenen Elements zurückgeben. Sie geben die Beziehung zwischen dem übergebenen Objekt und dem Rückgabeobjekttyp in der U extends T-Richtung an. In diesem Fall kann der Compiler assoziiert A und B mit T und U ist.

In der zweiten gibt es keine solche Unterscheidung, so dass der Compiler davon ausgeht, dass T sich auf B bezieht und den Rückgabewert als List<B> eingeben wird. Sie fallen dann in die Falle, wo, obwohl B eine Instanz von A ist, List<B> ist keine Instanz von List<A>. Der Compiler wird sich beschweren:

Mismatch Typ: kann nicht aus Liste <B> konvertieren < A zur Liste >

Sie das finden wird, mit dem ersten Konstrukt, Sie haben die Freiheit, eine List Angabe von jeder Schnittstelle die B implementiert oder eine Oberklasse in der B Hierarchie (List<Object>, zum Beispiel), und der Compiler wird nicht beschweren.

Answer 2

Der Compiler führt einen anderen Typparameter für die listFactory-Methode als Sie erwarten. Es folgert, dass T Typ ist B, so die Signatur effektiv List<B> listFactory(Collection<? extends B> source). Geben Sie den Typparameter A an, indem Sie im Methodenaufruf explizit angeben: