[TOC] 本文转载自[Java 泛型，你了解类型擦除吗？](https://blog.csdn.net/briblue/article/details/76736356)，内容有删减。 # 泛型 泛型指能广泛适用的类型，参数化类型，也就是可以将类型作为参数传递给一个类或者方法。 ## 泛型类与泛型接口 1、泛型类 ```java public class Test<T> { T field1; } ``` 尖括号中的T被称为类型参数，可以指代任何类型。使用泛型类创建实例时，在尖括号中使用相应的类型即可。 ```java Test<String> test = new Test<>(); ``` 2、泛型接口 ```java public interface TestInterface<T> { } ``` 泛型接口与泛型类基本相似。 ## 泛型方法 ```java public class Test1 { public <T> void testMethod(T t) { } } ``` 尖括号中的T被称为类型参数，可以指代任何类型，泛型方法中类型参数写在返回值前面。当然类型参数也可以作为返回值类型： ```java public class Test1 { public <T> T testMethod(T t) { } } ``` 泛型类与泛型方法可以共存： ```java public class Test1<T>{ public void testMethod(T t){ System.out.println(t.getClass().getName()); } public <T> T testMethod1(T t){ return t; } } ``` 上面例子中，泛型类中的类型参数与泛型方法中的类型参数是没有相应联系的，泛型方法始终以自己定义的类型参数为准。当然为了避免混淆，如果在一个泛型类中存在泛型方法，那么两者的类型参数最好不要同名。 ## 通配符 除了用 <T>表示泛型外，还有 <?>这种形式。`?`被称为通配符。看个例子： ```java class Base{} class Sub extends Base{} Sub sub = new Sub(); Base base = sub; ``` ```java List<Sub> lsub = new ArrayList<>(); List<Base> lbase = lsub; ``` 上面例子中，编译器不会通过，Sub 是 Base 的子类，但不代表`List<Sub>`和`List<Base>`有继承关系。此时，通配符出现了，通配符是为了指定泛型中的类型范围。通配符有如下三种： * `<?>`被称作无限定的通配符 * `<? extends T>`被称作有上限的通配符 * `<? super T>`被称作有下限的通配符 ### 无限定通配符 无限定通配符经常与容器类配合使用，它其中的 ? 其实代表的是未知类型，所以涉及到 ? 时的操作，一定与具体类型无关。 ```java public void testWildCards(Collection<?> collection){ } ``` 当`<?>`存在时，Collection 对象丧失了 add() 方法的功能，编译器是不能通过的。 ### 有上限通配符 \<? extends T> 代表类型T及其子类都可以。 ### 有下限通配符 \<? super T> 代表类型T及其父类都可以。 # 类型擦除 泛型是Java1.5版本引入的概念，但代码能和之前的版本很好的兼容，原因在于，泛型信息只存在于代码编译阶段，进入JVM之前，与泛型相关的信息会被擦除掉，专业术语叫类型擦除。 ```java List<String> l1 = new ArrayList<String>(); List<Integer> l2 = new ArrayList<Integer>(); System.out.println(l1.getClass() == l2.getClass()); ``` 输出结果为： ```java true ``` 在上面示例中，由于类型擦除，泛型的信息被擦除了，因此输出为true。那么类型String和Integer去哪里了呢？我们可以通过反射来看看在JVM中类的相关信息： ```java public class Erasure <T>{ T object; public Erasure(T object) { this.object = object; } } ``` 通过反射查看Class类型和属性： ```java Erasure<String> erasure = new Erasure<String>("hello"); Class eclz = erasure.getClass(); System.out.println("erasure class is:"+eclz.getName()); Field[] fs = eclz.getDeclaredFields(); for ( Field f:fs) { System.out.println("Field name "+f.getName()+" type:"+f.getType().getName()); } ``` 输出结果为： ```java erasure class is:com.frank.test.Erasure Field name object type:java.lang.Object ``` 可以看到，在JVM中Class类型依然是Erasure，而不是Erasure\<T>，属性变为了Object类型，但并不能说类型擦除后相应的类型就替换成Object： ```java public class Erasure <T extends String>{ // public class Erasure <T>{ T object; public Erasure(T object) { this.object = object; } } Field[] fs = eclz.getDeclaredFields(); for ( Field f:fs) { System.out.println("Field name "+f.getName()+" type:"+f.getType().getName()); } ``` 输出结果： ```java Field name object type:java.lang.String ``` 因此，关于泛型转译，结论如下： > 泛型类被类型擦除的时候，之前泛型类中的类型参数部分如果没有指定上限，如`<T>`则会被转译成普通的 Object 类型，如果指定了上限如`<T extends String>`则类型参数就被替换成类型上限。 ## 注意点 Java 不能创建具体类型的泛型数组，示例如下： ```java List<Integer>[] li2 = new ArrayList<Integer>[]; List<Boolean> li3 = new ArrayList<Boolean>[]; ``` 上面代码编译器无法通过，依旧是类型擦除引起的，`List<Integer>`和`List<Boolean>`在 jvm 中等同于`List<Object>`，所有的类型信息都被擦除，程序也无法分辨一个数组中的元素类型具体是`List<Integer>`类型还是`List<Boolean>`类型。 本文转载自[Java 泛型，你了解类型擦除吗？](https://blog.csdn.net/briblue/article/details/76736356)，内容有删减。