前言

ambda即lambda表達(dá)式，簡(jiǎn)稱lambda。本質(zhì)上是可以傳遞給其它函數(shù)的一小段代碼。有了lambda，可以輕松地把通用代碼結(jié)構(gòu)抽取成庫(kù)函數(shù)。lambda最常見的用途是和集合一起配合。kotlin甚至還擁有帶接收者的lambda，這是一種特殊的lambda。

本文是對(duì)<<kotlin實(shí)戰(zhàn)>>中 “l(fā)ambda編程”一章的總結(jié)，主要記錄了一些我認(rèn)為比較重要的點(diǎn)

在kotlin中常見的lambda用法主要由以下幾種：

• 與集合一起使用
• lambda可以與任意java庫(kù)一起使用
• 帶接收者的lambda，比如with和apply

lambda表達(dá)式的基本語(yǔ)法

下面是一個(gè)lambda表達(dá)式的基本語(yǔ)法:

{ x:Int, y:Int -> x + y } 

lambda表達(dá)式始終用花括號(hào)包圍，實(shí)參并沒(méi)有用括號(hào)括起來(lái)。箭頭把實(shí)參列表和lambda的函數(shù)體隔開

lambda作為函數(shù)的參數(shù)傳遞

可以把lambda表達(dá)式存儲(chǔ)在一個(gè)變量中，把這個(gè)變量當(dāng)做普通函數(shù)對(duì)待，也可以直接寫作函數(shù)參數(shù)，比如有一個(gè)intOperator函數(shù), 這個(gè)函數(shù)接收兩個(gè)int參數(shù)，和一個(gè)函數(shù)。

fun intOperator(o1: Int, o2: Int, run: (a: Int, b: Int) -> Int) {
 run(o1, o2)
}

val sumLambda = { x: Int, y: Int -> x + y }
intOperator(1, 2, sumLambda)
intOperator(1, 2, {x:Int, y:Int -> x + y})

上面可以看到，我們直接把lambda當(dāng)做一個(gè)函數(shù)傳遞個(gè)intOperator()作為參數(shù)。

如果lambda表達(dá)式是函數(shù)調(diào)用的最后一個(gè)實(shí)參，它可以放到括號(hào)外邊:

intOperator(1, 2) { x: Int, y: Int -> x + y }

如果lambda表達(dá)式是函數(shù)的唯一實(shí)參時(shí)，還可以去掉調(diào)用代碼中的空括號(hào)對(duì)

比如下面這個(gè)例子

fun myPrint(lambda: () -> Unit) {
 lambda()
}

myPrint{
 print("a")
}

省略lambda參數(shù)類型并使用默認(rèn)參數(shù)名稱

在kotlin中如果lambda參數(shù)的類型可以被推導(dǎo)出來(lái)，我們就不需要顯示聲明它，比如我們常用的庫(kù)函數(shù) map:

listOf("1", "2", "3").map{
 //
}

在這個(gè)代碼中使用了默認(rèn)參數(shù)使用it代替。在kotlin中，如果當(dāng)前上下文期望的是只有一個(gè)參數(shù)的lambda且這個(gè)參數(shù)的類型可以推斷出來(lái)，就會(huì)生成這個(gè)名稱。

允許在lambda內(nèi)部訪問(wèn)非final變量甚至修改他們

在java中我們是知道的：匿名內(nèi)部類不能訪問(wèn)非final變量，但在kotlin中可以:

fun main(args: Array<String>) {
 var count = 0
 listOf("1", "2", "3").forEach{
 count++
 }
 print(count)
}

其實(shí)對(duì)于kotlin來(lái)說(shuō)，如果在lambad中引用非final變量，它的值會(huì)被封裝起來(lái)，并且會(huì)和lambda代碼一塊存儲(chǔ)。

當(dāng)然對(duì)于異步代碼或者事件響應(yīng)回調(diào)這個(gè)是無(wú)效的。

成員引用

在上面我們知道可以直接把lambda當(dāng)做函數(shù)的參數(shù)傳遞給一個(gè)函數(shù)，但是如果當(dāng)做參數(shù)傳遞的代碼已經(jīng)被定義成了函數(shù)那怎么辦呢？

在kotlin中可以使用::把函數(shù)轉(zhuǎn)換成一個(gè)值，從而傳遞給函數(shù)。這里比如有一個(gè)Person類，他有一個(gè)say函數(shù)，我們可以這樣獲得這個(gè)函數(shù)的引用：

val sayQuote = Person::say

這種表達(dá)式叫做成員引用，對(duì)于頂層函數(shù)可以直接 ::say,來(lái)獲得這個(gè)函數(shù)的引用。

常用的庫(kù)函數(shù)

對(duì)于集合，kotlin提供了豐富的庫(kù)函數(shù)便于我們使用，對(duì)于這些函數(shù)這里我們只介紹一些關(guān)鍵點(diǎn)。

filter與map

filter函數(shù)會(huì)遍歷集合并選出應(yīng)用給定lambda后會(huì)返回true的那些元素, 需要注意的是，返回的是一個(gè)新的集合

