Java协变数组和类型擦除
2016-04-27 11:24
316 查看
1、数组的协变性
数组的协变性(covariant)是指:如果类Base是类Sub的基类,那么Base[]就是Sub[]的基类。
而泛型是不可变的(invariant),List不会是List的基类,更不会是它的子类。
数组的协变性可能会导致一些错误,比如下面的代码:
publicstatic void main(String[] args) { Object[] array = newString[10]; array[0] = 10; }
它是可以编译通过的,因为数组是协变的,Object[]类型的引用可以指向一个String[]类型的对象
但是运行的时候是会报出如下异常的:
?
?
2、数组的具体化。
数组是具体化的(reified),而泛型在运行时是被擦除的(erasure)。数组是在运行时才去判断数组元素的类型约束,
而泛型正好相反,在运行时,泛型的类型信息是会被擦除的,只有编译的时候才会对类型进行强化。
所以上面的例子中,数组的方法会在运行时报出ArrayStoreException,而泛型根本无法通过编译。
3、泛型不是协变的
虽然将集合看作是数组的抽象会有所帮助,但是数组还有一些集合不具备的特殊性质。Java 语言中的数组是协变的(covariant),也就是说,如果 Integer扩展了 Number(事实也是如此),那么不仅 Integer是 Number,而且 Integer[]也是 Number[],在要求 Number[]的地方完全可以传递或者赋予
Integer[]。(更正式地说,如果 Number是 Integer的超类型,那么 Number[]也是 Integer[]的超类型)。
您也许认为这一原理同样适用于泛型类型 —— List是 List的超类型,那么可以在需要 List的地方传递 List。不幸的是,情况并非如此。
不允许这样做有一个很充分的理由:
这样做将破坏要提供的类型安全泛型。
如果能够将 List赋给 List。
那么下面的代码就允许将非 Integer的内容放入 List
?
相关文章推荐
- RxJava----操作符:条件和布尔操作符
- Spring整合Proxool到Ibatis中
- 《疯狂Java讲义(第3版)》.(李刚)——数组
- 图片缩放时java.lang.IllegalArgumentException: pointerIndex out of range解决方案
- java流程控制语句(三)
- JAVA设计模式之单例模式
- Java异常总结
- SpringMvc与Struts2的对比,孰优孰劣
- Struts2-S2-032远程命令执行EXP
- eclipse中svn的使用:Failed to run the WC DB work queue associated with 'E:\NewEclip
- java获取程序根目录 WEB-INFO目录 CLASSES文件夹路径
- java流程控制语句(二)
- servlet开发简单Java Web项目
- spring MVC mybatis 日志问题
- java流程控制语句(一)
- Spring scope属性详解
- 在Eclipse(JAVA)中加载WEKA的ARFF文件
- java多线程解决生产者消费者问题
- ubuntu系统下eclipse的安装
- spring 注解实现 定时任务