问题
假设现在有 Person 类和 Employee 类，假设 Employee IS-A Person，那么，这是不是意味着数组 Employee[ ] IS-A Person[ ] 呢？换句话说，如果一个例程接受 Person[ ] 作为参数，我们能不能把 Employee[ ] 作为作为参数来传递呢？
思考
乍一看，似乎 Employee[ ] 就应该和 Person[ ] 类型兼容。举个例子，假设除了 Employee 外，还有 Student IS-A Person，并假设 Employee[ ] 和 Person[ ] 是类型兼容的，此时考虑如下语句：
// 以下代码正常运行 Person[] arrayP1 = new Person[5]; arrayP1[0] = new Employee(); arrayP1[1] = new Student(); // 既然 Employee[] IS-A Person[] // 那么意味着可将new Person[5]换为new Employee[5] Person[] array = new Employee[5]; array[0] = new Employee(); array[1] = new Student();// ArrayStoreException
array[0] 成功引用一个 Employee，array[1] 本来应该引用一个 Employee，却引用了一个 Student，可是 Student IS-NOT-A Employee，这样就造成了类型混乱，又因为不存在类型转换，Java 虚拟机不能抛出 ClassCastException 异常。
Java 协变数组类型
避免上述问题最容易的方法是设定这些数组不是类型兼容的，可是，在 Java 中数组却是类型兼容的，这叫做协变数组类型。在 Java 中，每个数组都明了它所允许存储的对象类型，并且会在运行时做类型检查(这也是为什么不能创建泛型数组的原因，数组创建时必须知道确切类型)。如果像上面一样将一个不兼容的类型插入数组中，那么虚拟机将抛出一个 ArrayStoreException 异常。
数组记得它内部元素的具体类型，并且会在运行时做类型检查。这就是当初敢于把数组设计成协变的原因，这也是为什么容器 Collection 不能设计成协变的原因(Collection 不做运行时类型检查)。
一点历史
因为 JDK 1.5 之前还没有泛型，但很多代码迫切需要泛型来解决问题，就只能使用协变数组解决。这是对早期没有泛型的妥协，《Effective Java》中明确地指出，Java 允许数组协变是 Java 的缺陷。
————————————————
版权声明：本文为CSDN博主「Acx7」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
