今天在复习java泛型时遇到一个疑问:即然java泛型的原理是编译时定,运行时擦除,那为什么还会在运行时抛出ClassCastException异常呢?
问题代码如下:
ArrayList<String> list = new ArrayList<String>();//泛型类型为String
Method method = list.getClass().getMethod("add", Object.class);
method.invoke(list, 111);//利用反射添加一个Integer类型的值
String str = list.get(0);//!!此处报错:java.lang.Integer cannot be cast to java.lang.String
System.out.println(str);
按照泛型擦除的意思,只要通过编译,运行时会把泛型String去除,转换为Object,那为什么还会抛ClassCastException异常呢?刚开始以为所谓的泛型擦除可能会保留一些泛型信息,后来,一看反编译后的源码,发现并不是这么回事。
ArrayList list = new ArrayList();
Method method = list.getClass().getMethod("add", new Class[] { Object.class });
method.invoke(list, new Object[] { Integer.valueOf(111) });
String str = (String)list.get(0);//!!注意:本行代码做了强制类型转换
System.out.println(str);
我们看到,编译后的代码被加了强制类型转换了……
也就是说,是java编译器做了手脚,编译java源码时,为了适应泛型仅在编译期做限制这一要求,在调用某一泛型方法时,会根据当前泛型限制类型(String)改变编译后的字节码,加上相应的强制类型转换
看来,java泛型的实现的确陷阱不少……