泛型Java类型推断规则

Java泛型中的类型推断规则主要依赖于类型参数的上下文以及所使用的构造函数或方法。以下是类型推断的一些基本规则和示例：

1. 局部变量类型推断：当使用泛型类或接口的实例化时，可以省略类型参数。编译器会根据变量的初始化表达式来推断类型参数。

List<String> names = new ArrayList<>();  // 编译器推断出ArrayList的类型为String

2. 方法参数类型推断：在调用泛型方法时，也可以省略类型参数。编译器会根据方法调用的实参来推断类型参数。

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

print("Hello");  // 编译器推断出T的类型为String

3. 构造函数参数类型推断：在使用泛型类的构造函数时，同样可以省略类型参数。编译器会根据传递给构造函数的实参来推断类型参数。

public class Box<T> {
    private T content;

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

Box<String> stringBox = new Box<>("Hello");  // 编译器推断出Box的类型参数为String

4. 有界类型推断：当使用泛型类型参数作为其他类型的边界时，可以使用extends关键字来限制类型参数的范围。此时，编译器会根据上下文来推断合适的类型参数。

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（因为所有参数都是Number的子类）

5. 通配符类型推断：在使用通配符类型（如List<?>）时，通常无法直接推断出具体的类型参数。但在某些情况下，结合其他类型信息（如方法调用或构造函数参数），编译器可能能够推断出具体的类型参数。

需要注意的是，类型推断并不总是成功的。在某些情况下，编译器可能无法确定具体的类型参数，或者可能存在多个合适的类型参数。在这些情况下，编译器会发出警告或错误，提示用户进行显式类型转换或指定类型参数。