标签：covariance covariant arrays java

有人告诉我,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不提供任何机制来保证这一点.

您应该始终偏爱列表而不是数组,因为列表使用不变的泛型.

标签：covariance,covariant,arrays,java
来源： https://codeday.me/bug/20191028/1954053.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。