scala霧中風景 2 小括號與花括號

下面的問題，表面上看是小括號與花括號的問題。

// map方法這樣寫不能編譯通過
scala> list(2).map( case 2 => "ok" )
// 換做花括號就可以了
scala> list(2).map

不了解原因的話，覺得很詭異。分析一下，首先，map方法接受乙個函式，這個函式將list中的元素對映為其他型別。

實際上case 2 => "ok"不是一段lambda表示式(也就是說它不是函式)，它是一段模式匹配語句。

那為什麼在第二行可以編譯通過呢？

稍微有點基礎的話，會清楚方法的花括號有2種意思：

1）scala中函式的小括號，可以用花括號來表示，即foo與foo(xx)是一回事兒。

2）對於只有乙個引數的方法，其小括號是可以省略的，map(lambda)可寫為map lambda，即這塊連同花括號整體是乙個lambda(函式字面量)。

這兒顯然是第2個(追究原因就要看編譯器在語法解析式的優先順序了，看樣子把花括號對待為lambda字面量的一部分要高於把花括號當作小括號來對待)，那麼為什麼加了花括號的就可以當作一段函式字面量？

這要引出偏函式的概念，所謂偏函式(也叫部分函式)與完全函式想對應，普通的方法都是完全函式，即f(i:int) = ***是將所有int型別作為引數的，是對整個int集的對映；而偏函式則是對部分資料的對映，比如上面就僅僅只對2做了對映。偏函式的實現都是通過模式匹配來表達的。

scala> val p:partialfunction[int,string] =

因為偏函式是通過這種特殊的方式來描述的，上面的就被當作了一段偏函式字面量，而偏函式背後的型別partialfunction[a,b]是繼承自function1[a,b]的，所以將這段匿名的偏函式傳給map方法是ok的。

小結：表示式會被當作偏函式字面量。

二者還是通常意義上的定位和用法，只不過scala有一套省略策略。具體參考

**: