我們?cè)贙otlin中就多次使用A to B這樣的語(yǔ)法結(jié)構(gòu)構(gòu)建鍵值對(duì)，包括Kotlin自帶的mapOf()函數(shù)，這種語(yǔ)法結(jié)構(gòu)的優(yōu)點(diǎn)是可讀性強(qiáng)。那么這種功能是怎么實(shí)現(xiàn)的？to是不是Kotlin語(yǔ)言中的一個(gè)關(guān)鍵字？本章我們來(lái)對(duì)這個(gè)功能進(jìn)行解密。

首先，to并不是Kotlin語(yǔ)言中的一個(gè)關(guān)鍵字，之所以我們能使用A to B這樣的語(yǔ)法結(jié)構(gòu)，是因?yàn)镵otlin提供了一種高級(jí)語(yǔ)法糖特性：infix函數(shù)。infix函數(shù)只是把編程語(yǔ)言函數(shù)調(diào)用的語(yǔ)法規(guī)則調(diào)整了一些而已，比如A to B這樣的寫(xiě)法，實(shí)際上等價(jià)于A.to(B)的寫(xiě)法。

通過(guò)兩個(gè)具體的例子來(lái)學(xué)習(xí)一下infix函數(shù)的用法。

String類(lèi)中有一個(gè)startsWith()函數(shù)，它可以用于判斷一個(gè)字符串是否以某個(gè)指定參數(shù)開(kāi)頭的。比如說(shuō)下面這段代碼的判斷結(jié)果一定會(huì)是true：

if("Hello Kotlin".startsWith("Hello")){
//處理具體的邏輯
}

startsWith()函數(shù)的用法雖然比較簡(jiǎn)單，但是借助infix函數(shù)，我們可以使用一種更具可讀性的語(yǔ)法來(lái)表達(dá)這段代碼。新建一個(gè)infix.kt文件，然后編寫(xiě)如下代碼：

infix fun String.beginWith(prefix:String)=startsWith(prefix)

首先，除去最前面的infix關(guān)鍵字，這是一個(gè)String類(lèi)的擴(kuò)展函數(shù)。我們給String類(lèi)添加一個(gè)beginsWith()函數(shù)，它也是用于判斷一個(gè)字符串是否以某個(gè)指定參數(shù)開(kāi)頭的，并且它的內(nèi)部實(shí)現(xiàn)就是調(diào)用的String類(lèi)的startsWith()函數(shù)。

但是加上了infix關(guān)鍵字后，beginsWith()函數(shù)就變成了infix函數(shù)，這樣除了傳統(tǒng)的函數(shù)調(diào)用方式之外，我們還可以用一種特殊的語(yǔ)法糖格式調(diào)用beginsWith()函數(shù)，如下所示：

if("Hello Kotlin" beginWith "Hello"){
//處理具體邏輯
}

從這個(gè)例子就可以看出，infix函數(shù)的語(yǔ)法規(guī)則并不復(fù)雜，上述代碼其實(shí)就是調(diào)用的"Hello Kotlin"這個(gè)字符串的beginWith()函數(shù)，并傳入了一個(gè)"Hello"字符串作為參數(shù)。但是infix函數(shù)允許我們將函數(shù)調(diào)用時(shí)的小數(shù)點(diǎn)、括號(hào)等計(jì)算機(jī)相關(guān)的語(yǔ)法去掉，從而使用一種更接近英語(yǔ)的語(yǔ)法來(lái)編寫(xiě)程序，讓代碼看起來(lái)更加具有可讀性。

另外，infix函數(shù)由于其語(yǔ)法糖格式，有兩個(gè)比較嚴(yán)格的限制：

• infix函數(shù)不能定義成頂層函數(shù)的，它必須是某個(gè)類(lèi)的成員函數(shù)，可以使用擴(kuò)展函數(shù)的方式將它定義到某個(gè)類(lèi)當(dāng)中。
• infix函數(shù)必須接收且只能接收一個(gè)參數(shù)，至于參數(shù)類(lèi)型是沒(méi)有限制的。

