Java中泛型是类型擦除的
2012-05-10 10:17
260 查看
Java 泛型(Generic)的引入加强了参数类型的安全性,减少了类型的转换,但有一点需要注意:Java 的泛型在编译器有效,在运行期被删除,也就是说所有泛型参数类型在编译后都会被清除掉,看下面一个列子,代码如下:
Method listMethod(List<String>) has the same erasure listMethod(List<E>) as another method in type Foo
此错误的意思是说listMethod(List<String>) 方法在编译时擦除类型后的方法是listMethod(List<E>),它与另外一个方法重复,也就是方法签名重复。反编译之后的方法代码如下:
List<String>、List<T> 擦除后的类型为 List。
List<String>、List<T>[] 擦除后的类型为 List[]。
List<? extends E>、List<? super E> 擦除后的类型为 List<E>。
List<T extends Serialzable & Cloneable> 擦除后类型为 List<Serializable>。
Java 为什么这么处理呢?有以下两个原因:
避免 JVM 的大换血。如果 JVM 将泛型类型延续到运行期,那么到运行期时 JVM 就需要进行大量的重构工作了,提高了运行期的效率。
版本兼容。 在编译期擦除可以更好地支持原生类型(Raw Type)。
明白了 Java 泛型是类型擦除的,下面的问题就很好理解了:
(1) 泛型的 class 对象是相同的
每个类都有一个 class 属性,泛型化不会改变 class 属性的返回值,例如:
(2) 泛型数组初始化时不能声明泛型类型
如下代码编译时通不过:
(3) instanceof 不允许存在泛型参数
以下代码不能通过编译,原因一样,泛型类型被擦除了。
Cannot perform instanceof check against parameterized type List<String>. Use the form List<?> instead since further generic type information will be erased at runtime
public class Foo { public void listMethod(List<String> stringList){ } public void listMethod(List<Integer> intList) { } }代码很简单,看起来没什么问题,但是编译器却报出如下错误信息:
Method listMethod(List<String>) has the same erasure listMethod(List<E>) as another method in type Foo
此错误的意思是说listMethod(List<String>) 方法在编译时擦除类型后的方法是listMethod(List<E>),它与另外一个方法重复,也就是方法签名重复。反编译之后的方法代码如下:
public void listMethod(List list) { }从上面代码可以看出 Java 编译后的字节码中已经没有泛型的任何信息,在编译后所有的泛型类型都会做相应的转化,转化如下:
List<String>、List<T> 擦除后的类型为 List。
List<String>、List<T>[] 擦除后的类型为 List[]。
List<? extends E>、List<? super E> 擦除后的类型为 List<E>。
List<T extends Serialzable & Cloneable> 擦除后类型为 List<Serializable>。
Java 为什么这么处理呢?有以下两个原因:
避免 JVM 的大换血。如果 JVM 将泛型类型延续到运行期,那么到运行期时 JVM 就需要进行大量的重构工作了,提高了运行期的效率。
版本兼容。 在编译期擦除可以更好地支持原生类型(Raw Type)。
明白了 Java 泛型是类型擦除的,下面的问题就很好理解了:
(1) 泛型的 class 对象是相同的
每个类都有一个 class 属性,泛型化不会改变 class 属性的返回值,例如:
public static void main(String[] args) { List<String> ls = new ArrayList<String>(); List<Integer> li = new ArrayList<Integer>(); System.out.println(ls.getClass() == li.getClass()); }代码返回值为 true,原因很简单,List<String> 和 List<Integer> 擦除后的类型都是 List。
(2) 泛型数组初始化时不能声明泛型类型
如下代码编译时通不过:
List<String>[] list = new List<String>[];在这里可以声明一个带有泛型参数的数组,但是不能初始化该数组,因为执行了类型擦除操作后,List<Object>[] 与 List<String>[] 就是同一回事了,编译器拒绝如此声明。
(3) instanceof 不允许存在泛型参数
以下代码不能通过编译,原因一样,泛型类型被擦除了。
List<String> list = new ArrayList<String>(); System.out.println(list instanceof List<String>);错误信息如下:
Cannot perform instanceof check against parameterized type List<String>. Use the form List<?> instead since further generic type information will be erased at runtime
相关文章推荐
- 掌握 Java 泛型类型(四)
- Java中泛型 类型擦除
- Java 8新特性探究(六)泛型的目标类型推断
- java 统一输入泛型类型
- java取得泛型的参数类型
- java获取泛型的真实类型
- Java 泛型类型通配符
- Java泛型04 : 泛型类型擦除
- Java 5.0 泛型之 通过泛型方法返回泛型类型
- 揭开Java 泛型类型擦除神秘面纱
- Java反射TypeToken解决泛型运行时类型擦除问题
- 【Java学习笔记】36:泛型的类型变量的限定
- java 统一输入泛型类型
- [改善Java代码]强制声明泛型的实际类型
- java 多个泛型的类型获取方法
- java 通过反射获取泛型的类型
- java 泛型类型 E K N T V S U
- java中泛型之类型通配符(?)
- Java 8新特性探究(六): 泛型的目标类型推断
- Java 泛型总结(一):基本用法与类型擦除