列表 lsb = new ArrayList(); java中的逻辑错误？

Question

我们有：

class A{}
class B extends A{}
class C extends B{}
class D extends C{}

我们可以像这样定义列表：

List<? super B> lsb1 = new ArrayList<Object>();
//List<? super B> lsb2 = new ArrayList<Integer>();//Integer, we expect this    
List<? super B> lsb3 = new ArrayList<A>();
List<? super B> lsb4 = new ArrayList<B>();
//List<? super B> lsb5 = new ArrayList<C>();//not compile
//List<? super B> lsb6 = new ArrayList<D>();//not compile

现在我们创建一些对象：

Object o = new Object();
Integer i = new Integer(3);
A a = new A();
B b = new B();
C c = new C();
D d = new D();

我将尝试将这些对象添加到列表中：

List<? super B> lsb = new ArrayList<A>();
lsb.add(o);//not compile
lsb.add(i);//not compile 
lsb.add(a);//not compile
lsb.add(b);
lsb.add(c);
lsb.add(d);

问题：

为什么当我定义 ListList< 的引用时？ super B> 我可以使用 new ArrayList<>(); ，它可以具有 B、A、Object 的元素类型（我期望如此），但是当我向此列表添加元素时，可以仅添加类型为 B、C、D 的对象吗？

Answer 1

此处 @ JavaRanch 常见问题解答进行了精彩的解释。

Answer 2

列表 是一个 List，其确切组件类型未知。编译器只知道组件类型是 B、A 或 Object。

它可以是一个List。

如果它是 List，则无法添加元素 A。

这是为了防止数组可能发生以下情况：

String[] x = new String[10];
Object[] x2 = x;
x2[0] = 123; // not a String, compiles, but crashes at run-time