泛型類中的類型推斷細節

泛型類中的類型推斷允許編譯器根據上下文自動確定泛型參數的類型，從而使代碼更簡潔。在Java中，類型推斷主要通過類型推斷變量和擴展類型推斷來實現。

1. 類型推斷變量：

類型推斷變量是在編譯時創建的臨時變量，用于表示泛型參數。類型推斷變量的命名規則是在變量名之前添加一個限定符“T”。例如：

public class GenericBox<T> {
    private T content;

    public void setContent(T content) {
        this.content = content;
    }

    public T getContent() {
        return content;
    }
}

在這個例子中，泛型參數T被用于表示Box的內容類型。當我們創建一個GenericBox實例時，可以省略泛型參數，編譯器會自動推斷出合適的類型：

GenericBox<Integer> intBox = new GenericBox<>();
intBox.setContent(42);
Integer intValue = intBox.getContent();

2. 擴展類型推斷：

擴展類型推斷是指在創建泛型類的實例時，可以省略泛型參數，編譯器會根據實際參數類型進行推斷。例如：

public class GenericBox<T> {
    private T content;

    public void setContent(T content) {
        this.content = content;
    }

    public T getContent() {
        return content;
    }
}

在這個例子中，我們可以省略泛型參數T：

GenericBox box = new GenericBox();
box.setContent("Hello, world!");
String strValue = box.getContent();

編譯器會根據實際參數類型（String）推斷出泛型參數T的類型為String。

需要注意的是，類型推斷僅適用于實例創建時。在靜態方法中，類型推斷是不允許的。例如：

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

在這個例子中，盡管我們可以省略泛型參數T，但在靜態方法print中，編譯器會提示我們提供泛型參數的類型：

GenericUtility.print(42); // 編譯錯誤，需要提供泛型參數類型，如：GenericUtility.<Integer>print(42);