泛型类在Java中的泛型类型推断规则

在Java中，泛型类型推断允许编译器根据上下文自动推断出泛型的实际类型，从而简化代码并减少冗余。泛型类型推断主要依赖于类型边界、限定类型和限定类型的限定符这三个方面。以下是Java泛型类型推断规则的一些关键点：

1. 类型边界：泛型类型必须是指定类型的子类或实现指定接口的类型。这称为类型边界，使用关键字extends来定义。

public class Box<T extends Number> { /* ... */ }

在这个例子中，T必须是Number类或其子类的类型。

2. 限定类型：可以使用关键字extends来进一步限制泛型类型的上界，这称为限定类型。

public class NumericBox<T extends Number & Comparable<T>> { /* ... */ }

在这个例子中，T必须是Number类的子类，并且实现了Comparable<T>接口。

3. 限定类型的限定符：可以使用extends关键字来限定限定类型的上界，这称为限定类型的限定符。

public class Box<T extends Number & Comparable<Integer>> { /* ... */ }

在这个例子中，T必须是Number类的子类，实现了Comparable<Integer>接口。

4. 泛型方法：在泛型方法中，编译器可以根据方法的参数类型和返回类型来推断泛型的实际类型。

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

在这个例子中，编译器可以根据传递给print方法的参数类型来推断T的实际类型。

5. 泛型类的实例化：在实例化泛型类时，如果提供了具体的类型参数，编译器将根据这些参数来推断泛型的实际类型。如果没有提供类型参数，编译器将根据上下文来推断泛型的实际类型。

Box<Integer> intBox = new Box<>(); // 编译器根据上下文推断出T为Integer
Box<String> strBox = new Box<>(); // 编译器根据上下文推断出T为String

6. 类型推断的限制：编译器在推断泛型类型时会考虑类型边界、限定类型和限定类型的限定符等因素。在某些情况下，编译器可能无法推断出唯一的类型，这时会报错。

总之，Java中的泛型类型推断规则允许编译器根据上下文自动推断出泛型的实际类型，从而简化代码并减少冗余。在使用泛型时，了解这些规则可以帮助我们编写更简洁、更易于维护的代码。