为什么将ArrayList的泛型转换为超类不起作用？

Question

有人可以向我解释为什么//this line gives a compile error (why?)以下代码示例中标记的行不起作用吗？

import java.util.ArrayList;

public class GenericCastCheck {

    class A{
    }

    class B extends A{
    }

    public static void main(String[] args) {

        A aObject = new A();
        B bObject = new B();

        //this line works fine
        aObject = bObject;
        //this line gives a compile (expected)
        bObject = aObject;

        ArrayList<A> aList = new ArrayList<A>();
        ArrayList<B> bList = new ArrayList<B>();

        //this line gives a compile error (why?)
        aList = bList;
        //this line gives a compile error (expected)
        bList = aList;
    }
}

具体来说，当我们说bList类型为时ArrayList<B>，这并不表示它的每个元素都是的实例B吗？如果是这样，那么它是什么铸造的问题ArrayList<A>，如果我们都可以投射单个实例B来A？

谢谢。

Answer 1

问题是这样的：

ArrayList<A> aList = new ArrayList<A>();
ArrayList<B> bList = new ArrayList<B>();
aList = bList; // if this were valid...
aList.add(new A()); // ...what should happen here?
B b = bList.get(0); // ...and here?

如果对数组执行相同的操作，则在运行时会在第4行获得ArrayStoreException。对于泛型集合，已决定在编译时避免这种情况。