泛型类在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>实例，编译器根据上下文自动推断出了这些类型参数的值，因此我们不需要显式地指定它们。这使得代码更简洁，同时保持了类型安全。