Covariância de Java
Eu estou tendo dificuldade em descobrir isso. Digamos que eu tenha o seguinte código:
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
}
Por que a atribuição resulta em um erro de compilação? O erro é algo como:
Type mismatch: cannot convert from List<capture#4-of ? extends Mammal> to List<Mammal>
De acordo com minha compreensão de covariância, ogetMammals()
método retorna umlist
que sempre conteráMammal
objetos para que ele possa ser atribuído. o que estou perdendo?