只有同時(shí)滿足這兩點(diǎn)，infix函數(shù)的語(yǔ)法糖才具備使用的條件。

接下來(lái)我們?cè)倏匆粋€(gè)復(fù)雜一些的例子。比如這里有一個(gè)集合，如果你想要判斷集合中是否包含某個(gè)指定元素，一般可以這樣寫(xiě)：

val list=listOf("Apple","Banana","Orange","Pear","Grape")
if(list.contains("Banana")){
//處理具體邏輯
}

但我們?nèi)匀豢梢越柚鷌nfix函數(shù)讓這段代碼變得更加具有可讀性。在infix.kt文件中添加如下代碼：

infix fun <T> Collection<T>.has(element: T)=contains(element)

可以看到我們給Collection接口添加了一個(gè)擴(kuò)展函數(shù)，這是因?yàn)镃ollection是Java以及Kotlin所有集合的總接口，因此給Collection添加一個(gè)has()函數(shù)，那么所有集合的子類(lèi)都可以使用這個(gè)函數(shù)了。

另外，通過(guò)指定has函數(shù)的參數(shù)是泛型，所以has()函數(shù)可以接收任意具體類(lèi)型的參數(shù)。而這個(gè)函數(shù)內(nèi)部的實(shí)現(xiàn)邏輯就是調(diào)用了Collection接口中的contains()函數(shù)而已。也就是說(shuō)，has()函數(shù)和contains()函數(shù)的功能是一模一樣的，只是它多了一個(gè)infix關(guān)鍵字，從而擁有了infix函數(shù)的語(yǔ)法糖功能。

現(xiàn)在我們就可以使用如下的語(yǔ)法來(lái)判斷集合中是否包括某個(gè)指定的元素：

val list=listOf("Apple","Banana","Orange","Pear","Grape")
if(list has "Banana"){
//處理具體邏輯
}

還有就是mapOf()函數(shù)中允許我們使用A to B這樣的語(yǔ)法來(lái)構(gòu)建鍵值對(duì)，它的具體實(shí)現(xiàn)是怎樣的呢？我們通過(guò)查看源碼如下：

public infix fun <A, B> A.to(that: B): Pair<A, B> = Pair(this, that)

可以看到，這里使用定義泛型的方式將to()函數(shù)定義到了A類(lèi)型下，并且接收一個(gè)B類(lèi)型的參數(shù)。因此A和B可以是兩種不同類(lèi)型的泛型，也就使得我們可以構(gòu)建出字符串 to整型這樣的鍵值對(duì)。

再來(lái)看to()函數(shù)的具體實(shí)現(xiàn)，就是創(chuàng)建并返回了一個(gè)Pair對(duì)象，也就是說(shuō)，A to B這樣的語(yǔ)法結(jié)構(gòu)實(shí)際上得到的是一個(gè)包含A、B數(shù)據(jù)的Pair對(duì)象，而mapOf()函數(shù)實(shí)際上接收的正是一個(gè)Pair類(lèi)型的可變參數(shù)列表。

我們也可以模仿to()函數(shù)的源碼來(lái)編寫(xiě)一個(gè)自己的鍵值對(duì)構(gòu)建函數(shù)。在infix.kt文件中添加如下代碼：

infix fun <A,B> A.with(that:B):Pair<A,B> =Pair(this,that) 

這里只是將to()函數(shù)改名成了with()函數(shù)，其他實(shí)現(xiàn)邏輯是相同的。而我們的項(xiàng)目中就可以使用with()函數(shù)來(lái)構(gòu)建鍵值對(duì)了，還可以將鍵值對(duì)傳入maoOf()方法中：

val map=mapOf("Apple" with 1,"Banana" with 2,"Orange" with 3,"Pear" with 4,"Grape" with 5)

這樣通過(guò)靈活的使用infix函數(shù)，我們可以讓語(yǔ)法變得更具可讀性。

到此這篇關(guān)于淺析Kotlin使用infix函數(shù)構(gòu)建可讀語(yǔ)法流程講解的文章就介紹到這了,更多相關(guān)Kotlin infix函數(shù)內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論