Java协变数组和类型擦除
来源:互联网 发布:淘宝网下载 编辑:程序博客网 时间:2024/06/01 09:36
1、数组的协变性
数组的协变性(covariant)是指:
如果类Base是类Sub的基类,那么Base[]就是Sub[]的基类。
而泛型是不可变的(invariant),List不会是List的基类,更不会是它的子类。
数组的协变性可能会导致一些错误,比如下面的代码:
publicstatic void main(String[] args) { Object[] array = newString[10]; array[0] = 10;}
它是可以编译通过的,因为数组是协变的,Object[]类型的引用可以指向一个String[]类型的对象
但是运行的时候是会报出如下异常的:
Exception in thread
"main"
java.lang.ArrayStoreException: java.lang.Integer
但是对于泛型就不会出现这种情况了:
public
static
void
main(String[] args) {
List< Object> list =
new
ArrayList< String>();
list.add(
10
);
}
这段代码连编译都不能通过。
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
List<integer> li =
new
ArrayList<integer>();
List<number> ln = li;
// illegal
ln.add(
new
Float(
3.1415
));</number></integer></integer>
- Java协变数组和类型擦除
- Java 协变数组和类型擦除
- Java 共变数组和类型擦除
- Java 共变数组和类型擦除
- 协变数组和类型擦除
- Java协变(共变)数组和类型擦除(covariant array & type erasure)
- Java 逆变、协变和类型擦除
- Java——协变数组和类型擦除(covariant array & type erasure)
- Java——协变数组和类型擦除(covariant array type erasure)
- Java——协变数组和类型擦除(covariant array ; type erasure)
- Java学习:协变数组和类型擦除(covariant array ; type erasure)
- Java——协变数组和类型擦除以及泛型相关知识
- Java 协变数组和类型擦除(covariant array & type erasure)
- Java的协变数组类型
- Java中的泛型和类型擦除
- Java泛型 类型擦除
- Java类型擦除
- java泛型-类型擦除
- 解决SSH自动断线,无响应的问题
- MATLAB中imfilter函数用Opencv 实现遇到的若干问题
- ButterKnife源码分析
- RxJava----操作符:条件和布尔操作符
- netty实例之路1
- Java协变数组和类型擦除
- centos下文件颜色
- Android定位
- 过滤器与拦截器区别
- 软件开发管理模型及分析比较
- NSTimer和CADisplayLink
- 指针数组和数组指针的区别
- Java的异或运算
- CSRF跨站点请求伪造