数组声明和集合声明有什么区别[重复]

Question

 1.  List<Car> carList = new ArrayList<Sedan>();

 2.  List<Car> carList = new ArrayList<Car>();
    carList.add(new Sedan());

%1有编译器错误，而%2是合法的。

为什么变量声明的类型必须与我们传递给对象类型的类型匹配（不允许派生类型）？我使用的数组如下所示，这是完全正确的：

int SIZE = 10;
Car[] carArray = new Sedan[SIZE];

有人能告诉我为什么集合必须声明为条件2吗？谢谢

Answer 1

sedan[]是car[]的子类型。但这对类型安全有非常负面的影响，因为下面的代码因此是合法的：

Sedan[] sedans = new Sedan[10];
Car[] cars = sedans; // legal, since Sedan[] extends Car[]
cars[0] = new Car(); // Houston, we have a problem

这段代码在运行时会导致ArrayStoreException,因为一个假定只包含轿车的数组会包含一个非轿车。

泛型的目标是拥有类型安全的集合。因此决定对它们进行设计,以便在编译时而不是运行时检测到上述问题。集合比数组使用得多，使它们具有类型安全的特性是一件非常好的事情。