Положим, что DerivedType extends BaseType
. В таком случае List<DerivedType>
является подтипом List<? extends BaseType>
, но не является подтипом List<BaseType>
.
Когда вы объявляете переменную типа List<SomeType>
, вы говорите, что список содержит или SomeType
, или производные от него. Вы можете положить в список переменную любого типа, унаследованного от SomeType
или самого его.
Когда вы объявляете переменную типа List<? extends SomeType>
, вы говорите, какой тип списка переменная может содержать. Вы не можете просто взять и положить элемент типа SomeType
в такую переменную, потому что с точки зрения компилятора список может оказаться и списком List<DerivedType>
.
См. Generics : List<? extends Animal>
is same as List<Animal>
?