Java 8和广义目标类型推断

Question

我已经安装了最后一个JDK 8 ea b114，以测试新的语言功能。但是，链式调用中的推断似乎还行不通。

如果我写：

Iterator<String> it = new ArrayList<>().iterator();

编译器给我一个错误。

但是，论据位置的推断效果很好。

也许不会插入链接呼叫的推论？

Answer 1

最新的规范（公共评论）可从jcp.org获得。D部分有一段讨论了这一点。

方法调用，字段访问等（exp.foo（））中的接收者不是多义表达式，因为目标类型是未知的-不可能枚举具有特定成员（在这种情况下为foo的每种类型）
）。允许推理到“链”已经引起了一些兴趣：在a（）。b（）中，将类型信息从b的调用传递到a的调用。由于部分信息必须在两个方向上传递，这为推理算法的复杂性增加了另一个维度。它仅在所有实例化（例如List）的a（）返回类型的擦除固定后才起作用。由于无法轻松派生目标类型，因此此功能不太适合多表达模型。