Наследование в Java генериков

Question

Несколько дней назад я писал простую программу на Java, и я обнаружил, что этот кусок кода не работает (это дает ошибку во время компиляции):

ArrayList<Document> docs = new ArrayList<Book>(); 

где документ является интерфейсом и Book реализует документ.

Почему наследование в Java не работает с дженериками? Если я хочу, чтобы код работал, я должен использовать специальные символы, например:

ArrayList<? extends Document> docs = new ArrayList<Book>(); 

Я задавался вопросом, что является причиной этого? Если мне нужен ArrayList документов, и я знаю, что книга также является документом, почему я не могу использовать ArrayList of Books в качестве массива документов?

Answer 1

Это просто потому, что тип List<U> не может быть типом подтипа List<V> (за исключением U = V).

Если допустить, например, что List<Integer> является подтипом List<Number>. Вы можете написать следующее:

void addPi(List<Number> l) { 
l.add(3.14); 
} 

List<Integer> l = new LinkedList<>(); 
addPi(l); 

В чем проблема?

Answer 2

рассмотрим следующий пример:

ArrayList<Book>books = new ArrayList<Book>(); 
ArrayList<Document> docs = new ArrayList<Book>(); 
docs.add(new Document()); 
Book book = books.get(0); //Oops, now we have a variable of type book, referring to a Document that is not a book. Not good. 

Если вы хотите более концептуальный справочный материал об этой проблеме читать на Covariance and Contravariance