Kowariancja Java
Trudno mi to zrozumieć. Powiedz, że mam następujący kod:
class Animal { }
class Mammal extends Animal { }
class Giraffe extends Mammal { }
...
public static List<? extends Mammal> getMammals() { return ...; }
...
public static void main(String[] args) {
List<Mammal> mammals = getMammals(); // compilation error
}
Dlaczego przypisanie powoduje błąd kompilacji? Błąd jest podobny do:
Type mismatch: cannot convert from List<capture#4-of ? extends Mammal> to List<Mammal>
Zgodnie z moim rozumieniem kowariancji,getMammals()
metoda zwraca alist
to zawsze będzie zawieraćMammal
obiekty, które powinny być przypisywalne. czego mi brakuje?