java - 来自 Lambda 表达式的有效 void 返回语句(示例 : Runnable)

Question

使用 void 在 Java 中看到一些关于函数式接口(interface)的奇怪行为返回类型。
有人可以解释为什么 task5 的声明和 task6下面编译？

public class Test {

    private static int counter;

    private static void testRunnable() {
        /* Runnable has a void return type so the following won't compile.
        * Error message is Void methods cannot return a value. (Java 67108969) Makes sense... */
        // Runnable task1 = () -> { return counter; };
        // Runnable task2 = () -> { return counter + 1; };
        // Runnable task3 = () -> counter;
        // Runnable task4 = () -> counter + 1;

        /* But for some reason, this is totally acceptable. Why? */
        Runnable task5 = () -> counter++;
        Runnable task6 = () -> ++counter;
    }
}

Answer 1

lambda 表达式 () -> counter++;有效为 counter++;是一个语句表达式。 JLS 中明确允许这样做。 :

If the function type's result is void, the lambda body is either a statement expression (§14.8) or a void-compatible block.

对于 statement expression's definition :

An expression statement is executed by evaluating the expression; if the expression has a value, the value is discarded.

如果您阅读整个 JLS 15.27.3，您会明白为什么 () -> {return counter + 1;}不是 void 兼容的。 lambda body 没有使用与简单表达式语句完全相同的规则进行验证。
换句话说，counter++;和 ++counter;是语句表达式，这意味着表达式可以被评估并被视为其结果被简单地丢弃的语句。
转换为 block 体时会更清晰(或者看起来更熟悉):

Runnable task5 = () -> {
    counter++; //result discarded, but you can't use "return counter++;"
};
Runnable task6 = () -> {
    ++counter; //result discarded, but you can't use "return ++counter;"
};

这与 UnaryOperator 无关，至少就该功能接口(interface)而言。恰好counter++与 IntUnaryOperator 兼容，但表达式可能是其他任何内容，包括(但不限于)以下内容，并且您的问题仍然适用，因为该语句会产生结果:

Runnable task5 = () -> counter += 1;
Runnable task6 = () -> counter = counter + 1;
Runnable task7 = () -> Math.addExact(counter, 1); // no change in counter
Runnable task8 = () -> return2(); //return2 takes no input

所有这些都是与 Runnable.run() 一致的产生 int 的表达式。 .具体来说，task8不接受输入但产生结果；它甚至不兼容任何一元运算符功能接口(interface)。