javac为什么不能为用作参数的函数推断泛型类型参数？

javac为什么不能为用作参数的函数推断泛型类型参数？

从Java
7开始，必须考虑方法重载解析，然后才能考虑您正在调用的方法中的任何目标类型信息，以尝试推断

T

的声明中的类型变量

func

。这似乎很愚蠢，因为我们所有人都可以看到在这种情况下只有一个名为的方法

func

，但是它是JLS强制执行的，并且是

javac

Java
7 的行为。

编译过程如下：首先，编译器看到它正在编译对名为Func的Bar类的静态方法的调用。为了执行重载解析，它必须找出调用该方法的参数。尽管这是一个微不足道的案例，但它仍然必须这样做，直到这样做为止，它没有有关可用于帮助它的方法的形式参数的任何信息。实际参数由一个参数组成，对该参数的调用

Foo.create()

被声明为returning

Foo<T>

。再次，没有来自目标方法的标准，它只能推断出该返回类型是擦除的

Foo<T>

是

Foo<Object>

，它也如此。

然后，方法重载解析将失败，因为的重载都不

func

与的实际参数兼容

Foo<Object>

，并且会因此产生错误。

这当然是非常不幸的，因为我们所有人都可以看到，如果信息可以简单地在另一个方向上流动（从方法调用的目标返回调用位置），则可以轻松推断出类型，并且不会出错。实际上，Java
8中的编译器可以做到，而且可以做到。另一个答案是，这种丰富的类型推断对Java 8中添加的lambda和对利用lambda的Java API扩展非常有用。

您可以从前面的链接下载带有JSR 335 lambda的Java
8的预发布版本。它在没有任何警告或错误的情况下编译问题中的代码。