Java:使用接口(interface)指针转换为泛型

Question

在下面的示例代码中有两个类 EventA和 EventB都实现了 interface Historical . Java 可以自动转换为 EventA或 EventB至 Historical当这些对象之一作为参数传递时，如 examineEvent下面的方法。但是，当引入泛型时，Java 不再能够转换。来自 List<EventA>至 List<Historical> -- 除非目标函数(在本例中为 findClosestValidEventIndex )是使用 List<? extends Historical> 声明的.

有人可以解释为什么一定是这样吗？在我看来，在泛型中使用接口(interface)应该自动暗示 <? extends Interface> .

public class SampleApplication {

   public interface Historical {
      public DateTime getDate();
   }   

   public static class EventA implements Historical {
      private DateTime date;
      @Override
      public DateTime getDate() {
         return date;
      }
   }

   public static class EventB implements Historical {
      private DateTime date;
      @Override
      public DateTime getDate() {
         return date;
      }
   } 

   private static int findClosestValidEventIndex(List<Historical> history, DateTime when) {
      // do some processing
      return i;
   }

   private static int examineEvent(Historical event){
      return j;
   }

   public static void main(String[] args) {
      DateTime target = new DateTime();
      // AOK
      EventA a = new EventA(target);
      int idy = examineEvent(a);
      // Type Error --- Unless 
      List<EventA> alist = new ArrayList<EventA>();
      int idx = findClosestValidEventIndex(alist, target);
   }
}

Answer 1

因为 List<EventA> 不是 List<Historical> .想象一下:

List<EventA> list = ...;
List<Historical> h = (List<Historical>) list;
h.add(new EventB()); //type-safety of list is compromised
for (EventA evt : list) { // ClassCastException - there's an EventB in the lsit
   ...
}

List<? extends Historical>意思是“历史的一个特定子类型的列表”，你不能向它添加任何东西，因为在编译时你不知道类型是什么。