Java Generics Curiosity

Question

Mam interfejs A, który implementuje narzędzia klasy B.

Poniższa metoda rodzajowa działa

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

ale

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

nie (błąd kompilacji typu niedopasowanie), kiedy jestem kierowania wyjście do

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

defaultCollectionFactory(int count) statycznie zapewnia kolekcję B s, z domyślny schemat etykietowania.

Wszelkie spostrzeżenia na temat tego, dlaczego tak jest? Wygląda na to, że ogólny U i symbol wieloznaczny robią to samo.

Answer 1

W pierwszym konstrukcie określasz, że zwracasz List interfejsu elementu, który został przekazany. Określasz relację między przekazanym obiektem i zwracanym typem obiektu w kierunku U extends T. W tym przypadku kompilator może skojarzyć odpowiednio A i B zi U.

W drugim nie ma takiego rozróżnienia, więc kompilator przyjmuje, że T odnosi się do B i wpisz wartość zwracaną jako List<B>. Następnie wpadasz w pułapkę, gdzie, chociaż B jest instancją A, List<B> nie jest instancją List<A>. Kompilator będzie narzekać:

Niezgodność typów: nie można przekonwertować z listy <B> do listy < >

znajdziesz, że z pierwszym konstruktem, masz swobodę określania List dowolnego interfejsu narzędzia lub dowolnej superklasy w hierarchii B (na przykład), a kompilator nie będzie narzekał.

Answer 2

Kompilator wywnioskuje inny typ parametru dla metody listFactory niż oczekiwano. Podaje, że T jest typu B, więc podpis jest efektywnie List<B> listFactory(Collection<? extends B> source). Określ parametr typu A, jawnie wprowadzając wywołanie metody:

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