Kotlin 的類型系統(tǒng)旨在消除來自代碼空引用的危險,也稱為《十億美元的錯誤》。
許多編程語言(包括 Java)中最常見的陷阱之一是訪問空引用的成員,導(dǎo)致空引用異常。在 Java 中,
這等同于 NullPointerException 或簡稱 NPE。
Kotlin 的類型系統(tǒng)旨在從我們的代碼中消除 NullPointerException。NPE 的唯一可能的原因可能是
throw NullPointerException()!! 操作符this 用于構(gòu)造函數(shù)的某個地方)在 Kotlin 中,類型系統(tǒng)區(qū)分一個引用可以容納 null{: .keyword } (可空引用)還是不能容納(非空引用)。
例如,String 類型的常規(guī)變量不能容納 null{: .keyword }:
var a: String = "abc"
a = null // 編譯錯誤
如果要允許為空,我們可以聲明一個變量為可空字符串,寫作 String?:
var b: String? = "abc"
b = null // ok
現(xiàn)在,如果你調(diào)用 a 的方法或者訪問它的屬性,它保證不會導(dǎo)致 NPE,這樣你就可以放心地使用:
val l = a.length
但是如果你想訪問 b 的同一個屬性,那么這是不安全的,并且編譯器會報告一個錯誤:
val l = b.length // 錯誤:變量“b”可能為空
但是我們還是需要訪問該屬性,對吧?有幾種方式可以做到。
首先,你可以顯式檢查 b 是否為 null{: .keyword },并分別處理兩種可能:
val l = if (b != null) b.length else -1
編譯器會跟蹤所執(zhí)行檢查的信息,并允許你在 if{: .keyword } 內(nèi)部調(diào)用 length。
同時,也支持更復(fù)雜(更智能)的條件:
if (b != null && b.length > 0) {
print("String of length ${b.length}")
} else {
print("Empty string")
}
請注意,這只適用于 b 是不可變的情況(即在檢查和使用之間沒有修改過的局部變量
,或者不可覆蓋并且有幕后字段的 val{: .keyword } 成員),因為否則可能會發(fā)生
在檢查之后 b 又變?yōu)?null{: .keyword } 的情況。
你的第二個選擇是安全調(diào)用操作符,寫作 ?.:
b?.length
如果 b 非空,就返回 b.length,否則返回 null{: .keyword },這個表達(dá)式的類型是 Int?。
安全調(diào)用在鏈?zhǔn)秸{(diào)用中很有用。例如,如果一個員工 Bob 可能會(或者不會)分配給一個部門,
并且可能有另外一個員工是該部門的負(fù)責(zé)人,那么獲取 Bob 所在部門負(fù)責(zé)人(如果有的話)的名字,我們寫作:
bob?.department?.head?.name
如果任意一個屬性(環(huán)節(jié))為空,這個鏈?zhǔn)秸{(diào)用就會返回 null{: .keyword }。
如果要只對非空值執(zhí)行某個操作,安全調(diào)用操作符可以與 let 一起使用:
val listWithNulls: List<String?> = listOf("A", null)
for (item in listWithNulls) {
item?.let { println(it) } // 輸出 A 并忽略 null
}
當(dāng)我們有一個可空的引用 r 時,我們可以說“如果 r 非空,我使用它;否則使用某個非空的值 x”:
val l: Int = if (b != null) b.length else -1
除了完整的 if{: .keyword }-表達(dá)式,這還可以通過 Elvis 操作符表達(dá),寫作 ?::
val l = b?.length ?: -1
如果 ?: 左側(cè)表達(dá)式非空,elvis 操作符就返回其左側(cè)表達(dá)式,否則返回右側(cè)表達(dá)式。
請注意,當(dāng)且僅當(dāng)左側(cè)為空時,才會對右側(cè)表達(dá)式求值。
請注意,因為 throw{: .keyword } 和 return{: .keyword } 在 Kotlin 中都是表達(dá)式,所以它們也可以用在
elvis 操作符右側(cè)。這可能會非常方便,例如,檢查函數(shù)參數(shù):
fun foo(node: Node): String? {
val parent = node.getParent() ?: return null
val name = node.getName() ?: throw IllegalArgumentException("name expected")
// ……
}
!! 操作符第三種選擇是為 NPE 愛好者準(zhǔn)備的。我們可以寫 b!! ,這會返回一個非空的 b 值
(例如:在我們例子中的 String)或者如果 b 為空,就會拋出一個 NPE 異常:
val l = b!!.length
因此,如果你想要一個 NPE,你可以得到它,但是你必須顯式要求它,否則它不會不期而至。
如果對象不是目標(biāo)類型,那么常規(guī)類型轉(zhuǎn)換可能會導(dǎo)致 ClassCastException。
另一個選擇是使用安全的類型轉(zhuǎn)換,如果嘗試轉(zhuǎn)換不成功則返回 null{: .keyword }:
val aInt: Int? = a as? Int
如果你有一個可空類型元素的集合,并且想要過濾非空元素,你可以使用 filterNotNull 來實現(xiàn)。
val nullableList: List<Int?> = listOf(1, 2, null, 4)
val intList: List<Int> = nullableList.filterNotNull()