Java 泛型類型擦除深度解析：為什麼 ArrayList 與 ArrayList 是同一個 Class

Java 泛型類型擦除深度解析：為什麼 ArrayList 與 ArrayList 是同一個 Class

Java 泛型是編譯期語法糖，運行期通過類型擦除實現。這導致 ArrayList<String> 和 ArrayList<Integer> 在 JVM 中共享同一個 Class 對象。本文從設計動機、擦除機制、代碼演示、副作用與應對策略五個維度，系統闡述這一核心機制。

一、現象演示：看似矛盾的相等性

Class<?> c1 = new ArrayList<String>().getClass();
Class<?> c2 = new ArrayList<Integer>().getClass();
System.out.println(c1 + " == " + c2 + " is " + (c1 == c2));
// 輸出：class java.util.ArrayList == class java.util.ArrayList is true

無論泛型參數為何，運行期獲取的 Class 對象完全相同。

二、設計動機：為什麼選擇類型擦除？

1. 向後兼容性

• Java SE 5.0 前無泛型，集合元素類型為 Object，需手動強轉
• 引入泛型後，舊代碼必須無修改繼續運行，新舊代碼共享同一套類庫
• 若採用 C++ 模板式「代碼專用化」，會產生 ArrayList_String、ArrayList_Integer 等獨立類，破壞二進制兼容

2. 避免代碼膨脹

• Code Specialization (C++ 模式)：每種泛型實例化生成獨立字節碼，引用類型本質都是指針，無需重複生成
• Code Sharing (Java 模式)：單一字節碼服務所有泛型實例，通過類型擦除映射
• Java 選擇 Code Sharing，核心原因：引用類型統一性 + 類庫體積控制

三、擦除機制：編譯器如何處理泛型

1. 擦除規則

• 無界類型參數（<T>） → 擦除為 Object
• 有界類型參數（<T extends Number>） → 擦除為第一個界限（Number）
• 泛型類/接口/方法的類型參數在字節碼中完全移除
• 編譯器在必要位置插入隱式強制轉型指令

2. 代碼轉換示意

源碼：

List<String> list = new ArrayList<>();
list.add("hello");
String s = list.get(0);

擦除後等效字節碼邏輯：

List list = new ArrayList();
list.add("hello");
String s = (String) list.get(0);  // 編譯器插入 CHECKCAST 指令

3. 簽名擦除與橋接方法

class Pair<T> {
    private T value;
    public void set(T value) { this.value = value; }
    public T get() { return value; }
}

// 擦除後
class Pair {
    private Object value;
    public void set(Object value) { this.value = value; }
    public Object get() { return value; }
}

若子類繼承泛型父類並具體化類型，編譯器生成橋接方法保持多態：

class StringPair extends Pair<String> {
    // 編譯器生成橋接方法
    public void set(Object value) { set((String) value); }  // 橋接到 set(String)
    public String get() { return (String) super.get(); }
}

四、類型擦除引發的「奇怪現象」與應對

五、運行期獲取泛型信息的「補救」方案

1. 利用匿名內部類保留類型簽名 (TypeToken 模式)

// Gson 風格
TypeToken<List<String>> token = new TypeToken<List<String>>() {};
Type type = token.getType();  // 保留 ParameterizedType 信息

原理：匿名內部類繼承 TypeToken<List<String>>，其 getGenericSuperclass() 返回帶泛型參數的 ParameterizedType。

2. 反射獲取字段/方法泛型簽名

class Container {
    List<String> items;
    Map<Integer, User> cache;
}

Field f = Container.class.getDeclaredField("items");
ParameterizedType pt = (ParameterizedType) f.getGenericType();
Type[] args = pt.getActualTypeArguments();  // [class java.lang.String]

3. 傳遞 Class<T> 參數 (Super Type Token)

public <T> T parse(String json, Class<T> clazz) {
    return gson.fromJson(json, clazz);
}

// 調用
User user = parse(json, User.class);
List<User> list = parse(json, new TypeToken<List<User>>(){}.getType());

六、總結

1. 類型擦除是 Java 泛型的實現策略：編譯期檢查類型安全，運行期擦除為原始類型，插入隱式轉型
2. 核心權衡：犧牲運行期類型信息，換取向後兼容與字節碼緊湊
3. 「泛型只在編譯期存在」：List<String> 和 List<Integer> 運行期同為 List
4. 應對之道：理解擦除邊界，善用 Class<T> 傳遞、TypeToken、反射 ParameterizedType 在需要時「找回」類型信息

深刻理解類型擦除，是寫出健壯泛型代碼、避開「運行期類型丟失」坑的前提。