Edit Page

空安全

可空(Nullable)和不可空(Non-Null) 类型

Kotlin 的类型系统致力于消除空引用异常的危险,又称《上亿美元的错误》

许多编程语言,包括 Java 中最常见的错误就是访问空引用的成员变量,导致空引用异常。在 Java 中, 将等同于 NullPointerException 或简称 NPE

Kotlin 类型系统的目的就是从我们的代码中消除 NullPointerExceptionNPE 的原因可能是

  • 显式调用 throw NullPointerException()
  • Usage of the !! operator that is described below
  • 外部 Java 代码引起
  • 对于初始化,有一些数据不一致 (比如一个还没初始化的 this 用于构造函数的某个地方)

在 Kotlin 中,类型系统是要区分一个引用是否可以是 null (nullable references)或者不可以,即 不可空引用(non-null references)。 例如,常见的 String 就不能够为 null

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

若是想要允许 null ,我们可以声明一个变量为可空字符串,写作 String?

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

现在,如果你调用/访问一个 a 方法/属性(译者注:a 是一个不可空类型)的一个方法,它保证不会造成 NPE,这样你就可以放心地使用:

val l = a.length

但是如果你想访问 b 的相同属性,这将是不安全的,同时编译器会报错:

val l = b.length // 错误:变量 b 可能为 null

可是我仍然需要访问这些属性,对吧?这里有一些方式可以这么做:

使用条件语句检测是否为 null

首先,你可以明确地检查 b 是否为 null,并分别处理两种选择:

val l = if (b != null) b.length else -1

编译器会跟踪所执行的检查信息,然后允许你在 if 中调用 length
同时,也支持更复杂(更智能)的条件:

if (b != null && b.length > 0)
  print("String of length ${b.length}")
else
  print("Empty string")

需要注意的是这仅适用其中 b 是不可变的(i.e. a local variable which is not modified between the check and the usage or a member val which has a backing field and is not overridable)情况,否则在 检查之后它可能它为空导致异常。

安全的调用

你的第二个选择是安全的操作符,写作 ?.

b?.length

如果 b 是非空的,就会返回 b.length ,否则返回 null,这个表达式的类型就是 Int?.

安全调用在链式调用的时候十分有用。例如,如果Bob,一个雇员,可被分配给一个部门(或不),这反过来又可以获得 Bob 的部门负责人的名字(如果有的话),我们这么写:

bob?.department?.head?.name

如果任意一个属性(环节)为空,这个链式调用就会返回 null

To perform a certain operation only for non-null values, you can use the safe call operator together with let:

val listWithNulls: List<String?> = listOf("A", null)
for (item in listWithNulls) {
     item?.let { println(it) } // prints A and ignores null
}

Elvis 操作符

当我们有一个可以为空的变量 r,我们可以说 「如果 r 非空,我们使用它;否则使用某个非空的值:

val l: Int = if (b != null) b.length else -1

对于完整的 if-表达式, 可以换成 Elvis 操作符来表达, 写作 ?::

val l = b?.length ?: -1

如果 ?: 的左边表达式是非空的, elvis 操作符就会返回左边的结果, 否则返回右边的内容。
请注意,仅在左侧为空的时候,右侧表达式才会进行计算。

注意, 因为 throwreturn 在 Kotlin 中都是一种表达式,它们也可以用在 Elvis 操作符的右边。非常方便,例如,检查函数参数:

fun foo(node: Node): String? {
  val parent = node.getParent() ?: return null
  val name = node.getName() ?: throw IllegalArgumentException("name expected")
  // ...
}

!! 操作符

第三种操作的方式是给 NPE 爱好者的。我们可以写 b!! ,这样就会返回一个不可空的 b 的值(例如:在我们例子中的 String)或者如果 b 是空的,就会抛出 NPE 异常:

val l = b!!.length

因此,如果你想要一个 NPE,你可以使用它。but you have to ask for it explicitly, and it does not appear out of the blue.

安全转型

转型的时候,可能会经常出现 ClassCastException。 所以,现在可以使用安全转型,当转型不成功的时候,它会返回 null

val aInt: Int? = a as? Int

Collections of Nullable Type

If you have a collection of elements of a nullable type and want to filter non-null elements, you can do so by using filterNotNull.

val nullableList: List<Int?> = listOf(1, 2, null, 4)
val intList: List<Int> = nullableList.filterNotNull()