为什么隐式类型推断仅在分配中起作用？

Question

我知道在分配中使用泛型时，方法可以通过查看左侧变量的类型隐式地知道返回类型的类型。

来自Google收藏夹的示例：

List<String> l = Lists.newArrayList()

我的问题是为什么它不适用于方法或更高类型的推理？

例：

List<List<String>> ll = Lists.newArrayList();
ll.put(Lists.newArrayList()); // doesn't work

是在JLS中指定的吗？如果是，为什么？如果没有，那么这是我可以期望从Java 7获得的一种改进吗？

这让我很烦，因为似乎我们在Java中遇到了问题，就像很久以前在Delphi中就遇到问题一样，在该问题中我无法进行链式方法调用，例如：

C c = a.b().c();

在Delphi（IIRC）中，您必须执行以下操作：

B b = a.b();
C c = b.c();

看起来像个“似曾相识”

Answer 1

我不想在这里要求特别的知识，但是将变量赋值和将值用作方法参数之间有一个明显的区别：在前一种情况下，无论方法是否重载，都只有一个 可能的 目标。

基本上，这意味着您不必担心类型推断和重载/转换之间的相互作用： 仅 当您知道自己感兴趣的唯一目标类型时，才进行推断。

这 是 刚刚虽然猜测。我总是发现Java的类型推断很有趣-它的工作方式与C＃3完全相反，在C＃3中，您可以推断 变量的 类型（只要它是局部变量）。

编辑：我相信相关的JLS节是15.12.2.8：

如果方法结果发生在将进行赋值转换（第5.2节）为类型S的上下文中，则使R为方法的声明结果类型[…]

基本上，“分配转换”位很重要。