泛型Java类与类型参数推断

在Java中，泛型类是一种具有类型参数的类。类型参数推断是一种编译器自动确定泛型类型参数的技术，它可以使代码更简洁、易读。类型参数推断主要依赖于类型边界和限定符来实现。

1. 类型边界：类型边界是一个约束，它限制了泛型类型参数可以接受的实际类型。类型边界使用关键字extends来定义。

例如，假设我们有一个泛型类Box<T>，我们希望这个类可以存储任何类型的对象，但是不能存储基本数据类型（如int、float等）。我们可以这样定义类型边界：

public class Box<T extends Object> {
    // ...
}

这里，我们使用extends Object作为类型边界，这意味着T必须是Object或其子类。

2. 类型参数推断：当我们在使用泛型类时，可以省略类型参数，编译器会根据实际传入的参数类型自动推断出泛型类型参数。

例如，我们可以这样使用Box<T>类：

Box<String> stringBox = new Box<>(); // 编译器会自动推断出T为String类型
Box<Integer> integerBox = new Box<>(); // 编译器会自动推断出T为Integer类型

这样，我们就不需要显式地指定泛型类型参数，使代码更简洁。

需要注意的是，类型参数推断只适用于局部变量和函数参数，而不适用于类的类型参数、方法返回值和方法参数。在这些情况下，我们需要显式地指定泛型类型参数。