Kotlin 中该如何安全地处理可空类型？
在 Kotlin 中，可空类型（如 String?）是语言设计的核心特性之一，旨在从编译时避免 NullPointerException（NPE）。
1 核心处理方式
1.1 安全调用操作符（?.）
直接调用可空对象的方法或属性，若对象为 null，则返回 null，而非抛出异常：
val str: String? = null
val length: Int? = str?.length // str 为 null 时，length 直接为 null
链式调用：
// 传统方式（可能 NPE）
val result = obj.property.method()
// 安全方式
val result = obj?.propery?.method() // 任意环节为 null 时，直接返回 null
1.2 Elvis 操作符（?:）
当可空值为 null 时，提供默认值或处理逻辑。
val str: String? = null
val length: Int = str?.length ?: 0 // str 为 null 时，返回 0// 安全调用 + Elvis 结合使用val name: String = user?.name ?: "Unknown" // 若 user 或 name 为 null，使用默认值
1.3 非空断言操作符（!!.）
明确告诉编译器“该值不可能为 null”，若值为 null 则抛出 NPE（需谨慎使用）。
val str: String? = "Hello"
val length: Int = str!!.length
适用场景：
- 初始化阶段已确保值不为空，但编译器无法推断；
- 单元测试总验证代码逻辑的正确性；
1.4 let 作用域函数
对非空值执行操作，空值则跳过。
val str: String? = "Hello"
str?.let { nonNullStr ->// 仅在 str 非空时执行，nonNullStr 为非空类型 Stringprintln(nonNullStr.uppercase())
}
1.5 also 或 apply 函数
对可空对象进行链式操作。
val user = nullableUser?.apply {age += 1 // 若 nullableUser 非空，执行 age 自增
}
1.6 空检查（if(x != null)）
手动检查空值，编译器会只能转换类型。
val str: String? = "Hello"
if (str != null) {// str 在此作用域内自动转换为非空类型 Stringprintln(str.length) // 无需安全调用
}
1.7 延迟初始化（lateinit）
用于标记非空但稍后初始化的变量（仅限 var）。
lateinit var user User // 必须确保初始化后再使用
fun initUser() {user = User("Eileen")
}
1.8 类型检查与智能转换
通过 is 检查类型后，编译器自动智能转换。
if (value is String) {println(value.length) // value 自动转为 String 类型
}
1.9 安全类型转换（as?）
转换失败时返回 null，而非抛出 ClassCastException。
val obj: Any = "Hello"
val str: String? = obj as? String // 转换成功，str 为 "Hello"
val num: Int? = obj as? Int // 转换失败， num 为 null
2.0 集合的可空处理
使用 filterNotNull() 或 mapNotNull() 过滤或转换可空集合。
val list: List<String?> = listOf("a", null, "b")
val nonNullList = list.filterNotNull() // [a, b]val lengths = list.mapNotNull { it?.length } // [1, 1]
2.1 可空类型的扩展函数
自定义处理逻辑，例如为 String? 提供空值处理。
fun String?.orEmtpy(): String = this ?: ""val safeText: String = nullableText.orEmpty() // 若为 null，转为空字符串
2 总结
-
优先使用安全调用（
?.）和 Elvis（?.）：简洁高效，避免 NPE； -
谨慎使用非空断言（
!!）：仅在确定值非空时使用，否则会破坏 Kotlin 的空安全设计； -
使用
let作用域函数处理非空逻辑：避免空值分支的冗余代码；