java泛型的簡單認識及須要注意類型擦除

泛型是Java SE 1.5的新特性，泛型的本質是參數化類型。

在1.5以前，可使用Object實現相似泛型的功能，但泛型最大的好處就是不須要強轉類型，減小了可能存在的運行時異常。

限制泛型   class GenericsTest<T extends Collection>

多接口寫法   <T extends SomeClass & interface1 & interface2 & interface3>

通配符泛型  <? extends Collection>    <? super Double>

須要注意，一個static方法，沒法訪問泛型類的類型參數，因此，若要static方法須要使用泛型能力，必須使其成爲泛型方法。

PECS原則   Producer Extends, Consumer Super

• 「Producer Extends」 – 若是你須要一個只讀List，用它來produce T，那麼使用 < ? extends T >。
• 「Consumer Super」 – 若是你須要一個只寫List，用它來consume T，那麼使用 < ? super T >。
• 若是須要同時讀取以及寫入，那麼咱們就不能使用通配符了。

類型擦除

正確理解泛型概念的首要前提是理解類型擦除（type erasure）。 Java中的泛型基本上都是在編譯器這個層次來實現的。在生成的Java字節代碼中是不包含泛型中的類型信息的。使用泛型的時候加上的類型參數，會被編譯器在編譯的時候去掉。這個過程就稱爲類型擦除。如在代碼中定義的List<Object>和List<String>等類型，在編譯以後都會變成List。JVM看到的只是List，而由泛型附加的類型信息對JVM來講是不可見的。Java編譯器會在編譯時儘量的發現可能出錯的地方，可是仍然沒法避免在運行時刻出現類型轉換異常的狀況。類型擦除也是Java的泛型實現方式與C++模板機制實現方式之間的重要區別。

不少泛型的奇怪特性都與這個類型擦除的存在有關，包括：

• 泛型類並無本身獨有的Class類對象。好比並不存在List<String>.class或是List<Integer>.class，而只有List.class。
• 靜態變量是被泛型類的全部實例所共享的。對於聲明爲MyClass<T>的類，訪問其中的靜態變量的方法仍然是 MyClass.myStaticVar。無論是經過new MyClass<String>仍是new MyClass<Integer>建立的對象，都是共享一個靜態變量。
• 泛型的類型參數不能用在Java異常處理的catch語句中。由於異常處理是由JVM在運行時刻來進行的。因爲類型信息被擦除，JVM是沒法區分兩個異常類型MyException<String>和MyException<Integer>的。對於JVM來講，它們都是 MyException類型的。也就沒法執行與異常對應的catch語句。

類型擦除的基本過程也比較簡單，首先是找到用來替換類型參數的具體類。這個具體類通常是Object。若是指定了類型參數的上界的話，則使用這個上界。把代碼中的類型參數都替換成具體的類。同時去掉出現的類型聲明，即去掉<>的內容。好比T get()方法聲明就變成了Object get()；List<String>就變成了List。接下來就可能須要生成一些橋接方法（bridge method）。這是因爲擦除了類型以後的類可能缺乏某些必須的方法。

Java中泛型 類型擦除