Java 8方法引用与类型推断疑问：泛型方法返回值为何无法被正确推断？

问题重现 #

首先看定义的父类：

public class Parent {
    public <T extends Parent> T get() {
        // 示例实现，返回符合T类型的实例
        return (T) this;
    }
}

直接使用方法引用调用stream().map()时编译失败：

List<Parent> parentList = new ArrayList<>();
List<Parent> collect = parentList.stream().map(Parent::get).collect(Collectors.toList()); // 编译错误

错误提示：

无符合条件的类型变量实例使Object兼容于Parent，推断变量T存在不兼容边界：相等约束：Parent，下界：Object

但先将方法引用赋值给Function再传入map则可以正常编译：

List<Parent> parentList = new ArrayList<>();
Function<Parent, Parent> func = Parent::get;
List<Parent> collect = parentList.stream().map(func).collect(Collectors.toList()); // 编译成功

原因分析 #

核心问题在于Java 8编译器对泛型方法的方法引用进行类型推断时的上下文约束不足：

1. 直接传入方法引用的场景：
   Stream.map()方法需要的是Function<? super T, ? extends R>类型的参数，这里需要同时推断两个泛型参数：

   • 泛型方法get()的类型参数T（约束为T extends Parent）
   • map()方法的输出类型R（最终需要匹配Parent）
     编译器在这种场景下，无法将R=Parent的约束反向传递给get()的T参数。它会先尝试独立推断get()的T，此时没有明确的上下文限制，会默认推断T为最宽泛的符合边界的类型（这里错误地落到了Object），导致后续与R=Parent的约束冲突，触发编译错误。

2. 先赋值给Function的场景：
   当把Parent::get赋值给Function<Parent, Parent>时，编译器明确了这个函数式接口的输入是Parent、输出是Parent。此时编译器可以基于这个明确的约束，将泛型方法get()的T参数推断为Parent（满足T extends Parent的边界），完成方法引用到函数式接口的适配。之后将这个已确定类型的Function传入map()，自然就不会有类型冲突。

简单来说，直接传递方法引用时，编译器无法同时协调两个泛型参数的推断；而通过中间变量显式指定类型，相当于给编译器提供了明确的推断锚点，解决了约束传递的问题。

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