Why lst map {c:Char => 1} and lst map ((c:Char) => 1) work fine, but lst map (c:Char => 1) gives us compilation error:
error: identifier expected but integer literal found.
lst map (c:Char => 1)
To answer this question we should look into Scala Language Specification , into part 6.23 Anonymous Functions .There is a description how anonymous function can be defined:
Expr ::= (Bindings | [‘implicit’] id | ‘_’) ‘=>’ Expr
ResultExpr ::= (Bindings | ([‘implicit’] id | ‘_’) ‘:’ CompoundType) ‘=>’ Block
Bindings ::= ‘(’ Binding {‘,’ Binding} ‘)’
Binding ::= (id | ‘_’) [‘:’ Type]
As you can see Bindings requires to be placed inside two surrounding parentheses. So if anonymous function defines the type of the parameter, as in our example, it has to be defined in this way:
(c:Char)=>1
And the call to map should look like that:
lst map((c:Char)=>1)
So if anonymous function is defied as last expression in a code block, and has exacly one parameter, you can use abbreviated syntax, without parenthesis aroundc:Char, to define anonymous function. So, in our example, we can write c:Char => 1, but only when we place it inside a code block {c:Char => 1}. And we can call map function this way:
lst map({c:Char=>1})
or with abbreviated syntax without parenthesis:
lst map {c:Char=>1}
This is summarized in changelog at the end of the documentation (Changes in Version 2.1.7 (19-Jul-2006)):
The syntax of closures has been slightly restricted (§6.23). The form
x: T => E
is valid only when enclosed in braces, i.e. { x: T => E }. The following is illegal, because it might be read as the value x typed with the type T => E:
val f = x: T => E
Legal alternatives are:
val f = { x: T => E }
val f = (x: T) => E
Another way to specify anonymous functions:
If we look closer at specification we can see that it allows us to use another way to define anonymous function:
Expr ::= (Bindings | [‘implicit’] id | ‘_’) ‘=>’ Expr
We can see that we can define your anonymous function without parameter binding in those two ways (if we don't need to specify argument type):
lst map (c =>1)
// or
lst map (_=>1)
I hope that this article clarified how we can declare anonymous functions and it shouldn't cause a confusion any more.
-------------------------------------------------------
In general, there are many cases when you would prefer curly braces (e.g. multiline expressions, for comprehensions), but let's talk specifically about
when it's written on a single line, is there any inherent reason to use one over the other
In a second case it's not just curly braces, instead of parentheses, it's curly braces with ommited parentheses. Scala allows you to ommit parenthesis sometimes, and the later syntax is used to access to the niceties you got in partial functions (namely, pattern matching), so
lst foreach {x => println(s"you get the idea, $x")}
is actually
lst foreach({x => println(s"you get the idea, $x")})
which, as I said, can be useful from pattern matching POV:
val map = Map("foo" -> "bar")
map foreach { case (k, v) => println(s"key: $k, value: $v") }
// which is not possible with the usual parenthesis
本文解析了Scala中匿名函数定义的灵活性及其可能导致的混淆,并详细解释了不同语法形式的区别及应用场景,尤其是在调用集合的map方法时的不同表现。
2455

被折叠的 条评论
为什么被折叠?



