Java 泛型擦除：為什麼不修改 JVM 保留泛型信息？

核心原因：向後兼容性

Java 5 引入泛型時，為了不破壞現有代碼，採用 類型擦除：編譯器將泛型類型參數替換為邊界類型（默認 Object），運行時 JVM 無感知。

若保留泛型（再化）會怎樣？

• 現有未使用泛型的舊代碼（編譯為舊版 Class 文件）在新 JVM 上運行將報錯或行為不一致。
• 標準庫集合類（ArrayList 等）二進制接口改變，所有依賴庫需重新編譯。
• 生態系統大規模斷裂，遷移成本極高（參考 Python 2→3 的痛苦）。

擦除的代價與應對

• 運行時無法 new T()、instanceof List<String>、泛型數組創建等。
• 通過 TypeToken（Gson/Guava 模式）傳遞 Type 對象保留類型信息。
• 關鍵場景使用 Class<T> 參數顯式傳遞類型。

總結：擦除是工程妥協的產物，保障了 Java 生態 20 年平滑演進。