无类型参数Function赋值Lambda遇编译错误，强制转换却可行的原因

咱先逐个拆解你遇到的这几个问题，核心都是Java泛型的类型推断、原始类型特性，还有函数式接口的泛型兼容性规则在起作用：

为什么Function f1 = (Integer x) -> x;编译错误，但强制转换后可行？ #

这里的关键是原始类型的泛型擦除和lambda的类型推断逻辑：

• 当你写Function（不带泛型参数）时，这是一个原始类型，Java编译器会擦除它所有的泛型信息，把Function<T,R>的抽象方法apply(T)擦除成Object apply(Object)。
• 直接赋值(Integer x) -> x时，编译器需要推断这个lambda要实现的函数式接口方法签名，但原始类型的apply方法要求参数是Object，而你的lambda参数是Integer，两者不匹配，编译器无法确认这个lambda符合Function的要求，因此抛出编译错误。
• 而Function f2 = (Function<Integer, Integer>)((Integer x) -> x);能成功，是因为你先给lambda指定了明确的目标类型：Function<Integer, Integer>。编译器先验证这个lambda完全匹配Function<Integer, Integer>的签名（输入Integer，返回Integer），然后把这个泛型实例赋值给原始类型Function——Java允许泛型类型向原始类型赋值（虽然会有未检查转换的警告，但不会报错），因为原始类型会忽略所有泛型约束。

为什么Function<Object, Object> f3 = (Integer x) -> x;不行，但Function<Integer, Object> f4 = (Integer x) -> x;可以？ #

这涉及到Function<T,R>泛型参数的协变与逆变规则：

• Function的第一个泛型参数T（输入类型）是逆变的：如果A是B的子类，那么Function<B, R>可以赋值给Function<A, R>（因为能接受B类型的方法，自然能接受子类A的参数）。
• 第二个泛型参数R（返回类型）是协变的：如果A是B的子类，那么Function<T, A>可以赋值给Function<T, B>（因为返回A类型的结果，能自动向上转型为父类B）。

现在看这两个赋值：

• Function<Object, Object> f3 = (Integer x) -> x; 编译失败：
  Function<Object, Object>要求apply方法能接受任意Object类型的参数，但你的lambda只能处理Integer类型的输入。如果允许这个赋值，之后调用f3.apply("hello")时，lambda的参数是Integer，根本无法处理String类型的输入，这会导致运行时错误。编译器为了提前规避这种风险，直接禁止了这个赋值。
• Function<Integer, Object> f4 = (Integer x) -> x; 编译成功：
  Function<Integer, Object>要求输入是Integer（和lambda的参数完全匹配），返回是Object。而lambda返回的Integer是Object的子类，符合返回类型的协变规则（返回子类类型可以自动向上转型为父类Object），所以编译器允许这个赋值——调用f4.apply(123)时，返回的Integer能正常转型为Object，完全没有问题。

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