前言

Kotlin 1.4 正式版在好早以前就已經(jīng)發(fā)布了。關(guān)于那些“看得見”的新特性，比如SAM轉(zhuǎn)換、參數(shù)列表末尾的可選逗號什么的，已經(jīng)有無數(shù)文章介紹過了。所以本文打算介紹一些可能是鮮為人知的、Kotlin 官方團(tuán)隊(duì)偷偷塞進(jìn) 1.4 的新特性。

不過單獨(dú)講這些東西會顯得文章太過單薄，于是我打算把其他相似的東西拉一起湊湊字?jǐn)?shù)。

本文使用的 Kotlin 版本為 Kotlin 1.4。

本文要講的東西

看題目就知道了，Kotlin 里自動(dòng)類型轉(zhuǎn)換（automatic type conversion）。這里講的不是 「把一個(gè) String 轉(zhuǎn)成 Any，再轉(zhuǎn)成 String」 這種和子類型有關(guān)的東西，當(dāng)然也不是 Smart Cast，而是兩個(gè)不相容的類型之間的轉(zhuǎn)換，比如說 Int 轉(zhuǎn)成 Long，如下文所示。

數(shù)值轉(zhuǎn)換

一般地，在 Kotlin 里我們不能像 Java 一樣直接把一個(gè) Int 類型的東西賦值給 Long 類型的變量，因?yàn)樗鼈冎g并不具有子類型關(guān)系。像下面這樣會得到一個(gè)編譯錯(cuò)誤：

val int: Int = 555
val long: Long = int // 編譯錯(cuò)誤！
println(long)

你需要調(diào)用標(biāo)準(zhǔn)庫提供給你的那些 toXXX 函數(shù)把數(shù)值轉(zhuǎn)換成其他類型的數(shù)值。

val int: Int = 555
val long: Long = int.toLong() // OK
println(long)

Kotlin 官方團(tuán)隊(duì)曾經(jīng)表示過不喜歡隱式（implicit）的東西，關(guān)于數(shù)值的隱式類型轉(zhuǎn)換也包括在內(nèi)。這就導(dǎo)致了使用 Kotlin 在進(jìn)行一些關(guān)于數(shù)值方面的操作時(shí)，有時(shí)候會寫出一些看起來無比蛋疼的代碼。

Bennyhuo：就是有時(shí)候?qū)扅c(diǎn)兒計(jì)算比較多的代碼，滿篇的 toFloat toDouble。

不一般地，我們可以使用 @Suppress 來搞事：

val int: Int = 233
@Suppress("TYPE_MISMATCH")
val long: Long = int
println(long) // 233

這個(gè)代碼是可以跑起來的，而且你真的可以從字節(jié)碼里看到那個(gè)把 Int 轉(zhuǎn)成 Long 的指令 I2L。

不過我不確定 Kotlin 的其他 target 是否能這樣用，我也不保證這樣寫完全不會出問題。（這里是關(guān)于 @Suppress 的免責(zé)聲明，請讀者自行腦補(bǔ)）

SAM Conversion

SAM 轉(zhuǎn)換也是一種自動(dòng)類型轉(zhuǎn)換。它把一個(gè) lambda 表達(dá)式（具有函數(shù)類型）轉(zhuǎn)成某個(gè)具體的接口類型。

fun interface ISome {
 fun some()
}

fun useSome(some: ISome) {}

useSome { println("some") }

在我的另一篇文章里有更詳細(xì)的介紹。

如果讀者不同意這個(gè)說法，可以選擇跳過本小節(jié)內(nèi)容。

Coercion to Unit

我們都知道 Kotlin 的 lambda 表達(dá)式是使用里面最后一個(gè)表達(dá)式的值來作為 lambda 的返回值的。比如這樣：

val block = { "yeah" }

block 的類型是 () -> String。

然后我們來看看這樣的情況：

fun test(block: () -> Unit) {
 println(block())
}

