Java的lambda语法有哪些细分？

Question

请说明Java 8的lambda方法的语法。

关于lambda函数是什么，有很多解释，但是我找不到语法的详尽解释，而且我发现很难正确地正确复制语法，因为我不明白为什么它们会照原样重写。

这是NetBeans提供的一个常见案例：

public static void main(String[] args) {
    SwingUtilities.invokeLater(() -> {
        new MainAppJFrame();
    });
}

因此，以下lambda表达式可以解析为匿名Runnable对象的run（）方法：

() -> {
    // do stuff
}

该->是lambda语法正确的，对不对？花括号只包含匿名方法代码。括号是否为空参数，因为在这种情况下我们正在创建Runnable.run()方法？

这对我来说还不清楚。我假设编译器知道Runnable根据该SwingUtilities.invokeLater(Runnable)方法预期的类型实例化一个匿名对象吗？如果有两种SwingUtilities.invokeLater方法仅在参数列表中有所不同，将会发生什么？显然，在这种情况下没有，但在其他地方也有可能：

interface ExampleLambdaConsumer {
    public void doSomething(Runnable r);
    public void doSomething(java.lang.reflect.Method m);
}

class C implements ExampleLambdaConsumer {
    // implementations for doSomething methods here

    public static void main(String[] args) {
        doSomething(() -> {
            // lambda method body here
        }
    }
}

Answer 1

语法是：

arguments -> body

哪里arguments可以

• ()

• 如果可以从上下文中推断出单个变量的类型

• var括号中的变量序列，带有或不带有类型（或者从Java 11开始，带有）。
  例如：(x)，(x, y)，(int x, int y)，(var x, var y)（Java 11+）。
  以下是无效的：(int x, y)，(x, var y)，(var x, int y)
  
  

并且body可以是一个表达式或一{…}与语句块。只需返回表达式（而不是方法或构造函数调用），即() -> 2等于() -> {return 2;}

对于类似lambda的表达式() -> f()（主体是方法或构造函数调用表达式）：

• 如果f()返回void，则等于() -> { f(); }

• 否则，它们等于() -> { f(); }或() -> { return f(); })。编译器从调用上下文中推断出它，但是通常它将首选后者。

因此，如果你有两种方法：void handle(Supplier<T>)和void handle(Runnable)，则：

• handle(() -> { return f(); })然后handle(() -> x)会叫第一个

• handle(() -> { f(); } 将调用第二个，并且

• handle(() -> f())：

• 如果f()返回void或不可转换为的类型T，则它将调用第二个

• 如果f()返回可转换为的类型T，则它将调用第一个

编译器尝试将lambda的类型与上下文匹配。我不知道确切的规则，但答案是：

如果有两个SwingUtilities.invokeLater方法仅在参数列表上有所不同，将会发生什么？

是：这取决于那些参数列表。如果invokeLater另一个参数也恰好有一个参数，并且该参数的类型也是一个类型为的方法的接口void*()，那么它会抱怨说它无法弄清楚你要使用的方法。

为什么按原样书写？好吧，我认为这是因为C＃和Scala中的语法几乎相同（它们使用=>而不是->）。