Java的协变数组类型
来源:互联网 发布:lte无线网络优化论文 编辑:程序博客网 时间:2024/06/05 04:28
语言设计中的困难之一就是如何处理集合类型的继承问题。
假设Employee IS-A Person,那么,是不是意味着数据Employee[ ] IS-A Person[ ] 呢?换句话说,如果一个例程接受Person[ ] 作为参数,那么我们能不能把Employee[ ] 作为参数
来传递呢?
从表面上来看,似乎Employee[ ] 就应该是和Person[ ]类型兼容的。
现在假设除Employee之外,我们还有Student IS-A Employee,并假设Employee[ ] 是和Person[ ]类型兼容的,此时考虑以下两个赋值语句:
Person[] arr = new Employee[5]; //编译:arrays are compatible
arr[0] = new Student(); //编译:Student IS-A Person
两句都编译,而arr[ 0 ] 实际上引用一个Employee,可是Student IS-NOT-A Employee,这样就产生了类型混乱。运行时系统(runtime system)(Java虚拟机)是不能抛出ClassCastException异常,因为不存在类型转换。
避免这种问题的最容易的方法是指定这些数组不是类型兼容的。可是,在Java中数组却是类型兼容的,这叫做协变数组类型。每个数组都明了它所允许存储的对象的类型。如果将一个不兼容的类型插入到数组中,那么虚拟机将抛出一个ArrayStoreException异常。
阅读全文
0 0
- Java的协变数组类型
- Java协变数组和类型擦除
- Java 协变数组和类型擦除
- java 协变返回类型的理解
- Java 共变数组和类型擦除
- Java 共变数组和类型擦除
- Java协变(共变)数组和类型擦除(covariant array & type erasure)
- Java协变返回类型
- Java协变返回类型
- 类型,转换,数组,协变及其他
- 协变数组和类型擦除
- Java | 协变返回类型学习时的一个例子
- JAVA中有关逆变和协变类型的详解
- Java——协变数组和类型擦除(covariant array & type erasure)
- Java——协变数组和类型擦除(covariant array type erasure)
- Java——协变数组和类型擦除(covariant array ; type erasure)
- Java学习:协变数组和类型擦除(covariant array ; type erasure)
- Java——协变数组和类型擦除以及泛型相关知识
- 侵犯晶片专利?美官方就三星半导体业务展开调查
- 机器学习-回归总结-标准回归,局部加权回归,岭回归,lasso,前向逐步回归
- Waymo在凤凰城推出无人驾驶打车服务
- ajax 和 form 表单 submit 的不同之处
- Wireless Network --并查集
- Java的协变数组类型
- 多线程编程之九:线程私有数据
- EA&UML日拱一卒-多任务编程超入门-(2)进程和线程
- 使用c/c++进行socket编程基础入门
- LeetCode刷题(34)-Rotate List
- [leetcode]#7. Reverse Integer
- overflow in implicit constant conversion
- Android开发—智能家居系列-----手机连接WIFI模块
- React高级指南(十二)【Integrating with Other Libraries】