Почему Список <Integer> не является подтипом `List <Number>`, но является подтипом `List <? extends Number> `?

Question

Почему List<Integer> не является подтилем List<Number>, но является подтилем List<? extends Number>?

List<Integer> ints = new ArrayList<Integer>(); 
ints.add(1); 
ints.add(2); 
List<? extends Number> nums = ints;// <-- No Error 

Answer 1

Список - это список, который гарантирует, что каждый из его членов является целым числом. Список не дает такой гарантии, это может быть какой-то другой тип. С другой стороны, список не дает такой гарантии.