泛型類與Java的泛型類型推斷陷阱及避免

Java泛型提供了編譯時類型安全，減少類型轉換，提高代碼重用性等優點。然而，在使用泛型時，我們可能會遇到一些陷阱，特別是在類型推斷方面。以下是一些常見的泛型類與Java泛型類型推斷陷阱及如何避免它們：

1. 不能使用基本類型作為類型參數

Java泛型不支持基本類型（如int, double, char等）作為類型參數。你需要使用相應的包裝類（如Integer, Double, Character等）。

陷阱：

List<int> list = new ArrayList<>(); // 錯誤

避免方法：

List<Integer> list = new ArrayList<>(); // 正確

2. 不能使用基本類型的包裝類作為類型參數的邊界

Java泛型不允許將基本類型的包裝類用作類型參數的邊界（extends）。

陷阱：

public class MyClass<T extends Number> { // 錯誤
    // ...
}

避免方法：

public class MyClass<T extends Number> { // 正確
    // ...
}

3. 不能使用數組作為類型參數

Java泛型不支持數組作為類型參數。

陷阱：

public class MyClass<T[]> { // 錯誤
    T[] array;
    // ...
}

避免方法：

public class MyClass<T> {
    T[] array;
    // ...
}

4. 不能使用泛型數組創建對象

Java泛型不支持直接創建泛型數組。

陷阱：

T[] array = new T[10]; // 錯誤

避免方法：

T[] array = (T[]) new Object[10]; // 正確，但可能會有類型轉換警告

5. 不能使用基本類型的包裝類作為泛型方法的返回類型

Java泛型方法不支持直接返回基本類型的包裝類。

陷阱：

public static Integer getInteger() { // 錯誤
    return 42;
}

避免方法：

public static Integer getInteger() { // 正確
    return 42;
}

6. 不能使用泛型方法推斷基本類型

Java泛型方法在推斷基本類型時可能會導致歧義。

陷阱：

public static <T> void print(T item) {
    System.out.println(item);
}

print(42); // 錯誤，編譯器無法確定是int還是Integer

避免方法：

public static <T> void print(T item) {
    System.out.println(item);
}

print((Integer) 42); // 正確，顯式類型轉換

7. 不能使用泛型方法推斷基本類型的包裝類

Java泛型方法在推斷基本類型的包裝類時可能會導致歧義。

陷阱：

public static <T> void print(T item) {
    System.out.println(item);
}

print(42); // 錯誤，編譯器無法確定是int還是Integer

避免方法：

public static <T> void print(T item) {
    System.out.println(item);
}

print((Integer) 42); // 正確，顯式類型轉換

8. 不能使用泛型方法推斷泛型類型參數

Java泛型方法在推斷泛型類型參數時可能會導致歧義。

陷阱：

public static <T, U> void print(T t, U u) {
    System.out.println(t + " " + u);
}

print(42, "Hello"); // 錯誤，編譯器無法確定是int還是Integer

避免方法：

public static <T, U> void print(T t, U u) {
    System.out.println(t + " " + u);
}

print((Integer) 42, "Hello"); // 正確，顯式類型轉換

總結

在使用Java泛型時，需要注意類型參數的選擇、類型推斷的歧義以及基本類型和包裝類的使用。通過顯式類型轉換和合理的方法設計，可以避免這些陷阱，確保代碼的正確性和可維護性。