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

Question

在下面的示例中，为什么编译器能够为Foo.create()in中的第一次调用推断出通用参数，而在第二次调用中Foo.test()却无法推断出通用参数？我正在使用Java
6。

public class Nonsense {
    public static class Bar {
        private static void func(Foo<String> arg) { }
    }

    public static class Foo<T> {

        public static <T> Foo<T> create() {
            return new Foo<T>();
        }

        private static void test() {
            Foo<String> foo2 = Foo.create(); // compiles
            Bar.func(Foo.create());          // won't compile
            Bar.func(Foo.<String>create());  // fixes the prev line
        }
    }
}

（编译错误为 Nonsense.Bar类型的func（Nonsense.Foo）方法不适用于参数（Nonsense.Foo） ）。

注意：我了解编译器错误可以通过test（）中的第三行来解决-我很好奇是否存在阻止编译器推断类型的特定限制。这 似乎 对我有足够的上下文在这里。

Answer 1

从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的预发布版本。它在没有任何警告或错误的情况下编译问题中的代码。