在参数中使用通用集合

Question

假设您有：

public interface A {}

public class B implements A {}

public class C {
  void foo (List<A>) {}
}

public class Test {
  //Declaration one
  List<A> x = new List<A>();

  //Declaration two
  List<A> x = new List<B>();

  B b = new B();
  x.add(b);


  new C().foo(x);
}

现在显然声明一是执行此操作的正确方法，并且在声明二上收到编译错误。我想知道为什么Java选择以这种特定方式强制执行类型安全。如果“猫”列表仍然是“动物”列表，那么为什么期望有动物列表的方法却拒绝接收一堆猫呢？

好奇心比什么都重要-并有机会更好地完善我的知识。

干杯，戴夫。

Answer 1

Java泛型不是 协变的 。如果可以这样做：

ArrayList<Animal> x = new ArrayList<Cat>();

那么您将能够执行以下操作：

x.add(new Dog());

这违反了ArrayList<Cat>只能容纳Cat对象（或子类对象）的概念。

阅读本文以获得更多详细信息：
Java理论与实践：泛型陷阱

。