泛型类中的类型推断细节

泛型类中的类型推断允许编译器根据上下文自动确定泛型参数的类型，从而使代码更简洁。在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);