有人告诉我,Java 允许协变数组子类型化,换句话说,如果 A 是 B 的子类型,那么 A[] 是 B[] 的子类型,但这是一个不好的特性,因为它可以导致运行时错误。谁能给我一个具体的例子来说明它是如何导致运行时错误的,以及 Java 是否/如何解决这个问题?
最佳答案
非常简单。
String strings[] = {"Broken","Type", "system"};
Object objects[] = strings;
objects[0] = 5; // compiles fine, but throws ArrayStoreException at runtime
只要你把东西拿出来,协变类型还不错,但是当你把东西放进去的时候,整个东西就坏了。 假设您有一个方法将 Object[] 作为参数。
fn(Object[]a){
...
}
如果能够用 String[]
调用它不是很好吗?
String[] s = {"I","didn't","know","that","this","was","broken"}
fn(s);
嗯,这听起来很自然,尤其是在我们语言中没有泛型的早期。只要没有任何变化,所有这些都可以正常工作,而 Java 不提供任何机制来保证这一点。
你应该总是喜欢 Lists
而不是 arrays
,因为 Lists
使用不变的 generics
。
关于Java协变数组不好吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28570877/