#### 泛型特性 * 聲明泛型方法時，類型參數要放在修飾符\(例如public和static\)之后，返回類型之前； * 泛型類型參數不能用基本類型實例化 ``` Entry<String, int> entry; //error ``` * 泛型類型參數可以有多個限定：T extends Runnalbe & AutoCloseable * 泛型不能被實例化，包括泛型數組 * 泛型類型參數可以有多個接口限定，但最多只能有一個類；如果有一個限定是類，那么它必須放在限定列表第一位 * JAVA可以使用通配符限制方法的參數類型和返回類型應該如何變化，這種機制有時被稱作使用時變化 * 子類型通配符和父類型通配符 ``` <? extends Runnable>表示任意Runnable的子類型； <? super Employee>表示Employee的一個父類型； ``` * 創建泛型數組 ``` // 方式一 public static <T> T[] get(Class<T> type, int size) { return (T[]) Array.newInstance(type, size); } // 方式二(先聲明通配類型數組再強制轉換) Pair<String>[] pairs = (Pair<String>[]) new Pair<?>[10]; ``` * 鉆石語法 #### JAVA泛型轉換 * 虛擬機中沒有泛型，只有普通類和方法； * 所有的類型參數都用他們的限定類型替換； * 橋方法被合成來保持多態； * 為保持類型安全性，必要時插入強制類型轉換；