val newList = listOf(1, 2, 3, 4).filter{ it % 2 == 0}

map函數(shù)對(duì)集合中的每一個(gè)元素應(yīng)用給定的函數(shù)并把結(jié)果收集到一個(gè)新集合中

val newList = listOf(1, 2, 3, 4).map{ it.toSting() }

all、any、count、find

• all與any用來(lái)檢查集合中的所有元素是否都符合某個(gè)條件， all表示全部 && any表示至少有一個(gè)
• count函數(shù)檢查有多少個(gè)元素滿足判斷式
• find函數(shù)返回第一個(gè)符合條件的元素

count 與 size

在一些情況下使用count要高效于size， 比如統(tǒng)計(jì)集合中有多少個(gè)偶數(shù):

listOf(1, 2, 3, 4, 5).count({it % 2 == 0})
listOf(1, 2, 3, 4, 5).filter({it % 2 == 0}).size

上面兩種做法都可以實(shí)現(xiàn)這個(gè)需求，不過(guò)filter會(huì)創(chuàng)建一個(gè)新的集合，而 count方法只會(huì)跟蹤匹配元素的數(shù)量，不關(guān)心元素本身。

其他還有 groupBy/flatMap/flatten，這里不細(xì)講了。

惰性集合操作 : 序列

在說(shuō)什么是惰性集合操作之前，我們先來(lái)看一下非惰性集合操作map與filter, 以獲取姓名為A開頭的人的名字為例:

peoples.map{it.name}.filter{it.startWith("A")}

我們要知道filter和map都會(huì)返回一個(gè)列表來(lái)保存結(jié)果，如果peoples這個(gè)集合元素非常多的話，那產(chǎn)生的這個(gè)中間集合就非常大，并且這個(gè)鏈?zhǔn)秸{(diào)用會(huì)非常低效。

為了解決這個(gè)問(wèn)題kotlin引入了 惰性集合:序列, 序列中的元素的求值是惰性的，不需要?jiǎng)?chuàng)建集合來(lái)保存中間結(jié)果，我們可以使用序列來(lái)解決上面的問(wèn)題:

peoples.asSequence().map{it.name}.filter{it.startWith("A")}.toList()

序列的操作

序列的操作分為兩類：中間和末端操作, 以上面那個(gè)例子為例:

peoples.asSequence().map{it.name}.filter{it.startWith("A")}.toList()

map、filter都是中間操作，toList為末端操作。一次中間操作返回的是另一個(gè)序列，這個(gè)新序列知道如何變換原始序列中的元素，而一次末端操作返回的是一個(gè)結(jié)果，這個(gè)結(jié)果可能是集合、元素、數(shù)字等。

序列中中間操作的計(jì)算都是由末端操作觸發(fā)的。

我們可以使用擴(kuò)展函數(shù)asSequence把任意集合轉(zhuǎn)換成序列，調(diào)用toList來(lái)做反向轉(zhuǎn)換

我們來(lái)對(duì)比一下上面兩種方法:

惰性集合.png

可以看到，使用序列會(huì)明顯比直接使用map和filter來(lái)完成這個(gè)任務(wù)效率更高

• 對(duì)原集合只會(huì)進(jìn)行一次遍歷
• 只會(huì)生成一個(gè)結(jié)果集合
• 對(duì)于混合有any這種集合操作，序列可以明顯提高性能。

注意對(duì)于混合map/filter，這種操作時(shí)，如果被操作集合比較小，是不需要使用序列的。至于序列如何手動(dòng)創(chuàng)建，這里不做細(xì)究

kotlin與Java函數(shù)式接口

函數(shù)式接口是指帶有一個(gè)抽象方法的接口，在java api中比如Runnable、Callable等

我們?cè)趯?shí)際使用kotlin時(shí)，可能大部分API還是java API，但是kotlin的lambda可以無(wú)縫地和javaAPI互操作，比如給一個(gè)button設(shè)置onclick事件:

button.setOnClickListener{ //... }

這個(gè)操作在java8之前我們不得不通過(guò)創(chuàng)建一個(gè)匿名內(nèi)部類來(lái)實(shí)現(xiàn)。

lambda表達(dá)式的可重用性

比如有一個(gè)函數(shù)postponeComputation()，接收一個(gè)函數(shù)，并循環(huán)執(zhí)行這個(gè)函數(shù)指定次數(shù):

postponeComputation(1000, object:Runnable{
 override fun run(){
 print(42)
 }
})

當(dāng)你顯示聲明這個(gè)參數(shù)對(duì)象時(shí)，每次調(diào)用都會(huì)創(chuàng)建一個(gè)新的實(shí)例，而使用lambda情況不同:如果lambda沒(méi)有訪問(wèn)任何來(lái)自自定義它的函數(shù)的變量，相應(yīng)的匿名類實(shí)例可以在多次調(diào)用中重用:

 postponeComputation(1000, { print(42) })

但是如果lambda從包圍它的作用域中捕捉了變量，每次調(diào)用就不再可能重用同一個(gè)實(shí)例了。 至于為什么將會(huì)在 Lambda的實(shí)現(xiàn)細(xì)節(jié)的講到。

Lambda的實(shí)現(xiàn)細(xì)節(jié)

在kotlin中，每個(gè)函數(shù)式接口的lambda都會(huì)被編譯成一個(gè)匿名類（除內(nèi)聯(lián)lambda)。如果lambda捕捉了變量，每個(gè)被捕捉的變量會(huì)在匿名內(nèi)部類中有對(duì)應(yīng)的字段，而且每次調(diào)用這個(gè)lambda都會(huì)創(chuàng)建一個(gè)這個(gè)匿名內(nèi)部類的實(shí)例。如果沒(méi)有捕捉變量，就會(huì)創(chuàng)建一個(gè)單例的類。

