泛型Java類中的泛型類型推斷

在Java中，泛型類型推斷允許編譯器根據上下文自動推斷出泛型類型。這可以使代碼更簡潔，減少冗余的類型聲明。泛型類型推斷主要依賴于類型邊界和限定符來實現。

1. 類型邊界：類型邊界是一個約束，它限制了泛型類型參數可以接受的實際類型。類型邊界使用extends關鍵字定義。

public class GenericBox<T extends Number> {
    private T value;

    public void setValue(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }
}

在這個例子中，GenericBox類接受一個類型參數T，它必須是Number類或其子類。這樣，GenericBox可以用于任何Number類型，如Integer、Double等，但不能用于非Number類型。

2. 限定符：限定符是用于進一步限制泛型類型參數的約束。Java中的限定符有extends、super和?。

• extends：用于限制泛型類型參數必須是某個類的子類或實現某個接口。
• super：用于限制泛型類型參數必須是某個類的父類或實現某個接口。
• ?：表示通配符，用于表示未知類型。通配符可以用extends和super關鍵字進行約束。

下面是一些使用限定符的示例：

// 使用extends限定符限制泛型類型參數必須是Number或其子類
public class NumericRange<T extends Number> {
    private T start;
    private T end;

    public NumericRange(T start, T end) {
        this.start = start;
        this.end = end;
    }

    // ...
}

// 使用super限定符限制泛型類型參數必須是Number或其父類
public class ReverseNumericRange<T super Number> {
    private T start;
    private T end;

    public ReverseNumericRange(T start, T end) {
        this.start = start;
        this.end = end;
    }

    // ...
}

// 使用通配符表示未知類型
public class GenericList<T> {
    private List<T> items;

    public void add(T item) {
        items.add(item);
    }

    public T get(int index) {
        return items.get(index);
    }
}

在這些示例中，我們使用了extends和super限定符來限制泛型類型參數T，使其滿足特定的類型要求。這使得代碼更簡潔，同時保持了類型安全。