Java 泛型進階細節：類型擦除、通配符、邊界限定與方法重載抉擇

從實戰踩坑到官方文檔：Java 泛型核心細節深度總結

在封裝底層框架時，泛型的某些「隱性規則」常導致編譯報錯或運行時 ClassCastException。本文結合 Oracle 官方文檔與實戰案例，系統講解 泛型 vs 重載選型、基本類型自動裝箱、聲明位置與作用域、多重邊界、通配符三大用法、類型擦除副作用，助你寫出類型安全、可讀性高的泛型代碼。

一、泛型 vs 方法重載：何時選哪個？

• 泛型：邏輯完全一致，僅參數類型不同（如 List.add(E)）；
• 重載：針對不同類型需執行**不同邏輯**（如 SharedPreferences.getString/getInt、StringBuilder.append(int/long/String)）。

若強行用泛型處理「同參數異邏輯」，會充斥 instanceof 判斷與強轉，代碼質量急劇下降。

二、基本類型不能作為類型參數

MyClass<Integer> ok = new MyClass<>();   // √
MyClass<int>    err = new MyClass<>();   // × 編譯錯誤

原因：類型參數 T 隱含繼承 Object，基本類型非對象。調用時 printT(100) 觸發 **自動裝箱** 為 Integer，底層仍是對象操作。

三、泛型聲明位置與作用域規則

class MyClass<T> {
    public <T> T printT(T t) { ... } // 方法級 T 遮蓋類級 T
}
MyClass<String> obj = new MyClass<>();
obj.printT(100); // 此處 T 推導為 Integer，與類級 String 無關

四、邊界限定：extends & 多重邊界

• 單一上界：<T extends Number> → T 只能是 Number 或其子類；
• 多重邊界：<T extends A & B & C> → A 可以是類或接口，**B、C 必須是接口**，且類（若有）必須寫在第一位；
• 無 super 關鍵字用於類/方法聲明（僅用於通配符）。

五、通配符 ? 三大用法與 PECS 原則

PECS 原則：Producer Extends, Consumer Super。只讀用 extends，只寫用 super，既需讀又需寫**不要用通配符**，直接用具體類型。

六、類型擦除的副作用與應對

1. 運行時泛型信息丟失：new ArrayList<String>() 運行時只是 ArrayList；
2. 不能 new T()、T[]、instanceof T、靜態字段/方法引用泛型；
3. 橋接方法自動生成：編譯器為多態插入橋接方法，可能導致意外的覆蓋行為；
4. 應對：傳遞 Class<T> clazz 參數、用 TypeToken (Gson) 保留泛型信息、@SuppressWarnings("unchecked") 精確壓制必要位置警告。

七、實戰避坑清單

• ✅ 方法級泛型聲明在 public <T> 位置，別寫成 public T <T>；
• ✅ 靜態方法/字段**不能**使用類級泛型參數；
• ✅ 避免在泛型類中定義靜態泛型字段（共享導致類型污染）；
• ✅ 接口方法默認 public abstract，泛型聲明同普通方法；
• ✅ 通配符捕獲輔助方法：private <E> void addAllHelper(List<? extends E> src, List<E> dest) 解決 ? extends E 無法寫入的問題。

八、總結

Java 泛型本質是 **編譯期類型檢查 + 類型擦除**。掌握「重載 vs 泛型選型邏輯、基本類型裝箱、聲明位置作用域、多重邊界語法、PECS 通配符原則、擦除副作用與補救」，能讓你在設計 API、封裝框架、排查 ClassCastException 時擁有清晰的心智模型，寫出既安全又優雅的泛型代碼。