参考:
Java 泛型,你了解类型擦除吗?
泛型的使用
1、泛型的定义
可以广泛使用的类型,一种较为准确的说法就是为了参数化类型,或者说可以将类型当作参数传递给一个类或者是方法。
2、泛型的使用
2.1泛型类
public class Test<T> {
T field1;
}
2.2 泛型接口
public interface Iterable<T> {
}
2.3 泛型方法
public class Test1 {
public <T> void testMethod(T t){
}
}
3、泛型的通配符、上下限
除了用 表示泛型外,还有 <?>这种形式。? 被称为通配符。
通配符的出现是为了指定泛型中的类型范围。
通配符有 3 种形式。
<?>被称作无限定的通配符。
<? extends T>被称作有上限的通配符。类型必须是T或T的子类
<? super T>被称作有下限的通配符。类型是T或T的父类
4.泛型擦除
泛型信息只存在于代码编译阶段,**在进入 JVM 之前,与泛型相关的信息会被擦除掉,**专业术语叫做类型擦除。
import java.util.ArrayList;
import java.util.List;
public class Generics1<T> {
public static void main(String[] args) {
List<String> l1 = new ArrayList<String>();
List<Integer> l2 = new ArrayList<Integer>();
System.out.println(l1.getClass() == l2.getClass());
System.out.println(l1.getClass());
System.out.println(l2.getClass());
}
}
打印的结果为 true 是因为 List和 List在 jvm 中的 Class 都是 List.class。这意味着,泛型信息被擦除了
那么<String>
和<Integer>
这些泛型类型呢?
import java.lang.reflect.Field;
public class Erasure<T> {
T age;
public Erasure(T age){
this.age=age;
}
public static void main(String[] args) {
//通过反射查看泛型类运行时的状态信息
Erasure<String> erasure=new Erasure<String>("hi");
Class eclz=erasure.getClass();
System.out.println("类型是:"+eclz.getName());
//查看T类型在jvm中的具体类型
Field[] fs=eclz.getDeclaredFields();
for(Field f:fs){
System.out.println("字段名称="+f.getName());
System.out.println("字段类型="+f.getType());
}
}
}
打印结果显示T类型是Object类型
类型擦除后,不一定是Object类型,如果指定了上限如 <T extends String>
则类型参数就被替换成类型上限。
import java.lang.reflect.Field;
public class Erasure<T extends String> {
T age;
public Erasure(T age){
this.age=age;
}
public static void main(String[] args) {
//通过反射查看泛型类运行时的状态信息
Erasure<String> erasure=new Erasure<String>("hi");
Class eclz=erasure.getClass();
System.out.println("类型是:"+eclz.getName());
//查看T类型在jvm中的具体类型
Field[] fs=eclz.getDeclaredFields();
for(Field f:fs){
System.out.println("字段名称="+f.getName());
System.out.println("字段类型="+f.getType());
}
}
}