編譯后的匿名內(nèi)部類的名稱由lambda聲明所在的函數(shù)名稱加上后綴衍生出來(lái)的,比如下面這個(gè)lambda:

class Person{
 fun test(){
 a.setRunnable({
  print("a")
 })
 }
}

這個(gè)lambda會(huì)被編譯成:

class Person$1:Runnable{
 override fun run(){
 print("a")
 }
}

lambda與函數(shù)式接口的轉(zhuǎn)換

有些時(shí)候我們需要函數(shù)式接口的實(shí)例，比如一個(gè)方法返回的是一個(gè)函數(shù)式接口，這時(shí)候就不能直接返回一個(gè)lambda了:

fun getRunnable():Runnable{}

這時(shí)候如果直接這樣寫就會(huì)報(bào)錯(cuò) : fun getRunnable() = { } ,這是因?yàn)榫幾g器不會(huì)智能轉(zhuǎn)換，不過(guò)kotlin提供了 函數(shù)式接口構(gòu)造方法來(lái)使操作更方便:

fun getRunnable() = Runnable{ }

Runnable{}是編譯器生成的方法，等同于使用匿名對(duì)象的方式。

帶接收者的lambda: with 與 apply

這兩個(gè)函數(shù)式kotlin標(biāo)準(zhǔn)庫(kù)中的函數(shù)。帶接受者是指：在lambda函數(shù)體可以調(diào)用一個(gè)不同對(duì)象的方法，而且無(wú)須借助任何額外限定符。

with

with是一個(gè)接收兩個(gè)參數(shù)的函數(shù)，一個(gè)參數(shù)是 被接收者， 它會(huì)被傳給第二個(gè)參數(shù) lambda表達(dá)式 ， 在lambda表達(dá)式著呢個(gè)我們可以不用任何限定符直接訪問(wèn)這個(gè)值的方法和屬性

fun alphabet():String{
 val stringBuilder = StringBuilder()
 return with(stringBuilder){
 for(letter in 'A'..'Z'){
  append(letter) //也可以使用this.append()
 }
 toString()
 }
}

with的返回值是執(zhí)行了lambda代碼的結(jié)果

apply

apply與with的唯一區(qū)別是它始終返回接收者對(duì)象。上面的函數(shù)我們可以這樣改寫：

fun alphabet() = StringBuilder().apply{
 for(letter in 'A'..'Z'){
 append(letter) //也可以使用this.append()
 }
}.toString()

內(nèi)聯(lián)函數(shù):消除Lambda帶來(lái)的運(yùn)行時(shí)開銷

上面我們已經(jīng)知道，lambda表達(dá)式會(huì)被正常地編譯成匿名類，這表示每調(diào)用一次lambda表達(dá)式，一個(gè)額外的類就會(huì)被創(chuàng)建，為了解決這個(gè)運(yùn)行時(shí)性能的開銷，kotlin提供了inline修飾符，如果使用inline

修飾符標(biāo)記一個(gè)函數(shù)，在函數(shù)被使用的時(shí)候編譯器并不會(huì)生成函數(shù)調(diào)用的代碼，而是使用函數(shù)實(shí)現(xiàn)的真實(shí)代碼替換每一次的函數(shù)調(diào)用。

先來(lái)舉一個(gè)例子:

inline fun test(action:()->T){
 action()
}

fun foo(){
 test{
 print("a")
 }
}

foo()實(shí)際會(huì)被編譯為下面的代碼:

fun foo_(){
 print("a")
}

從上面這個(gè)例子可以看出，作為參數(shù)的lambda表達(dá)式會(huì)被直接替換到最終生成的代碼中，而不是被包含在一個(gè)實(shí)現(xiàn)了函數(shù)接口的匿名類中。

注意如果lambda參數(shù)在某個(gè)地方被保存起來(lái)，以便后面可以繼續(xù)使用，這種lambda表達(dá)式將不會(huì)被內(nèi)聯(lián)，因?yàn)楸仨氁幸粋€(gè)包含這些代碼的對(duì)象存在

內(nèi)聯(lián)的集合操作

kotlin標(biāo)準(zhǔn)庫(kù)中的map、filter等大部分函數(shù)都是內(nèi)聯(lián)函數(shù)，因此使用標(biāo)準(zhǔn)庫(kù)函數(shù)不需要擔(dān)心性能開銷。

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，如果有疑問(wèn)大家可以留言交流，謝謝大家對(duì)腳本之家的支持。

最新評(píng)論