函數(shù)字面量

常說的字面量有：
整型字面量 val i = 123
浮點型字面量 val i = 3.14
布爾型字面量 val i = true
字符串型字面量 val i = "hello"

字面量可以體現(xiàn)函數(shù)式編程的核心理念斧蜕，函數(shù)式編程中纬黎，函數(shù)是“頭等公民”蝉仇，可以像任何其他數(shù)據(jù)類型一樣被傳遞和操作，也就是說缸沃，函數(shù)的使用方式和其他數(shù)據(jù)類型的使用方式完全一致。通俗來講程帕，函數(shù)可以被當(dāng)作是數(shù)據(jù)來使用如失，即可以為函數(shù)指定類型等。

函數(shù)的類型和值

傳統(tǒng)定義函數(shù)格式：
def func(value: Int) :Int = {value += 1} //函數(shù)中有int型參數(shù)value限嫌，函數(shù)返回類型為Int
上面定義的函數(shù)類型可表示為： (Int) => Int靴庆，也就是輸入?yún)?shù)為Int類型，返回值Int類型怒医，若只有輸入?yún)?shù)炉抒，可以省略括號，即Int => Int稚叹，這樣就是體現(xiàn)了函數(shù)的“類型”焰薄。

那么對于函數(shù)的值，可以將函數(shù)中定義的類型聲明部分去掉扒袖，剩下的就是函數(shù)的“值”：
(value) => (value += 1) 塞茅，注意這個值需要使用 => 表示，而不是=

有了上述概念僚稿，我們就能清楚地明白函數(shù)的類型和值的關(guān)系凡桥，并能夠?qū)⑵鋭冸x出來。
一般我們聲明變量時：
val a : Int = 5 //其中Int是類型蚀同，5是值
那么同樣可以聲明Scala中的函數(shù)：
val b : Int => Int = { (value) => value+=1 } //其中Int => Int是類型缅刽，{}中的東西是函數(shù)的值啊掏，此時b就是一個函數(shù)類型了

匿名函數(shù)

匿名函數(shù)用于快速完成一個函數(shù)的定義。
例如：(num : Int) => {num * 2} 這種形式的匿名函數(shù)也稱作Lambda表達(dá)式衰猛。其基本格式是：
(參數(shù)) => 表達(dá)式 //若參數(shù)只有一個則括號可省略

定義好的匿名函數(shù)可以直接將其賦給變量迟蜜，后面可以直接拿來使用：

val func1 = Int => Int = (num : Int) => num*2  //將匿名函數(shù)作為Int => Int函數(shù)的值
println(fun1(3))  //可以直接用變量來使用這個匿名函數(shù)

我們都知道Scala具有類型推斷功能，那么定義的函數(shù)也可以像定義變量那樣在合適的時候省去類型的指定：

val func1 = Int => Int = {(num:Int) => num*2}
等價于：
val func2 = {(num:Int) => num*2}

閉包

閉包也是一個函數(shù)啡省，與普通函數(shù)有所區(qū)別：
如果定義一個函數(shù)中出現(xiàn)了函數(shù)中未曾出現(xiàn)的變量名娜睛，這個函數(shù)就是閉包函數(shù)：
val add = (x : Int) => x + y //其中y未在該匿名函數(shù)中出現(xiàn)
例如：

var y = 1
val add = (x : Int) => x + y 
    返回Int = 11

上例中，var y是一個自由變量卦睹，他會被綁定到add中的匿名函數(shù)里畦戒，因此這就體現(xiàn)了一種從變量開放到封閉的過程，因此成為閉包结序。

注意：每次add函數(shù)被調(diào)用時都會創(chuàng)建新的閉包障斋，而不是保留原始內(nèi)存棧空間徐鹤。
每個閉包都會訪問閉包創(chuàng)建時活躍的y變量：

var y = 1
val add = (x : Int) => x + y 
add(10)
    -->返回Int = 11
y = 2
add(10)
    -->返回Int = 12
y = 5
add(10)
    -->返回Int = 15

占位符

為了讓函數(shù)字面量更加簡潔垃环，可以使用下劃線作為一個或多個參數(shù)的占位符，只要每個參數(shù)在函數(shù)字面量內(nèi)僅出現(xiàn)一次返敬。

val list1 = List(1,2,3,4,5)
list1.filter(x => x >3)   //lambda表達(dá)式
list1.filter(_ > 3)    //這種寫法與上面的寫法是一樣的

有時候希望使用把下劃線當(dāng)作是參數(shù)的占位符遂庄，單是編譯器可能并不認(rèn)識，例如：
val f = _+_ 運行時會報錯劲赠，因為編譯器推斷不出來類型涛目。
應(yīng)為占位符參數(shù)指定類型： val f = (_:Int) + (_:Int)