Почему я не могу передать объект типа T методу на объект типа <? extends T>?

Question

В Java, предположим, что у меня есть следующий класс контейнер, который содержит список классов предметов:

 

    public class Container<T> 
    { 
     private List<Item<? extends T>> items; 

     private T value; 

     public Container(T value) 
     { 
      this.value = value; 
     } 

     public void addItem(Item<? extends T> item) 
     { 
      items.add(item); 
     } 

     public void doActions() 
     { 
      for (Item<? extends T> item : items) 
      { 
       item.doAction(value); 
      } 
     } 
    } 

    public abstract class Item<T> 
    { 
     public abstract void doAction(T item); 
    } 
 

Eclipse, дает ошибку: The method doAction(capture#1-of ? extends T) in the type Item is not applicable for the arguments (T)

Я читала дженерики примеры и различные проводки вокруг, но я до сих пор не могу понять, почему это запрещено. Eclipse также не дает никаких полезных советов в предлагаемом исправлении. Переменная value относится к типу T, почему бы не применимо к ? extends T ?.

Answer 1

Взгляните на следующую программу

public class Cell<T> { 
    private T value; 

    public void set(T t) { value = t; } 
    public T get() { return value; } 
} 


Cell<Integer> ci = new Cell<Integer>(); 
Cell<? extends Number> cn = ci; 

cn.set(new Double(5.0)); // (A) <-- Compile error here 


Integer n = ci.get(); // (B) Runtime error! 

Как вы сказали, линия (А) не компилируется. Если эта строка была законной, то во время выполнения программа передает объект Double на вызов cn.set(), где динамический тип cn - Cell<Integer>.

Когда выполнение впоследствии прибывает в (В), ci.get() возвращает объект Double --- тот, который был принят в (А) --- были декларация ci говорит, что его метод get() гарантированно возвращает Integer , Чтобы предотвратить эту загадку (которая фактически нарушает сильную философию типизации JVM), компилятор запрещает присвоение от T до <? extends T>.

Answer 2

См. my (only!) blog post. Он напрямую не говорит о случае «? Extends T», но везде, где вы видите «?», Просто представьте, что он говорит: «Расширяет объект», и он должен стать ясным.

В принципе, у вас есть список «что-то, что расширяет T», но вы не знаете, что это такое во время компиляции.

Answer 3

PECS - Producer-extends, consumer-super

заменить все вхождения extends с super в ваших декларациях (в том числе и тот, который вы опущены, в цикле), и он компилирует :)