从Java
7开始，必须考虑方法重载解析，然后才能考虑您正在调用的方法中的任何目标类型信息，以尝试推断
T的声明中的类型变量
func。这似乎很愚蠢，因为我们所有人都可以看到在这种情况下只有一个名为的方法
func，但是它是JLS强制执行的，并且是
javacJava
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的预发布版本。它在没有任何警告或错误的情况下编译问题中的代码。
