泛型Java類型推斷規則

Java泛型中的類型推斷規則主要依賴于類型參數的上下文以及所使用的構造函數或方法。以下是類型推斷的一些基本規則和示例：

1. 局部變量類型推斷：當使用泛型類或接口的實例化時，可以省略類型參數。編譯器會根據變量的初始化表達式來推斷類型參數。

List<String> names = new ArrayList<>();  // 編譯器推斷出ArrayList的類型為String

2. 方法參數類型推斷：在調用泛型方法時，也可以省略類型參數。編譯器會根據方法調用的實參來推斷類型參數。

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

print("Hello");  // 編譯器推斷出T的類型為String

3. 構造函數參數類型推斷：在使用泛型類的構造函數時，同樣可以省略類型參數。編譯器會根據傳遞給構造函數的實參來推斷類型參數。

public class Box<T> {
    private T content;

    public Box(T content) {
        this.content = content;
    }
}

Box<String> stringBox = new Box<>("Hello");  // 編譯器推斷出Box的類型參數為String

4. 有界類型推斷：當使用泛型類型參數作為其他類型的邊界時，可以使用extends關鍵字來限制類型參數的范圍。此時，編譯器會根據上下文來推斷合適的類型參數。

public static <T extends Number> double sum(T... numbers) {
    double result = 0;
    for (T number : numbers) {
        result += number.doubleValue();
    }
    return result;
}

sum(1, 2.0, 3.5);  // 編譯器推斷出T的類型為Double（因為所有參數都是Number的子類）

5. 通配符類型推斷：在使用通配符類型（如List<?>）時，通常無法直接推斷出具體的類型參數。但在某些情況下，結合其他類型信息（如方法調用或構造函數參數），編譯器可能能夠推斷出具體的類型參數。

需要注意的是，類型推斷并不總是成功的。在某些情況下，編譯器可能無法確定具體的類型參數，或者可能存在多個合適的類型參數。在這些情況下，編譯器會發出警告或錯誤，提示用戶進行顯式類型轉換或指定類型參數。