Java的协变数组类型

语言设计中的困难之一就是如何处理集合类型的继承问题。

假设Employee IS-A Person，那么，是不是意味着数据Employee[ ] IS-A Person[ ] 呢？换句话说，如果一个例程接受Person[ ] 作为参数，那么我们能不能把Employee[ ] 作为参数

来传递呢？

从表面上来看，似乎Employee[ ] 就应该是和Person[ ]类型兼容的。

现在假设除Employee之外，我们还有Student IS-A Employee,并假设Employee[ ] 是和Person[ ]类型兼容的，此时考虑以下两个赋值语句：

Person[] arr = new Employee[5]; //编译：arrays are compatible
arr[0] = new Student(); //编译：Student IS-A Person

两句都编译，而arr[ 0 ] 实际上引用一个Employee，可是Student IS-NOT-A Employee，这样就产生了类型混乱。运行时系统（runtime system）（Java虚拟机）是不能抛出ClassCastException异常，因为不存在类型转换。

避免这种问题的最容易的方法是指定这些数组不是类型兼容的。可是，在Java中数组却是类型兼容的，这叫做协变数组类型。每个数组都明了它所允许存储的对象的类型。如果将一个不兼容的类型插入到数组中，那么虚拟机将抛出一个ArrayStoreException异常。