在某些情况下，即使某个对象不是数组的基类型，我们也可以把它赋值给数组元素。这种属性叫做协变（covariance）。在下面的情况下可以使用协变：
数组是引用类型数组。
在赋值的对象类型和数组基类型之间有隐式转换或显式转换。
由于在派生类和基类之间总是有隐式转换的，因此总是可以将一个派生类的对象赋值给为基类声明的数组。
只有数组存在协变,此功能有利也有弊,相对于List 是支持泛型 不支持协变
class A{
}
class B extends A{
}
A[] array = new B[10];
A[] array = new A[10];
array[0] = new B();
此种创建数组 或者赋值成功即为数组的协变原因
对于List
List<A> list = new ArrayList<B>();(编译失败,泛型)
正是因为数组支持协变,也就导致存在下面的隐患
Object[] array = new Integer[10];
array[0] = "s String";
编译正常
运行则报异常
Exception in thread "main" java.lang.ArrayStoreException: java.lang.String
at com.me.test.Main.main(Main.java:9)
所以要合理的使用数组的协变
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
