可空類型與非空類型

Kotlin 的類型系統(tǒng)旨在從我們的代碼中消除 NullPointerException 。NPE 的唯一可能的原因可能是:

　　—  顯式調(diào)用 throw NullPointerException()

　　—  使用了下文描述的 !! 操作符

　　—  有些數(shù)據(jù)在初始化時(shí)不一致，例如當(dāng)

　　　　— 傳遞一個(gè)在構(gòu)造函數(shù)中出現(xiàn)的未初始化的 this 并用于其他地方(“泄漏 this”)

　　　　— 超類的構(gòu)造函數(shù)調(diào)用一個(gè)開放成員，該成員在派生中類的實(shí)現(xiàn)使用了未初始化的狀態(tài)

　　—  Java互操作

　　　　— 企圖訪問平臺(tái)類型的 null 引用的成員

　　　　— 用于具有錯(cuò)誤可空性的Java互操作的泛型類型，例如一段Java代碼可能會(huì)向Kotlin的 MutableList<String> 中加入 null，這意味著應(yīng)該使用 MutableList<String?> 來處理它

　　　　— 由外部Java代碼引發(fā)的其他問題。

在 Kotlin 中，類型系統(tǒng)區(qū)分一個(gè)引用可以容納 null(可空引用)還是不能容納(非空引用)。例如，String 類型的常規(guī)變量不能容納 null

var a: String = "abc" // 默認(rèn)情況下，常規(guī)初始化意味著非空 
a = null // 編譯錯(cuò)誤

　　如果要允許為空，我們可以聲明一個(gè)變量為可空字符串，寫作 String?:

var b: String? = "abc" // 可以設(shè)置為空 
b = null // ok
print(b)

　　現(xiàn)在，如果你調(diào)用 a 的方法或者訪問它的屬性，它保證不會(huì)導(dǎo)致 NPE，這樣你就可以放心地使用

val l = a.length

　　但是如果你想訪問 b 的同一個(gè)屬性，那么這是不安全的，并且編譯器會(huì)報(bào)告一個(gè)錯(cuò)誤

val l = b.length // 錯(cuò)誤:變量“b”可能為空

　　但是我們還是需要訪問該屬性，對(duì)吧?有幾種方式可以做到

在條件中檢測(cè)null

　　首先，你可以顯式檢測(cè) b 是否為 null，并分別處理兩種可能

val l = if (b != null) b.length else -1

　　編譯器會(huì)跟蹤所執(zhí)行檢測(cè)的信息，并允許你在 if 內(nèi)部調(diào)用 length 。同時(shí)，也支持更復(fù)雜(更智能)的條件

val b: String? = "Kotlin"

if (b != null && b.length > 0) {
    print("String of length ${b.length}")
} else {
    print("Empty string")
}

　　請(qǐng)注意，這只適用于 b 是不可變的情況(即在檢測(cè)和使用之間沒有修改過的局部變量，或者不可覆蓋并且有幕 后字段的 val 成員)，因?yàn)榉駝t可能會(huì)發(fā)生在檢測(cè)之后 b 又變?yōu)?null 的情況

安全的調(diào)用

val a = "Kotlin"
val b: String? = null
println(b?.length)
println(a?.length) // 無需安全調(diào)用

bob?.department?.head?.name

val listWithNulls: List<String?> = listOf("Kotlin", null)
for (item in listWithNulls) {
    item?.let { println(it) } // 輸出 Kotlin 并忽略 null
}

 // 如果 `person` 或者 `person.department` 其中之一為空，都不會(huì)調(diào)用該函數(shù):
 person?.department?.head = managersPool.getManager()

val l: Int = if (b != null) b.length else -1

val l = b?.length ?: -1

fun foo(node: Node): String? {
    val parent = node.getParent() ?: return null
    val name = node.getName() ?: throw IllegalArgumentException("name expected") 
    // ......
}

val l = b!!.length

val aInt: Int? = a as? Int

 val nullableList: List<Int?> = listOf(1, 2, null, 4)
 val intList: List<Int> = nullableList.filterNotNull()