泛型類在Java中的泛型方法類型推斷

在Java中，泛型類和方法允許我們在編譯時定義類型參數。泛型類和方法的主要優點是它們提供了類型安全，同時避免了類型轉換的錯誤。在Java 7及更高版本中，引入了類型推斷功能，這允許我們在使用泛型類和方法時省略類型參數，編譯器會根據上下文自動推斷出正確的類型。

讓我們通過一個例子來了解泛型類和方法的類型推斷：

import java.util.ArrayList;
import java.util.List;

// 泛型類
public class GenericBox<T> {
    private T item;

    public void set(T item) {
        this.item = item;
    }

    public T get() {
        return item;
    }
}

public class Main {
    public static void main(String[] args) {
        // 使用泛型類，編譯器會自動推斷出類型參數T為String
        GenericBox<String> stringBox = new GenericBox<>();
        stringBox.set("Hello, world!");
        String str = stringBox.get(); // 不需要進行類型轉換

        // 使用泛型方法，編譯器會自動推斷出類型參數T為Integer
        List<Integer> numbers = new ArrayList<>();
        numbers.add(1);
        numbers.add(2);
        Integer sum = sumList(numbers); // 不需要進行類型轉換
    }

    // 泛型方法
    public static <T> T sumList(List<T> list) {
        T sum = null;
        for (T number : list) {
            sum = add(sum, number);
        }
        return sum;
    }

    // 輔助方法，用于計算兩個T類型的和
    public static <T> T add(T a, T b) {
        if (a instanceof Integer && b instanceof Integer) {
            return (T) ((Integer) a + (Integer) b);
        }
        throw new UnsupportedOperationException("Unsupported types for addition");
    }
}

在這個例子中，我們定義了一個泛型類GenericBox和一個泛型方法sumList。在main方法中，我們創建了一個GenericBox實例和一個List<Integer>實例，編譯器根據上下文自動推斷出了這些類型參數的值，因此我們不需要顯式地指定它們。這使得代碼更簡潔，同時保持了類型安全。