Java协变量数组不好？

Question

有人告诉我，Java允许协变数组子类型化，换句话说，如果A是B的子类型，那么A []是B
[]的子类型，但这是一个不好的功能，因为它可能导致运行时错误。有人可以给我一个具体的例子来说明它如何导致运行时错误，以及Java是否/如何解决此问题？

谢谢！

Answer 1

很简单。

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它是不变的。