Lambda表达式和方法重载疑点

Question

好的，所以方法重载是一件坏事™。既然这个问题已经解决了，让我们假设我实际上想重载一个像这样的方法：

static void run(Consumer<Integer> consumer) {
    System.out.println("consumer");
}

static void run(Function<Integer, Integer> function) {
    System.out.println("function");
}

在Java7中，我可以很容易地使用不明确的匿名类作为参数来调用它们：

run(new Consumer<Integer>() {
    public void accept(Integer integer) {}
});

run(new Function<Integer, Integer>() {
    public Integer apply(Integer o) { return 1; }
});

// Consumer
run((Integer i) -> {});

// Function
run((Integer i) -> 1);

// Consumer
run(i -> {});

// Function
run(i -> 1);

但这不能编译。编译器(javac，JDK1.8.0_05)不喜欢这样：

Test.java:63: error: reference to run is ambiguous
        run(i -> {});
        ^
  both method run(Consumer<Integer>) in Test and 
       method run(Function<Integer,Integer>) in Test match

对我来说，直觉上，这没有意义。在产生返回值（“value-compatible”）的lambda表达式和产生void（“void-compatible”）的lambda表达式之间绝对没有歧义，如JLS§15.27所述。

但当然，JLS是深入和复杂的，我们继承了20年向后兼容的历史，并且有一些新的东西，如：

某些包含隐式类型的lambda表达式(§15.27.1)或不精确的方法引用(§15.13.1)的参数表达式被适用性测试忽略，因为它们的含义在选定目标类型之前无法确定。

摘自《联合法典》第15.12.2节

上面的限制可能与JEP 101没有完全实现有关，这里和这里可以看到。

Answer 1

我想您在编译器中发现了这个bug:JDK-8029718（或者Eclipse中的这个类似的：434642）。

请参阅JLS§15.12.2.1。确定可能适用的方法：

…

注意“void兼容块”和“值兼容块”之间的明确区别。虽然在某些情况下，一个块可能是两者兼而有之，但第15.27.2节。Lambda正文明确指出，像()->{}这样的表达式是一个“void兼容块”，因为它通常完成时不会返回值。很明显，i->{}也是一个“void兼容块”。

根据上面引用的部分，带有不兼容值的块的lambda和带有(non-void)返回类型的目标类型的组合不是方法重载解析的潜在候选项。所以你的直觉是对的，这里不应该有任何歧义。

不明确块的示例有

() -> { throw new RuntimeException(); }
() -> { while (true); }

因为它们不能正常完成，但你的问题不是这样的。