Java 泛型擦除核心動機：遷移兼容性而非向後兼容性

兩種兼容性區別

為什麼需要擦除實現遷移兼容性？

1. 泛型引入前，海量庫使用原始類型 List、Map。
2. 若泛型在運行期保留完整類型信息（如 C++ 模板實例化），則 List<String> 和 List 成為**完全不同類型**，無法直接賦值/傳參，現有生態將崩潰。 3. **擦除**後，List<String> 編譯為 List，與舊代碼**二進制兼容**，只在編譯期做類型檢查，運行期統一為原始類型。

代碼驗證

List gs = new ArrayList<>();
List raw = gs;              // 編譯警告，但合法
raw.add(123);               // 運行期不報錯，破壞類型安全
String s = gs.get(0);       // ClassCastException：Integer cannot cast to String

擦除不等於信息全無

• 簽名擦除：方法參數、返回值、字段類型擦除為原始類型。
• 元數據保留：Class.getTypeParameters()、Method.getGenericParameterTypes() 仍可反射獲取泛型信息（供框架/工具使用）。

理解「遷移兼容性」是泛型擦除的核心動機，才能真正掌握 Java 泛型的設計哲學與邊界。