请说明Java 8的lambda方法的语法。
关于lambda函数是什么,有很多解释,但是我找不到语法的详尽解释,而且我发现很难正确地正确复制语法,因为我不明白为什么它们会照原样重写。
这是NetBeans提供的一个常见案例:
public static void main(String[] args) { SwingUtilities.invokeLater(() -> { new MainAppJFrame(); }); }
因此,以下lambda表达式可以解析为匿名Runnable对象的run()方法:
() -> { // do stuff }
该->是lambda语法正确的,对不对?花括号只包含匿名方法代码。括号是否为空参数,因为在这种情况下我们正在创建Runnable.run()方法?
Runnable.run()
这对我来说还不清楚。我假设编译器知道Runnable根据该SwingUtilities.invokeLater(Runnable)方法预期的类型实例化一个匿名对象吗?如果有两种SwingUtilities.invokeLater方法仅在参数列表中有所不同,将会发生什么?显然,在这种情况下没有,但在其他地方也有可能:
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 } } }
语法是:
arguments -> body
哪里arguments可以
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)
var
(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;}
() -> 2
() -> {return 2;}
对于类似lambda的表达式() -> f()(主体是方法或构造函数调用表达式):
() -> f()
如果f()返回void,则等于() -> { f(); }
f()
void
() -> { f(); }
否则,它们等于() -> { f(); }或() -> { return f(); })。编译器从调用上下文中推断出它,但是通常它将首选后者。
() -> { return f(); })
因此,如果你有两种方法:void handle(Supplier<T>)和void handle(Runnable),则:
void handle(Supplier<T>)
void handle(Runnable)
handle(() -> { return f(); })然后handle(() -> x)会叫第一个
handle(() -> { return f(); })
handle(() -> x)
handle(() -> { f(); } 将调用第二个,并且
handle(() -> { f(); }
handle(() -> f()):
handle(() -> f())
如果f()返回void或不可转换为的类型T,则它将调用第二个
如果f()返回可转换为的类型T,则它将调用第一个
编译器尝试将lambda的类型与上下文匹配。我不知道确切的规则,但答案是:
如果有两个SwingUtilities.invokeLater方法仅在参数列表上有所不同,将会发生什么?
是:这取决于那些参数列表。如果invokeLater另一个参数也恰好有一个参数,并且该参数的类型也是一个类型为的方法的接口void*(),那么它会抱怨说它无法弄清楚你要使用的方法。
invokeLater
void*()
为什么按原样书写?好吧,我认为这是因为C#和Scala中的语法几乎相同(它们使用=>而不是->)。
=>
->