//在编译阶段使用泛型,运行阶段取消泛型,就是擦除. //因为泛型其实只是在编译器中实现的而虚拟机并不认识泛型类项,所以要在虚拟机中将泛型类型进行擦除, //擦除是将泛型以其父类代替,如String变成了object等. //在使用的时候还是进行带强制类型转化,只不过这是比较安全的转换,因为在编译阶段已经确保了数据的一致性; //ArrayList<Integer> l1 = new ArrayList();ArrayList<String> l2 = new ArrayList();System.out.println(l1.getClass()==l2.getClass()); //泛型信息只存在于代码编译阶段,但是在java的运行期(已经生成字节码文件后)与泛型相关的信息会被擦除掉,专业术语叫做类型擦除 //因为ArrayList <String>和ArrayList <Integer>在 jvm 中的 Class 都是 List.class,二者在 jvm 中等同于List<Object> 。
ArrayList<String> l=new ArrayList<String>();
l.add("abc");
l.add(123);
l.add(123)无法编译通过,因为123不是String类型,这也是使用泛型的好处之一。
理解了泛型擦除的原理,我们可以巧妙地利用这个原理结合反射知识干一些“坏事”,例如:
ArrayList<String>l=new ArrayList<String>();
l.add("abc");
try {
Method method = l.getClass().getDeclaredMethod("add",Object.class);
method.invoke(l,"test");
method.invoke(l,100.f);
}catch (Exception e) {
e.printStackTrace();
}
System.out.println("list的大小是:"+l.size());
for ( Object o: l){
System.out.println(o);
}
list的大小是:3
abc
test
100.0(被成功插入到ArrayList中)
可以看见100.0 成功地插入到ArrayList <String> 中了,所以利用类型擦除的原理并结合反射的手段就绕过了正常开发中编译器不允许的操作限制。
我们可以将泛型比作是一个看守,他来守护我们的代码安全,然后设置各项规定,“xxx 禁止出入”的提醒。而现实生活中,也总会有些人能够基于对门卫们生活作息的规律,绕开他们的监视(反射结合泛型擦除)来干一些坏事儿 。