可空类型与 ? 修饰符
声明可空变量,并理解 Kotlin 在编译时提供的空安全机制。
可空类型与 ? 修饰符 是 CoddyKit 上的免费 Kotlin Academy 课时。 这是第 1 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Kotlin Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Kotlin Academy 课程共包含 4 节课。
Kotlin 中的空值安全
Kotlin 会在编译时区分可以容纳空值的类型和不能容纳空值的类型。编译器会在运行时之前阻止大多数 NullPointerExceptions。
非空类型
默认情况下,Kotlin 类型不能为 null。尝试赋值 null 时,编译器会拒绝。
fun main() {
val name: String = "Ada"
// val nope: String = null // ERROR
println(name)
}使用 ? 的可空类型
追加 ? 以允许 null。此时,编译器会将该变量视为可能不存在。
fun main() {
val name: String? = null
println(name) // null
}对可空类型调用方法
在处理 null 情况之前,您不能直接对可空类型调用方法。编译器会拒绝这样的代码。
fun main() {
val name: String? = "Bob"
// println(name.length) // ERROR — name might be null
if (name != null) println(name.length) // smart cast
}智能类型转换
执行 if (x != null) 检查后,Kotlin 会在分支内部将 x 智能转换为非空类型。
fun main() {
val name: String? = "Alice"
if (name != null) {
println("Length: ${name.length}") // safe, smart-cast
} else {
println("No name")
}
}可空的函数参数
当函数参数可能缺失时,请将其标记为可空。调用方必须明确提供一个值或 null。
fun greet(name: String?) {
if (name == null) println("Hello, stranger")
else println("Hello, $name")
}
fun main() {
greet("Sara")
greet(null)
}可空的返回类型
返回 X? 的函数会告诉调用方它可能返回 null,因此调用方必须进行处理。
fun findUser(id: Int): String? {
return if (id == 1) "Alice" else null
}
fun main() {
val u = findUser(2)
println(u ?: "no user")
}可空属性
类属性也可以是可空的。当字段稍后填充,或需要以可选方式获取时,这种情况很常见。
data class Profile(
val name: String,
val avatarUrl: String?
)
fun main() {
val p = Profile("Lee", null)
println(p.avatarUrl ?: "(no avatar)")
}可空集合
请区分可空列表 List<T>? 和包含可空元素的列表 List<T?>。它们表示不同的含义。
fun main() {
val maybeList: List<Int>? = null
val listOfMaybe: List<Int?> = listOf(1, null, 3)
println(maybeList?.size) // null
println(listOfMaybe.size) // 3
}与 Java 的比较
传入 Kotlin 的 Java 类型会显示为平台类型(String!)。Kotlin 会信任您,但不会提供空值安全。条件允许时,请始终使用 @Nullable/@NotNull 为 Java API 添加注解。
fun main() {
val maybeNull: String? = System.getenv("FOO") // null if unset
println("env FOO = ${maybeNull ?: "(unset)"}")
}为什么这很重要
编译时空值安全可以避免一整类运行时崩溃。请采用 ? 修饰符:它既能记录您的意图,也会强制您处理空值。
fun divide(a: Int, b: Int): Int? = if (b == 0) null else a / b
fun main() {
val r1 = divide(10, 2) // 5
val r2 = divide(10, 0) // null — handled at call site
println("$r1, $r2")
}快速检查
类型声明末尾的 ? 表示什么?
回顾
默认情况下,Kotlin 类型不可为空。添加 ? 可以允许 null。编译器会通过智能类型转换、安全调用和 Elvis 运算符强制执行空值处理,从而在运行时之前阻止大多数 NullPointerExceptions。
常见问题解答
「可空类型与 ? 修饰符」课时是免费的吗?
是的 — 「可空类型与 ? 修饰符」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Kotlin Academy 课程的其余内容,请升级到 CoddyKit PRO。 Kotlin Academy 课程共包含 4 节课。
「可空类型与 ? 修饰符」这节课中我会学到什么?
声明可空变量,并理解 Kotlin 在编译时提供的空安全机制。 你通过在浏览器中直接运行的动手代码来练习 Kotlin Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 Kotlin Academy 需要有经验吗?
无需任何先前经验。CoddyKit 上的 Kotlin Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 1 节课,共 4 节。
「可空类型与 ? 修饰符」课时需要多长时间?
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。
我能在这节 Kotlin Academy 课中编写并运行代码吗?
能。每节 Kotlin Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。