我已经安装了最新的 JDK 8 ea b114 来测试新的语言功能。 然而，链式调用中的推理似乎还不起作用。
如果我写：
Iterator<String> it = new ArrayList<>().iterator();
编译器给我一个错误。
然而，论据位置的推断效果很好。
可能不会插入链式调用中的推理？
【问题讨论】：
正如@Holger 所说，Java 8 改进了上下文推理，因此它可以工作_
public static <T> Iterator<T> iter(Iterable<T> i)
{
return i.iterator();
}
public static void main(String[] args)
{
Iterator<String> it = iter( new ArrayList<>() );
\____________________________/
}
它在 Java 7 中不起作用——对new ArrayList<>() 的推断不能依赖于上下文。
要在问题中做你想做的事情，这将是一个巨大的语言变化。 John Rose 发起了类似的讨论，请参阅http://mail.openjdk.java.net/pipermail/lambda-dev/2013-July/010531.html
过多的推理和过多的上下文依赖可能是一件坏事。并不是编译器无法处理复杂性——它可以。这是关于人类程序员是否可以处理它。我感觉到 Java 8 已经处于人类难以解析代码的危险水平。
【讨论】：
iterator() 示例）实现类型推断，并仅对重载方法禁止它，而不是仅仅因为这 1% （或更少）极端情况。
最新规范（公开审查）可在jcp.org 获得。 D部分有一段讨论了这一点。
方法调用、字段访问等中的接收者 (exp.foo()) 不是 poly 表达式，因为目标类型是未知的——不可能枚举具有特定成员 (foo,在这种情况下）。允许对“链”进行推理引起了一些兴趣：在 a().b() 中，将类型信息从 b 的调用传递到 a 的调用。这为推理算法的复杂性增加了另一个维度，因为部分信息必须在两个方向上传递；它仅在所有实例化（例如列表）的 a() 的返回类型的擦除是固定的时才有效。这个特性不能很好地适应 poly 表达式模型，因为目标类型不容易导出。
【讨论】：