为什么Java的类型推断如此薄弱？

Question

说吧，我有一个方法:

public static <T> Collection<T> addToCollection(T element, Collection<T> collection) {
    collection.add(element);
    return collection;
}

然后在尝试编译此代码时：

Integer i = 42;
Collection<Integer> result = addToCollection(i, Collections.emptyList());

我收到错误 类型不匹配：无法从集合转换

上面的例子很明显是人为的，但是我总是偶然发现这个限制，这真的很烦人。在阅读了《有效的Java》之后，我发现你可以简单地进行<代码>收集。

我只是想知道这是否是某种错误，或者是否有任何正当理由让它以这种方式工作？




Answer 1

这样做有什么害处？

Integer i = 42;
List<Integer> emptyList = Collections.emptyList();
Collection<Integer> result = addToCollection(i, emptyList);

在java 8中，它将得到照顾。

Answer 2

集合。emptyList（）返回列表

Answer 3

在Java 8中，类型推断系统得到了改进，引入了目标类型，以便为流和lambda提供更多的表达能力。因此，您的代码使用 Java 8 进行编译。

在更新的教程中详细介绍它，页面底部有一个非常相似的示例。