Java 泛型深度解析：從基礎語法到類型擦除與簽名多態

Java 泛型深度解析：從基礎語法到類型擦除與簽名多態

泛型是 Java 5 引入的里程碑特性，實現了編譯期類型安全與代碼復用的統一。本文系統講解泛型定義、通配符、類型擦除、Class 泛型化、新舊代碼兼容等核心知識點，並剖析底層實現原理。

一、泛型概述：類型參數化的動機

泛型之前，集合只能存儲 Object，取出需強轉，且無法在編譯期阻擋錯誤類型插入。泛型讓 List 細化為 List<String>、List<Integer> 等不同類型，且 List<String> 不是 List<Object> 的子類型（不支持協變），這保護了類型完整性：

List<String> ls = new ArrayList<>();
// List<Object> lo = ls; // 編譯錯誤！否則可向 lo 插入 Integer 破壞 ls 類型安全

二、定義與使用規範

1. 類型參數命名慣例

• 單字母大寫：T (Type), E (Element), K (Key), V (Value), S (Second Type)
• 避免與普通參數名衝突，增強可讀性
• 泛型類與泛型方法的類型參數名應區分，避免遮蓋混淆

2. 泛型類定義

public class Box<T, S extends T> {
    private T content;
    private S extra;

    public T getContent() { return content; }
    public void setContent(T content) { this.content = content; }
    // 靜態成員不能使用類的類型參數
    // private static T staticField; // 編譯錯誤
}

關鍵點：類型參數可用於字段、方法參數、返回值、構造器，**不能用於靜態上下文**（靜態成員屬於類而非實例）。

3. 泛型方法定義

// 表達多參數與返回值類型關系
public <T, S extends T> T copy(T src, S dest) { ... }

// 僅為多態，優先用通配符
public void printAll(List<?> list) { ... } // 替代 <T> void printAll(List<T> list)

三、類型參數賦值（實例化/調用時確定具體類型）

1. 泛型類賦值

• 聲明/實例化：List<String> list = new ArrayList<>(); (鑽石操作符 Java 7+)
• 繼承/實現：class MyList<E> extends ArrayList<E> implements List<E>

2. 泛型方法類型推導

public <T> T first(List<T> list) { return list.get(0); }

Number n = first(Arrays.asList(1, 2, 3)); // T 推導為 Number
Object o = first(Arrays.asList("a", "b")); // T 推導為 Object

// 衝突示例
List<Number> ln = Arrays.asList(1, 2);
List<Integer> li = Arrays.asList(1, 2);
// first(ln, li); // 編譯錯誤：無法同時滿足 T=Number 和 T=Integer

四、通配符：有界類型參數的靈活表達

PECS 原則（Producer Extends, Consumer Super）

• 作為生產者（只讀，如 src.copyTo(dest)）→ 用 <? extends T>
• 作為消費者（只寫，如 dest.addAll(src)）→ 用 <? super T>
• 既讀又寫 → 不用通配符，用具體類型參數

五、泛型數組限制

List<Integer>[] arr = new ArrayList<Integer>[10]; // 編譯錯誤：泛型數組創建非法
// 原因：數組協變 + 類型擦除 = 運行時類型安全漏洞
// 替代方案：List<List<Integer>> listOfLists = new ArrayList<>();

六、實現原理：類型擦除

泛型是編譯期技術，運行期不保留具體類型參數（List<String> 和 List<Integer> 運行時都是 List）。

擦除規則

1. 無界類型參數擦除為 Object
2. 有界參數擦除為其第一個邊界
3. 插入隱式強轉保證類型安全
4. 橋接方法自動生成保護多態

List<String> l1 = new ArrayList<>();
List<Integer> l2 = new ArrayList<>();
System.out.println(l1.getClass() == l2.getClass()); // true！同一個 Class 對象

public static <T> Collection<T> select(Class<T> clazz, String sql) {
    Collection<T> result = new ArrayList<>();
    // JDBC 查詢...
    for (Row row : rows) {
        T item = clazz.getDeclaredConstructor().newInstance(); // 精確類型
        // 映射字段...
        result.add(item);
    }
    return result;
}

// 調用
List<EmpInfo> emps = select(EmpInfo.class, "SELECT * FROM emps");

List raw = new ArrayList<String>(); // 警告但合法
List<String> typed = new ArrayList(); // 警告但合法

// 庫 v1
class Foo { public Foo create() { return new Foo(); } }
class Bar extends Foo { public Foo create() { return new Bar(); } }

// 庫 v2 升級為協變返回值
class Bar extends Foo { public Bar create() { return new Bar(); } }