Java 7泛型类型推断：返回值与方法参数

Question

为什么编译器能够在函数返回类型的情况下正确推断String类型参数。

public class Generics {
    private static List<String> function() {
        return new ArrayList<>();
    }
}

但是当要推断的类型是方法参数时它会失败：

public class Generics {
    public static void main(String[] args) {
        method(new ArrayList<>());
    }    

    private static void method(List<String> list) {

    }
}

这种情况下的错误是：

The method method(List<String>) in the type Generics is not applicable 
for the arguments (ArrayList<Object>)

Answer 1

这是类型推断尚未按预期工作的地方之一。

不幸的是，这种行为完全有效且符合要求。

好消息是Java 8将包含改进的类型推断（JEP 101） ，因此像这样的情况应该按照您的预期进行编译：

当这种泛型方法调用的结果传递给另一个方法时，编译器应该能够推断出类型似乎是合理的[...]。

不幸的是，在JDK 5/6/7中不允许这样做 - 程序员可用的唯一选择是使用显式类型参数。

除了直接的改进（例如你在这里提到的那些情况）之外，这种改变对于能够更有效地使用Lambdas（JEP 126）也是必要的（即，不必键入大量类型信息）。

Answer 2

在JLS中推断未解析的类型参数的部分相当复杂，但我理解第一种情况的菱形发生在它受到赋值转换的位置 ，而在第二种情况下它发生在方法调用转换中 ，遵循不同的规则。