请解释 Kotlin 中的空安全机制，并说明它是如何实现这一机制的？

回答思路

1. 【回答框架 1】空安全是 Kotlin 类型系统的一部分，旨在消除空指针异常，通过编译期检查来保证代码安全性。Kotlin 区分可空类型和不可空类型，例如 String 和 String?，编译器会强制要求对可空类型进行判空处理。
2. 【回答框架 2】实现机制主要包括：类型系统区分可空与不可空，编译器静态检查；提供安全调用运算符 ?. 进行链式调用，避免空值传播；使用 Elvis 运算符 ?: 为 null 提供默认值；使用 !! 运算符明确跳过空检查，但运行时仍可能抛出 NPE。
3. 【回答框架 3】另外，Kotlin 通过注解支持，如 @Nullable 和 @NotNull，来告知编译器 Java 代码的可空性。编译器还允许通过类型检查函数 checkNotNull 等进行手动断言。这些措施将空指针错误从运行时错误提前到编译期，显著提高代码健壮性。
4. 【关键点 1】Kotlin 通过可空类型 `T?` 与不可空类型 `T` 的区分实现空安全。
5. 【关键点 2】安全调用运算符 ?. 和 Elvis 运算符 ?: 是处理可空值的常用手段。
6. 【关键点 3】空安全机制主要依赖编译期检查，但使用 !! 可能会违背安全性并导致运行时异常。
7. 【易错点 1】使用 !! 运算符会放弃编译期保护，可能引发运行时 NPE，应谨慎使用。
8. 【易错点 2】对 Java 互操作时，如果来自 Java 的代码未标注可空注解，Kotlin 可能无法正确推断空安全，需要手动处理。