为什么这个Java 8 lambda无法编译？

Question

以下Java代码无法编译:

@FunctionalInterface
private interface BiConsumer<A, B> {
    void accept(A a, B b);
}

private static void takeBiConsumer(BiConsumer<String, String> bc) { }

public static void main(String[] args) {
    takeBiConsumer((String s1, String s2) -> new String("hi")); // OK
    takeBiConsumer((String s1, String s2) -> "hi"); // Error
}

编译器报告:

Error:(31, 58) java: incompatible types: bad return type in lambda expression
    java.lang.String cannot be converted to void

奇怪的是标记为"OK"的行编译得很好,但标记为"Error"的行失败了.他们看起来基本相同.

Answer 1

你的lambda需要与之一致BiConsumer<String, String>.如果您参考JLS#15.27.3(Lambda的类型):

如果满足以下所有条件,则lambda表达式与函数类型一致:

• [...]
• 如果函数类型的结果为void,则lambda主体是语句表达式(第14.8节)或与void兼容的块.

因此lambda必须是语句表达式或void兼容块:

• 构造函数调用是一个语句表达式,因此它可以编译.
• 字符串文字不是语句表达式,并且不兼容void(参见15.27.2中的示例),因此它不能编译.

Answer 2

基本上,new String("hi")是一段可执行的代码实际上做了某些事情(它创建一个新的String,然后返回它).返回的值可以忽略,new String("hi")仍可以在void-return lambda中使用以创建新的String.

但是,"hi"这只是一个常量,它不会对它自己做任何事情.在lambda体中唯一合理的做法是返回它.但lambda方法必须有返回类型String或Object,但它返回void,因此String cannot be casted to void错误.

Answer 3

第一种情况是好的,因为你正在调用一个"特殊"方法(一个构造函数)而你实际上并没有采用创建的对象.为了更清楚,我将把可选的括号放在你的lambdas中:

takeBiConsumer((String s1, String s2) -> {new String("hi");}); // OK
takeBiConsumer((String s1, String s2) -> {"hi"}); // Error

更清楚的是,我会将其翻译成较旧的符号:

takeBiConsumer(new BiConsumer<String, String>(String s1, String s2) {
    public void accept(String s, String s2) {
        new String("hi"); // OK
    }
});

takeBiConsumer(new BiConsumer<String, String>(String s1, String s2) {
    public void accept(String s, String s2) {
        "hi"; // Here, the compiler will attempt to add a "return"
              // keyword before the "hi", but then it will fail
              // with "compiler error ... bla bla ...
              //  java.lang.String cannot be converted to void"
    }
});

在第一种情况下,您正在执行构造函数,但是您没有返回创建的对象,在第二种情况下,您尝试返回String值,但是您的接口中的方法BiConsumer返回void,因此编译器错误.

Answer 4

JLS指定了

如果函数类型的结果为void,则lambda主体是语句表达式(第14.8节)或与void兼容的块.

现在让我们详细看一下

由于您的takeBiConsumer方法是void类型,因此lambda接收new String("hi")会将其解释为类似的块

{
    new String("hi");
}

这在void中是有效的,因此第一种情况是编译.

然而,在λ是的情况下,-> "hi"诸如的块

{
    "hi";
}

在java中是无效的语法.因此,"hi"唯一要做的就是尝试归还它.

{
    return "hi";
}

在void中无效并解释错误消息

incompatible types: bad return type in lambda expression
    java.lang.String cannot be converted to void

为了更好地理解,请注意,如果将类型更改takeBiConsumer为String,-> "hi"则会有效,因为它只会尝试直接返回字符串.

请注意,起初我认为错误是由于lambda处于错误的调用上下文引起的,所以我将与社区分享这种可能性:

JLS 15.27

如果lambda表达式出现在除赋值上下文(第5.2节),调用上下文(第5.3节)或转换上下文(第5.5节)之外的某个位置的程序中,则为编译时错误.

但是在我们的例子中,我们处于一个正确的调用上下文中.