为什么 .forEach(val -> list.add()) 编译而 .forEach(val -> true) 不编译？ [复制]

Question

最好在代码中表达这种行为：

List<Integer> list= new ArrayList<>();
Stream.of(1,2,3).forEach(i -> list.add(1));  // COMPILES

Stream.of(1,2,3).forEach(i -> true);  // DOES NOT COMPILE!

forEach(...)接受Consumer，但是如果List接口有以下签名boolean add(E e)，为什么第一个例子编译？而第二个产生：

lambda 表达式中的返回类型错误：布尔值无法转换为 无效

Answer 1

虽然你可能只是在寻找

Stream.of(1,2,3).forEach(list::add); // adding all to `list`

如果 List 接口有以下内容，为什么第一个示例编译 签名布尔加（E e）

主要是因为方法的返回类型在第一次调用中被忽略了。这就是它的扩展：

Stream.of(1,2,3).forEach(new Consumer<Integer>() {
    @Override
    public void accept(Integer i) {
        list.add(1); // ignored return type
    }
});  // COMPILES

另一方面，另一种 lambda 表示更像是 Predicate（也是 FunctionalInterface），表示始终从其 test 方法返回 true。如果您甚至尝试将其表示为 Consumer，它可能看起来就像

Stream.of(1,2,3).forEach(new Consumer<Integer>() {
    @Override
    public void accept(Integer i) {
        return true; // you can correlate easily now why this wouldn't compile 
    }
});  // DOES NOT COMPILE!

---

添加到design basis via a comment from Brian

Java 允许您调用方法并忽略返回值（将方法调用表达式作为语句）。因为我们允许在 调用时，我们在将方法调整为 其参数兼容但功能性的功能接口 接口返回无效。

编辑：把它放在his own words 中，尽可能接近language spec：

更准确地说，list.add(x) 是一个语句表达式，并且 因此是空兼容的。 true 不是语句表达式， 因此不兼容 void。 forEach(Consumer) 需要一个 void 兼容的 lambda。

Answer 2

forEach() 作为Consumer 作为唯一的参数，因此您需要实现方法accept()，它返回void，所以在第二个示例中，您正在使用给定的 assinature 实现方法static boolean method(int).

Answer 3

Special Void-Compatibility Rule (JLS) 表示返回 void 的 lambda 可以接受返回非 void 的语句。在这种情况下，返回被丢弃。因此编译。

Stream.of(1,2,3).forEach(i -> list.add(1)); // return value of add is ignored

通过在 Action book 中引用 Java-8 来换一种说法：

如果 lambda 有一个语句表达式作为它的主体，它是兼容的 带有返回 void 的函数描述符（提供参数 列表也兼容）。例如，以下两行都是 合法，即使 List 的方法 add 返回一个布尔值而不是 在消费者上下文中如预期的那样无效（T -> void）：

// Predicate has a boolean return
 Predicate<String> p = s -> list.add(s); 
// Consumer has a void return 
Consumer<String> b = s -> list.add(s);

至于第二个例子，这是明确地尝试返回一个布尔值，它不是预期的，因此不可能。

Stream.of(1,2,3).forEach(i -> true);  

换句话说：

Stream.of(1,2,3).forEach(i -> {return true;});

如您所知，forEach 接受消费者，因此尝试“显式”返回 boolean 应该会产生编译错误。