泛型类型的推断确定

一般来说，泛型类型的推断可以由以下几个场景确定：

1. 变量定义指定类型

List<String> strList = new ArrayList<>();

ArrayList的泛型类型是依据变量的类型确定的。

2. 方法返回值确定

   @Overridepublic Function<List<Integer>, List<Integer>> finisher() {return Function.identity();}

Function.identity();本身是个泛型方法，但是没有明确指定泛型类型，但是方法返回值有类型，所有这里的泛型类型就被编译器推断为<List, List>。

3. 参数类型确定

    <R, A> R collect(Collector<? super T, A, R> collector);public interface Collector<T, A, R> public static <T>Collector<T, ?, List<T>> toList() {return new CollectorImpl<>((Supplier<List<T>>) ArrayList::new, List::add,(left, right) -> { left.addAll(right); return left; },CH_ID);}

Stream的泛型类型为T，collect方法需要一个Collector类型的参数，Collector类型有3个泛型，此时能确定第一个泛型类型为Stream的泛型类型，而这里又调用了Collectors.toList()方法，用于获取Collector，但是toList方法是没有参数，所以无法从参数推导返回值的泛型类型，那第二个确定返回值泛型类型的方式就是通过调用者确定的泛型类型来推断泛型类型。

这里的调用者是Stream的collect 而Stream的泛型类型可以推断出，进而又能确定
<R, A> R collect(Collector<? super T, A, R> collector); 第一个泛型类型，能确定第一个泛型类型，那toList方法返回值Collector的第一个泛型就是推断出来的泛型，进而确定 List的泛型。 总之 静态泛型方法的泛型类型主要有以下两种途径确定：

泛型方法返回值未赋值给具体类型的变量。  --> 没有返回值可确定
泛型方法参数列表为空，缺乏类型推断依据。  --> 没有参数可确定

调用泛型静态方法时指定

public class GenericMethodInference {// 定义泛型方法，返回类型为泛型 Tpublic static <T> T getDefault() {return null;}public static void main(String[] args) {// 手动指定泛型类型为 StringString str = GenericMethodInference.<String>getDefault();// 手动指定泛型类型为 IntegerInteger num = GenericMethodInference.<Integer>getDefault();}
}

getDefault方法没有参数，如果直接GenericMethodInference.getDefault调用，编译器无法通过参数以及接收的返回值类型确定泛型，所以此时就是Object。

语法

在调用泛型方法时，在方法名前使用 <类型参数> 来显式指定泛型类型，语法格式为：
类名.<类型参数>方法名(参数列表);

如果是在类的实例方法里调用本类的泛型方法，也可以省略类名，直接使用：
.<类型参数>方法名(参数列表);