Повторное использование общего типа T, расширяющего определенный класс

Question

Я хотел бы использовать ArrayList, который содержит элементы типа, заданного классом.

public class Foo<T extends Comparable<T>> extends AbstractFoo { 

    private ArrayList<T> list = new ArrayList<T>(); 

    @Override 
    public void add(Comparable e) { 
     list.add(e); // The method add(T) in the type ArrayList<T> is not applicable for the arguments (Comparable) 
    } 
} 

Почему я не могу добавить e к list? Поскольку T определенно расширяет Comparable, я полагаю, я могу добавить e в list.

Answer 1

Предположим, у вас есть класс Teacher и класс Student, которые оба реализуют Comparable. Теперь, если вы создадите Foo<Teacher>, этот объект foo будет содержать список учителей ArrayList<Teacher>. Если ваш код будет компилироваться, теперь вы можете добавить ученика (потому что он сопоставим) с списком учителей, который, конечно, не разрешен.

Вы могли бы на самом деле хотите:

@Override 
public void add(T e) { 
    list.add(e); 
} 

Answer 2

Потому что все T s являются Comparable, но не все Comparables являются T s вы не можете добавить Comparable в список T.

Вы можете сделать это, имея ArrayList<Comparable<T>> хотя

public class Foo<T extends Comparable<T>> extends AbstractFoo { 

    private ArrayList<Comparable<T>> list = new ArrayList<>(); 

    @Override 
    public void add(Comparable e) { 
     list.add(e); 
    } 
}