Java Generics Ковариация против контравариантности

Question

Вопросы, заданные внутри кода.

class A1{} 
class B1 extends A1{} 
class C1 {} 

public class X { 

    public void meth(List<? super B1> l){ 
     l.add(new A1());//why this is not a valid syntax,why we can only add new B1() ? 
    } 

    public void meth2(List<? extends A1> l){ 
     //and here, why can't we add anything ? 
    } 
} 

Answer 1

Точка List<? ... > является то, что вы не знаете, какой тип список должен содержать.

Вы не можете добавить B1 к List<? super B1>, потому что это может быть на самом деле List<B1>, который не может содержать A1.

Вы не можете добавлять ничего (кроме null) к List<? extends A1>, потому что вы ничего о том, что типа он должен содержать не знаете. Это может быть List<some class that inherits B1>.