終于到這一塊了懦胞。對剛從我沒有c++基礎(chǔ)的人來說瘟仿,這兩部分是比較難懂的,下文參照的文檔也比較多研铆,這里只說出自己的理解埋同,如果有誤請客位看官指出。
高階函數(shù)
將一個(gè)函數(shù)當(dāng)做參數(shù)或者返回的函數(shù)成為高階函數(shù)棵红。
fun<T> lock(body: ()->T): T{
val lock = Any()
synchronized(lock){
return body()
}
}
lock
參數(shù)中body: ()->T
表示這里需要一個(gè)參數(shù)凶赁,()->T
說明body函數(shù)是無參函數(shù),并且它返回了T類型逆甜。高階函數(shù)的使用和普通函數(shù)是類似的:
fun highFunc() = test()
lock(::highFunc)
同時(shí)kotlin也支持lambda表達(dá)式實(shí)現(xiàn)高階函數(shù)的調(diào)用虱肄,如下
lock({test()})
lambda表達(dá)式的用法在下文①中,這里先不做介紹交煞。
lambda表達(dá)式
有時(shí)候在某些地方傳參時(shí)咏窿,我們希望這個(gè)參數(shù)是一個(gè)函數(shù),但又不想再聲明出來(比如错敢,這個(gè)函數(shù)只用在一個(gè)位置翰灾,我們沒必要單獨(dú)寫一個(gè)函數(shù)出來),這時(shí)候就應(yīng)該使用lambda表達(dá)式了
他的完整語法為:
val name: (Type, Type...) -> Type ={param1,param2... -> body}
- 它總是被大括號括著
- 其參數(shù)在 -> 之前聲明
- 函數(shù)體在 -> 之后聲明
首先來看這么一個(gè)函數(shù)
fun <T> max(collection: Collection<T>, less: (T, T) -> Boolean): T? {
var max: T? = null
for (it in collection)
if (max == null || less(max, it))
max = it
return max
}
通過上面的描述我們知道m(xù)ax需要兩個(gè)參數(shù)稚茅,分別是:一個(gè)Collection<T>
纸淮,一個(gè)滿足x(T,T): Boolean
的函數(shù)
var coll: Collection<String> = listOf("abc","defg","higkl")
max(coll, { a, b -> a.length < b.length })
//后面的參數(shù)是一個(gè)lambda,它的函數(shù)體是fun function(a:String,b:String){return a.length < b.length}
如果我們沒有指明lambda的返回類型亚享,則編譯器或根據(jù)函數(shù)體的最后一句的返回值設(shè)置為lambda的返回類型咽块,這里就設(shè)置為了Boolean
lambda表達(dá)式的使用
上文中①出也就是一個(gè)很普通的lambda表達(dá)式。
- lambda是唯一的參數(shù)欺税,可以省略()
因?yàn)棰僦械?code>lock()函數(shù)的唯一參數(shù)是lambda表達(dá)式侈沪,所以我們可以省略lock
的括號:
lock{test()}
- 如果函數(shù)的最后一個(gè)參數(shù)是一個(gè)函數(shù),并且傳遞了一個(gè)lambda表達(dá)式作為相應(yīng)的參數(shù)晚凿,就可以在圓括號之外指定它
因?yàn)?code>lock的最后一個(gè)參數(shù)符合這個(gè)規(guī)則亭罪,所以我們也可以把上面的調(diào)用寫為
lock{
test()
}
有時(shí)候我們會遇到例如
lock{
test1()
test2()
}
這樣的函數(shù),目前我沒看到官方介紹中有提及這種寫法歼秽,但是它在執(zhí)行的時(shí)候是不會報(bào)錯(cuò)的应役,可以放心使用這種寫法
限定的返回
我們在使用lambda時(shí)會遇到返回lambda還是返回整個(gè)函數(shù)的問題,這個(gè)時(shí)候我們就會用到限定返回燥筷。我們在Kotlin(1.1)學(xué)習(xí)筆記(5)——拓展中介紹拓展接收者和拓展分發(fā)者的時(shí)候用到了this@
箩祥,這里也是一樣的用法。
具體的語法我們將在
匿名函數(shù)
lambda表達(dá)缺少了指定函數(shù)返回類型的能力肆氓,因?yàn)橐话愣际歉鶕?jù)最后一句的返回類型能夠自動推斷出來袍祖,但是如果我們要明確的顯示出來,這就需要用到匿名函數(shù)了谢揪。(相同點(diǎn):他們兩者都是未聲明的函數(shù)蕉陋,也被成為函數(shù)字面值)
fun(x:Int,y:Int) = x+y
和普通的函數(shù)聲明相比只是缺少了函數(shù)名稱而已捐凭。
匿名函數(shù)的高階函數(shù)用法:
//類似lambda表達(dá)式,返回類型自動推斷
lock(fun() = 2)
//這種顯示使用return的方式必須指明返回類型
lock(fun(): Int {
return 2
})
除此之外寺滚,匿名函數(shù)與lambda還有一點(diǎn)不同柑营,就是根據(jù)[局部返回]的不同,lambda表達(dá)式中的return返回的是整個(gè)函數(shù)村视,匿名函數(shù)返回的只是匿名函數(shù)。
//匿名函數(shù)
lock(fun(): Int {
return 2 //這里只是退出了fun()
})
//lambda酒奶,什么都沒做蚁孔,返回了Unit
lock{
return//退出了包含lambda的lock
}
帶接收者的函數(shù)字面值
類似于拓展函數(shù),函數(shù)字面值(lambda或者匿名函數(shù))可以指定接收者對象惋嚎。
匿名函數(shù)
匿名函數(shù)語法允許你直接指定函數(shù)字面值的接收者類型 如果你需要使用帶接收者的函數(shù)類型聲明一個(gè)變量杠氢,并在之后使用它:
val sum = fun Int.(other: Int): Int = this + other
與普通的使用匿名函數(shù)相比,多了一個(gè)接受者對象類型Int
另伍,以及這個(gè)拓展名sum
鼻百,使用方法如下:
1.sum(2) // =3
lambda
當(dāng)接收者類型可以從上下文推斷時(shí),lambda 表達(dá)式可以用作帶接收者的函數(shù)字面值:
class LambdaExtend {
init {
LogUtils.d(TAG,"init done")
}
fun body() {LogUtils.d(TAG,"into body") }
}
fun LambdaExtendTest(func: LambdaExtend.() -> Unit): LambdaExtend {
val extend = LambdaExtend() // 創(chuàng)建接收者對象
extend.func() // 將該接收者對象傳給該 lambda
return extend
}
調(diào)用lambda:
LambdaExtendTest{ // 帶接收者的 lambda 由此開始,這里我們已經(jīng)可以使用接受者的一些方法了
body=() // 調(diào)用該接收者對象的一個(gè)方法
}