為什么不要在新代碼中使用原生態(tài)類型

使用泛型進(jìn)行編碼，有兩個好處：

• 優(yōu)點1：讓編寫代碼時在編譯期及早發(fā)現(xiàn)錯誤，并且助于定位報錯位置
• 優(yōu)點2：集合使用泛型，從集合中遍歷元素時不需要再進(jìn)行手工轉(zhuǎn)換了           （編譯器替我們完成隱式轉(zhuǎn)換，并確保過程不會失敗，無論我們使用的是否for-each循環(huán)）
  

下面我們通過一個例子闡述清楚，代碼如下：

  /**   * @exception ClassCastException   */  private static void testGenericeBeforejdk5() {    Collection stamps = new ArrayList();    stamps.add(new Coin());    for (Iterator i = stamps.iterator(); i.hasNext();){      Stamp next = (Stamp)i.next(); //ClassCastException    }  }  private static void testGenericeAfterjdk5() {    Collection<Stamp> stamps = new ArrayList();    stamps.add(new Coin());//編譯器告訴我們錯誤  }    // 兩個測試內(nèi)部類  static class Stamp{}  static class Coin{}

• testGenericeBeforejdk5()方法里，我們希望stamps集合只會存放Stamp 類元素，但是編碼時還是不小心把一個coin放進(jìn)了這個集合。那么程序是不會在編譯時告訴程序員這個問題的，而是等到代碼真正執(zhí)行時，出現(xiàn)了異常。

Exception in thread "main" java.lang.ClassCastException: effectivejava.no23.TestGeneric$Coin cannot be cast to effectivejava.no23.TestGeneric$Stamp  at effectivejava.no23.TestGeneric.testGenericeBeforejdk5(TestGeneric.java:26)  at effectivejava.no23.TestGeneric.main(TestGeneric.java:14)

• testGenericeAfterjdk5()方法里，我們使用了泛型定義了集合的參數(shù)類型。通過這條聲明，編譯器知道 stamps 集合應(yīng)該只包含Stamp 實例，并給以保證。因此在代碼開發(fā)時，我們不小心將一個coin 實例放進(jìn)stamps集合時，編譯器會及時提醒我們并產(chǎn)生一條編譯錯誤信息，準(zhǔn)確告知程序員哪里出現(xiàn)錯誤。

Error:(20, 28) java: 不兼容的類型: effectivejava.no23.TestGeneric.Coin無法轉(zhuǎn)換為effectivejava.no23.TestGeneric.Stamp

• 通過比較，我們還能發(fā)現(xiàn)，集合使用泛型，從集合中遍歷元素時不需要再進(jìn)行手工轉(zhuǎn)換了。

其一、使用原生態(tài)類型，會失掉泛型在安全性和其他表述性方面的優(yōu)勢。

其二、原生態(tài)類型List 和 參數(shù)化類型List<Object>有區(qū)別。

• 原生態(tài)類型List，逃避了泛型檢查，List<Object>則明確告知編譯器：它能夠持有任意類型的對象。eg，List<String>可以傳遞給List，但不能傳遞給 List<Object>。
• 泛型有子類型化（subtyping）的規(guī)則。List<String> 是原生態(tài)類型List 的一個子類型，但不是List<Object> 的子類型。

下面通過一個例子解讀兩者的區(qū)別：

  private static void testSubTyping() {    List<String> strings = new ArrayList<String>();    unsafeAdd(strings, new Integer(110));    String s = strings.get(0); // exception while run the method;  }    /**   * 方法使用了原生態(tài)類型，所以可以編譯。   */  private static void unsafeAdd(List list, Object o) {    list.add(0);  }    /**   * 方法使用了List<Object>替代原生態(tài)類型，所以編譯不會通過。   */  private static void unsafeAddV2(List<Object> list, Object o) {    list.add(0);  }

結(jié)論：使用List 這樣的原生態(tài)類型會丟掉類型安全性，但是使用List<Object> 這樣的參數(shù)化類型則不會。

不要在新代碼中使用原生態(tài)類型，這條規(guī)則有兩個小小的例外，原因是：泛型信息可以在運行時被編譯器擦除了。

• 在類文字（class literal）中必須使用原生態(tài)類型，規(guī)范不允許使用參數(shù)化類型（但允許數(shù)組類型和基本類型）[JLS，15.8.2]

ClassLiteral: 

    TypeName {[ ]} . class 

    NumericType {[ ]} . class 

    boolean {[ ]} . class 

    void . class

A class literal is an expression consisting of the name of a class, interface, array, or primitive type, or the pseudo-type void, followed by a '.' and the token class.

https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.8.2          

• instanceof 操作符對“無限制通配符”的參數(shù)化類型是無效非法的。，由于泛型信息在運行中被擦除了，這種情況下，尖括號(<>)和問號（?）顯得多余了。          
  

  private static void testInstanceOfInvalidOnGeneric(Object o) {    if (o instanceof Set){      //一旦確定o是個Set，必須轉(zhuǎn)換為通配符類型Set<?>，而不是原生態(tài)類型Set。這樣能避免后續(xù)代碼出現(xiàn)運行時異常。      Set<?> set = (Set<?>) o;    }  }