Java 17中Function.identity()的类型参数为何无法自动推断？

问题场景 #

需求是生成一个Map<Boolean, Integer>，其中键true对应列表中大于指定阈值的最大整数，键false对应列表中小于等于阈值的最大整数。实现代码如下：

public static void main(String[] args) {
    List<Integer> list = List.of(1, 2, 3, 5, 6);
    Map<Boolean, Integer> map = largestGreaterAndLessThan(list, 4);
    System.out.println(map);
}

private static Map<Boolean, Integer> largestGreaterAndLessThan(List<Integer> list, int threshold) {
    return list.stream()
               .collect(Collectors.toMap(x -> x > threshold, Function.identity(), BinaryOperator.maxBy(Comparator.comparing(Function.identity()))));
}

编译报错信息 #

这段代码无法通过javac编译，报错如下：

error: no suitable method found for toMap((x)->x > threshold,Function<Object,Object>,BinaryOperator<T#1>)
                 .collect(Collectors.toMap(x -> x > threshold, Function.identity(), BinaryOperator.maxBy(Comparator.comparing(Function.identity()))));

原因分析 #

1. 类型推断的循环依赖问题 #

Java编译器的类型推断基于上下文，但Collectors.toMap的三个参数之间存在类型依赖：

• Collectors.toMap的泛型参数为<K, U>，这里K是Boolean，U需要是Integer。
• 值生成器参数Function.identity()是泛型方法，返回Function<T,T>，需要推断T为Integer；但第三个合并参数BinaryOperator.maxBy(Comparator.comparing(Function.identity()))中，Comparator.comparing也依赖于Function.identity()的类型为Function<Integer, Integer>。

这种情况下，编译器无法同时完成多个泛型方法的类型推断，陷入循环依赖，只能默认将Function.identity()的类型推断为Function<Object,Object>，与Map<Boolean, Integer>的目标类型不匹配，最终编译失败。

2. lambda表达式与Function.identity()的推断差异 #

当把Function.identity()替换为x -> x时，lambda表达式的类型可以直接从流的元素类型（Integer）推导出来——编译器能明确知道lambda的输入和输出都是Integer，无需依赖其他参数的类型推断，因此可以正常编译。

而显式指定Function.<Integer>identity()时，直接明确了泛型参数类型，打破了推断的循环，编译器可以基于这个明确的类型，完成后续合并参数的类型推断，从而通过编译。

3. IDE误报的原因 #

IntelliJ等IDE的静态代码分析逻辑与javac编译器不完全一致：IDE会提前结合流的元素类型（Integer），直接推断出Function.identity()的类型为Integer，因此不会检测到编译错误；但javac的类型推断逻辑更严格，无法处理这种多泛型方法的循环依赖场景，导致实际编译失败。

修复后的代码 #

方式一：替换为lambda表达式 #

private static Map<Boolean, Integer> largestGreaterAndLessThan(List<Integer> list, int threshold) {
    return list.stream()
               .collect(Collectors.toMap(
                   x -> x > threshold,
                   x -> x,
                   BinaryOperator.maxBy(Comparator.comparing(x -> x))
               ));
}

方式二：显式指定Function.identity()的泛型参数 #

private static Map<Boolean, Integer> largestGreaterAndLessThan(List<Integer> list, int threshold) {
    return list.stream()
               .collect(Collectors.toMap(
                   x -> x > threshold,
                   Function.<Integer>identity(),
                   BinaryOperator.maxBy(Comparator.comparing(Function.identity()))
               ));
}

内容的提问来源于stack exchange，提问作者Neilesh Vinjamuri