[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)，內容有刪減。