为什么此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中的示例），因此它不能编译。