Java泛型中的类型推断是如何工作的

Java 泛型中的类型推断是指编译器自动推断泛型参数的具体类型，而不是由程序员显式指定。类型推断的主要目标是简化代码并提高可读性。类型推断在 Java 7 及以后的版本中得到了很大的改进，特别是在使用菱形操作符（<>）时。

类型推断的工作原理如下：

1. 编译器从方法调用或实例化对象的地方开始检查泛型参数的使用情况。
2. 编译器尝试根据上下文推断泛型参数的具体类型。这包括检查传递给方法的参数类型、方法返回类型以及变量赋值等。
3. 如果编译器能够根据上下文推断出泛型参数的具体类型，那么程序员无需显式指定类型参数。否则，编译器会报错，要求程序员提供类型参数。

以下是一个简单的 Java 泛型类型推断示例：

import java.util.ArrayList;
import java.util.List;

public class TypeInferenceExample {
    public static void main(String[] args) {
        // 使用菱形操作符，编译器会自动推断 List<String> 的类型参数
        List<String> stringList = new ArrayList<>();
        stringList.add("Hello");
        stringList.add("World");

        // 编译器可以推断出 Map<String, Integer> 的类型参数
        Map<String, Integer> map = new HashMap<>();
        map.put("one", 1);
        map.put("two", 2);
    }
}

在这个示例中，我们使用了菱形操作符（<>），这使得编译器可以自动推断出泛型参数的具体类型。在第一个例子中，编译器推断出 List 的类型参数为 String；在第二个例子中，编译器推断出 Map 的类型参数为 String 和 Integer。

需要注意的是，类型推断并不总是能够成功。在某些情况下，编译器无法推断出泛型参数的具体类型，这时程序员需要显式指定类型参数。