Java泛型（Generics）是JDK 1.5引入的一項重要功能，它允許你在編譯時定義類、接口和方法的類型參數。泛型的主要目的是提高代碼的可重用性和類型安全。通過使用泛型，你可以編寫更通用、更靈活的代碼，同時避免了類型轉換的錯誤。
Java泛型的類型安全主要通過以下幾個方面來保證：
類型擦除（Type Erasure）：Java泛型是在編譯時實現的，運行時會擦除類型參數。這意味著泛型信息在運行時是不可用的。例如，你不能使用instanceof操作符檢查一個對象是否是特定泛型類型的實例。但是，編譯器會在編譯時檢查泛型類型的使用，確保類型安全。
邊界（Bounds）：泛型類型參數可以有上界和下界。上界限制類型參數必須是某個類的子類或實現某個接口。這有助于確保類型參數具有所需的類型特性。例如，你可以限制泛型類型參數必須是Number或其子類，如Integer、Double等。
泛型方法和泛型類：Java允許你編寫泛型方法和泛型類。泛型方法是在方法返回類型之前使用尖括號定義類型參數的。泛型類是在類定義中使用尖括號定義類型參數的。這兩種方式都可以確保類型安全，因為編譯器會在編譯時檢查類型參數是否符合約束條件。
通配符（Wildcards）：Java泛型支持通配符，如?、? extends T和? super T。通配符允許你在泛型類型參數中使用更靈活的限制。例如，你可以使用List<?>表示一個元素類型未知的列表，或者使用List<? extends Number>表示一個元素類型為Number或其子類的列表。這有助于提高代碼的可重用性，同時保持類型安全。
總之，Java泛型的類型安全主要依賴于編譯器的類型檢查。通過限制泛型類型參數的約束條件、使用通配符以及編寫泛型方法和泛型類，可以確保類型安全并提高代碼的可重用性。
