Явный общий шаблон Java, ограниченный в списках

Question

Я пытаюсь понять Java Generics, и я озадачен ограниченными подстановочными знаками. Я использую иерархию из Guidelines for Wildcard Use и добавил класс PositiveEvenNumber, наследующий от EvenNumber.

List<? super EvenNumber> xn = new ArrayList<NaturalNumber>(); 
    xn.add(new NaturalNumber(35)); // compile-time error 
    xn.add(new EvenNumber(-70)); 
    xn.add(new PositiveEvenNumber(70)); 
    xn.add(new Object()); // compile-time error 

Почему первая строка компилируется? Во второй строке не является NaturalNumber родителем EvenNumber, почему его нельзя добавить?

Спасибо!

Answer 1

List<? super EvenNumber> является список некоторых конкретного типа, при условии, что этот тип является супертипом EvenNumber.

Таким образом, это может быть List<EvenNumber>, и в этом случае вы не можете добавить NaturalNumber.

Это также означает, что вы ничего не можете прочитать из списка (кроме Object), так как вы не знаете, какой тип содержит список. (это может быть даже List<Object>)