泛型Java類型推斷規(guī)則

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

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

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

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

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

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

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

public class Box<T> {
    private T content;

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

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

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

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（因為所有參數(shù)都是Number的子類）

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

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