test { "yeah" } // 輸出 Unit

相信很多人都熟悉這樣的寫法。

在某些初學(xué)者的眼里這看起來像是把一個(gè) () -> String 類型的 lambda 傳給了需要 () -> Unit 類型的函數(shù)。

這就是 coercion to unit，一個(gè)很久以前就存在的特性，可以理解為編譯器自動(dòng)幫你在 lambda 表達(dá)式的最后加了一行 Unit，把本來應(yīng)該是() -> String 類型的 lambda 變成了 () -> Unit 類型。

在 Kotlin 1.4 版本，這個(gè)特性得到了進(jìn)化，你甚至可以這樣寫：

fun test(block: () -> Unit) {
 println(block())
}

fun some(): String {
 return "str"
}

// 需要 Kotlin 1.4 版本
test(::some) // 輸出 Unit

編譯器幫你把 () -> String 類型的函數(shù)引用轉(zhuǎn)成了 () -> Unit。

Unit Conversion

警告：這是一項(xiàng)未完成的特性！

添加編譯器參數(shù) -XXLanguage:+UnitConversion，你就開啟了一個(gè) Kotlin 官方團(tuán)隊(duì)偷偷塞進(jìn) 1.4 版本的未完成的新特性。

這個(gè)特性允許你寫出這樣的代碼：

fun test(block: () -> Unit) {
 println(block())
}

fun some(block: () -> String) {
 test(block) // 這里是重點(diǎn)
 // 如果你不加那個(gè)編譯器參數(shù)，會報(bào)錯(cuò)
}

fun main() {
 some { "str" }
 // 理論上會輸出 Unit
}

在函數(shù) some 里把一個(gè) () -> String 傳給了 test 函數(shù)，可以看出來這個(gè)特性其實(shí)和 coercion to unit 是差不多的。

理論上這樣的代碼運(yùn)行時(shí)會輸出 Unit，但是目前由于該特性的代碼生成沒寫好，得不到預(yù)期的結(jié)果。

另外，在開啟了這個(gè)特性后，() -> String 并不會成為 () -> Unit 的子類型，它們依然是兩個(gè)不相容的類型。

Suspend Conversion

警告：這是一項(xiàng)未完成的特性！

這是本文要介紹的第二個(gè) Kt 官方團(tuán)隊(duì)偷偷塞進(jìn) 1.4 版本的未完成的新特性。

比如說我們有這樣的一個(gè)函數(shù)：

fun test(f: suspend () -> Unit) {
 // do something with f
}

我們可以這樣調(diào)用它：

test { println("hi") } 

但是這樣不行：

val f = { println("hi") }
test(f) // 編譯錯(cuò)誤

編譯器會告訴你類型不匹配，f 是 () -> Unit 類型，test 函數(shù)需要 suspend () -> Unit 類型的參數(shù)。

當(dāng)你添加了編譯器參數(shù) -XXLanguage:+SuspendConversion，就可以讓上面的代碼通過編譯。

也就是說這個(gè)特性可以幫你把普通函數(shù)類型的值轉(zhuǎn)成 suspend 函數(shù)類型。

當(dāng)然由于這是未完成的功能，即使可以通過編譯，但是跑起來還是會炸。

這個(gè)特性或許會在 Kotlin 1.5 版本完工，但請不要抱有期待。

結(jié)尾

我并不想討論「為什么要加這種奇怪的特性」之類的話題。

不可否認(rèn)的是，在有限的程序員生涯中，這些新特性可能一次也用不上。上面提到的問題也都有相應(yīng)的 workaround，不需要新特性也可以寫出等價(jià)的代碼，就是沒有那么優(yōu)雅罷了（

到此這篇關(guān)于關(guān)于Kotlin自動(dòng)類型轉(zhuǎn)換的文章就介紹到這了,更多相關(guān)Kotlin自動(dòng)類型轉(zhuǎn)換內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論