Kotlin 的可空类型

Kotlin 的可空类型（Nullable Types）是其类型系统的核心特性之一，旨在通过编译时的严格检查，显著减少空指针异常（NullPointerException）的发生。以下是其核心概念和用法详解：

---

‌1. 可空类型的声明‌

Kotlin 默认所有类型为‌非空 ‌（Non-Null）。若需允许变量为 null，需在类型后添加 ? 显式声明为可空类型。

var name: String = "Kotlin"  // 非空类型，不可赋值为 null
var nullableName: String? = null  // 可空类型，允许赋值为 null

---

‌2. 空安全操作符‌

‌ (1) 安全调用操作符 ?. ‌

当对象非空时执行操作，否则返回 null。

val length: Int? = nullableName?.length  // 若 nullableName 为 null，返回 null

‌ (2) Elvis 操作符 ?: ‌

提供默认值替代 null。

val length: Int = nullableName?.length ?: 0  // 若为 null，返回 0

‌ (3) 非空断言 !! ‌

强制解包可空变量，若为 null 则抛出 NullPointerException。

val length: Int = nullableName!!.length  // 慎用！仅在确保非空时使用

‌ (4) 安全转换 as? ‌

尝试类型转换，失败时返回 null。

val obj: Any = "Kotlin"
val num: Int? = obj as? Int  // 转换失败，返回 null

---

‌3. 可空类型与函数‌

‌ (1) 函数参数的可空性‌

fun printLength(text: String?) {  // 允许传入 null
    println(text?.length ?: "Invalid")
}

‌ (2) 函数返回值的可空性‌

fun findUser(id: Int): User? {  // 明确返回可能为 null 的结果
    return users.firstOrNull { it.id == id }
}

---

‌4. 可空类型的智能转换‌

在条件分支中，Kotlin 编译器能自动推断可空变量的非空性：

fun processText(text: String?) {
    if (text != null) {
        println(text.length)  // 此处 text 自动转为非空类型
    }
}

---

‌5. 与标准库函数的结合‌

‌ (1) let + 安全调用‌

链式处理可空对象：

user?.let { 
    // 仅在 user 非空时执行此代码块
    it.process()
    it.save()
}

‌ **(2) takeIf 和 takeUnless**‌

结合可空性进行条件过滤：

val validUser = user.takeIf { it.age >= 18 }  // User? 类型
val invalidUser = user.takeUnless { it.isVerified }  // User? 类型

---

‌6. 平台类型与 Java 互操作‌

当调用 Java 代码时，Kotlin 会将未标注空性的类型视为‌平台类型 ‌（如 String!），允许按需解释为非空或可空。建议通过注解（如 @Nullable/@NotNull）明确类型：

// Java 代码
public @Nullable String getName() { return name; }

---

‌7. 最佳实践‌

1. ‌优先使用非空类型 ‌：默认声明非空变量，仅在必要时使用 ?。
2. ‌避免滥用 !! ‌：尽量用 ?. 和 ?: 替代强制解包。
3. ‌利用 Elvis 操作符 ‌：明确处理 null 的默认逻辑。
4. ‌善用作用域函数 ‌：如 let、run、apply 简化可空对象操作。

---

‌8. 示例场景‌

‌ (1) 解析 JSON 数据‌

data class Response(val code: Int?, val data: String?)

fun handleResponse(response: Response?) {
    val result = response?.data?.takeIf { response.code == 200 } 
        ?: throw IllegalStateException("Invalid response")
    println(result)
}

‌ (2) 链式安全调用‌

user?.profile?.address?.city?.uppercase() ?: "Unknown"

---

通过强制显式处理可空性，Kotlin 将空指针异常从运行时错误提前到编译时检查，显著提升了代码的健壮性。合理利用可空类型特性，能写出更简洁且安全的代码。