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

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

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

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

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

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

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

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

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

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

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

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

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

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

接下來我們再看一個復(fù)雜一些的例子。比如這里有一個集合，如果你想要判斷集合中是否包含某個指定元素，一般可以這樣寫：

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接口添加了一個擴(kuò)展函數(shù)，這是因?yàn)镃ollection是Java以及Kotlin所有集合的總接口，因此給Collection添加一個has()函數(shù)，那么所有集合的子類都可以使用這個函數(shù)了。

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

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

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

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

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

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

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

我們也可以模仿to()函數(shù)的源碼來編寫一個自己的鍵值對構(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ù)來構(gòu)建鍵值對了，還可以將鍵值對傳入maoOf()方法中：

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

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

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