1.小例子
package cn.edu.tju.handler;
import java.util.ArrayList;
import java.util.List;
public class MyTest {
public static void main(String[] args) {
List<String> list1 = new ArrayList<>();
List<Integer> list2 = new ArrayList<>();
System.out.println(list1.getClass() == list2.getClass());
System.out.println(list1.getClass());
System.out.println(list2.getClass());
}
}
程序输出:
从结果看,list1和list2的类型是相同的:java.util.ArrayList ,
原因是list1和list2中的类型信息(String和Integer)只是在java语言层面是存在的,当被转换为JVM能够执行的字节码文件时,类型信息被擦除了,
即代码中写的ArrayList和ArrayList在生成的字节码文件中String和Integer被擦除了,都变成了ArrayList
2.进一步验证
定义两个类:
package cn.edu.tju.demo.controller;
import java.util.List;
public class TestClass <T >{
T obj;
public TestClass(T obj) {
this.obj = obj;
}
public void print(T t){
}
public void printArray(List<T> t){
}
}
package cn.edu.tju.demo.controller;
import java.util.List;
public class TestClass2 <T extends Number>{
T obj;
public TestClass2(T obj) {
this.obj = obj;
}
public void print(T t){
}
public void printArray(List<T> t){
}
}
然后定义主类,通过射的方式查看上述两个类中定义的print和printArray方法的定义:
package cn.edu.tju.demo.controller;
import cn.edu.tju.demo.domain.Student;
import java.lang.reflect.Method;
import java.util.LinkedList;
import java.util.List;
public class TypeTest {
public static void main(String[] args) {
Class myClass= TestClass.class;
Method[] methodList=myClass.getDeclaredMethods();
for(int i=0;i<methodList.length;i++){
System.out.println(methodList[i]);
}
System.out.println("______________________________________________");
Class myClass2=TestClass2.class;
Method[] methodList2=myClass2.getDeclaredMethods();
for(int i=0;i<methodList2.length;i++){
System.out.println(methodList2[i]);
}
}
}
从输出结果可以看出,类MyClass1中定义的print方法和printArray方法中的参数类型分别别擦除成了java.lang.Object和java.util.List,
而类MyClass2中定义的print方法和printArray方法中的参数类型分别别擦除成了java.lang.Number和java.util.List.
3.结论:
泛型使用无界通配符(T)时,如果是普通对象,则类型擦除后变为java.lang.Object,对于List对象,类型擦除后变为java.util.List,其它集合类对象也类似。
泛型使用有界通配符时(T extends Xxx),如果是普通对象,则类型擦除后变为Xxx类型,对于List对象,类型擦除后仍变为java.util.List,,其它集合类对象也类似。