Kotlin 其他（八） --- 空安全（Null Safety）

1、可空类型与非空类型

Kotlin 的类型系统旨在消除来自代码空引用的危险，也称为《十亿美元的错误》。

许多编程语言（包括 Java）中最常见的陷阱之一是访问空引用的成员，导致空引用异常。
在 Java 中， 这等同于 NullPointerException 或简称 NPE。

Kotlin 的类型系统旨在从我们的代码中消除 NullPointerException。NPE 的唯一可能的原因可能是

• 显式调用 throw NullPointerException()；
• 使用了下文描述的 !! 操作符；
• 外部 Java 代码导致的；
• 对于初始化，有一些数据不一致（如一个未初始化的 this 用于构造函数的某个地方）。

在 Kotlin 中，类型系统区分一个引用可以容纳 null （可空引用）还是不能容纳（非空引用）。 例如，String 类型的常规变量不能容纳 null：

var a: String = "abc"
a = null // 编译错误

如果要允许为空，我们可以声明一个变量为可空字符串，写作 String?：

var b: String? = "abc"
b = null // ok

现在，如果你调用 a 的方法或者访问它的属性，它保证不会导致 NPE，这样你就可以放心地使用：