我很难弄清楚这个问题。假设我有以下代码:
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
}
为什么这个任务会导致编译错误?错误大概是这样的:
Type mismatch: cannot convert from List<capture#4-of ? extends Mammal> to List<Mammal>
根据我对协方差的理解,
getMammals()
方法返回一个list
,该列表始终包含Mammal
对象,因此它应该是可分配的。我错在哪里了?