java泛型是java中常用的一个对象,通过泛型,我们可以约束输入或保存的对象类型,以满足我们实际的需求。那我们不仅有个疑问,使用泛型会对原有的类产生影响么?如:
ArrayList list1=new ArrayList();
ArrayList<String> list2=new ArrayList<String>();
这样创建的两个对象list1 和list2 ,对应的类会有什么不同么?
我们可以通过这样的方式来判断下,编译后的类对象是否相同:
Class c1=list1.getClass();
Class c2=list2.getClass();
System.out.println(c1==c2); //true
我们发现,编译后的list1和list2,对应的类类型c1和c2实际是相同的。那我们是不是可以这样想:java程序在进行编译之后,实际是没有泛型限制的。
我们通过程序来做一下验证:
验证思路:若泛型在程序编译之后仍然起作用,那list2无论如何是不能存放非String类型的数据的。那如果list2中实际可以存放其他类型的数据,则可以证明我们的推想是正确的。
①首先,我们先尝试向两个list中分别插入String和int类型的数据:
list1.add("hello");
list1.add(20);
list2.add("hello");
// list2.add(20); //编译时报错,只允许插入String的成员
我们发现,list2是不能插入int类型的数据的,编译时会报错提示只允许插入String类型的数据。list1可以正常插入。
②我们尝试使用反射的方式,绕过编译期判断。(因为反射的操作是对字节码的文件进行操作,这样可以绕过list.add的编译时验证)。
try {
Method m=c2.getMethod("add", Object.class);
m.invoke(list2, 20);
} catch (Exception e) {
e.printStackTrace();
}
③我们发现,使用反射的方式,可以将整型数据插入list2.那是否真的已经将数据插入到list2中了呢?我们做一下输入验证:
System.out.println(list1); //[hello, 20]
System.out.println(list2); //[hello, 20]
④打印list发现,list2中确实已经将20插入到集合中了。我们尝试使用for循环打印数据:
for(String s:list2){
System.out.println(s);
}
⑤打印时,会抛出类型强转异常(不能将int类型转换为String)。也就是说list2中确实插入了int类型的数据。
到此我们可以得出结论了:
java的泛型机制,只是在编译时起到数据验证作用,实际并不改变原本类的类型和机制。
* 在编译通过之后(javac生成字节码文件后),是否存在泛型并不影响类的操作和限定
* java在进行编译的时候,会“去泛型化”