Java——协变数组和类型擦除

 

 

 

 

 

Java——协变数组和类型擦除(covariant array type erasure)

1、数组的协变性

数组的协变性(covariant)是指：

如果类Base是类Sub的基类，那么Base[]就是Sub[]的基类。

而泛型是不可变的(invariant)，List不会是List_{的基类，更不会是它的子类。}

 

2 数组的具体化。

数组是具体化的(reified)，而泛型在运行时是被擦除的(erasure)。

数组是在运行时才去判断数组元素的类型约束，

而泛型正好相反，在运行时，泛型的类型信息是会被擦除的，只有编译的时候才会对类型进行强化。

java泛型是编译器泛型，是一种语法糖，生成的二进制代码中是没有泛型的，jvm感受不到泛型。java的泛型编译生成二进制代码的时候，进行了类型的擦除，放入集合的实际上是object类型，从集合中获取对象的时候 获取的是object类型， 然后进行了强制类型转换，转换成实际的类型。

 

http://blog.csdn.net/zhang_shufeng/article/details/38193739

 

http://kb.cnblogs.com/page/121058/