可null类型怎么工作

大部分现代语言使用某些方法去解决了这个问题,Kotlin的方法跟别的相似的语言比是相当另类和不同的。但是黄金准则还是一样:如果变量是可以是null,编译器强制我们去用某种方式去处理。

指定一个变量是可null是通过在类型的最后增加一个问号。因为在Kotlin中一切都是对象(甚至是Java中原始数据类型),一切都是可null的。所以,当然我们可以有一个可null的integer:

val a: Int? = null

一个可nul类型,你在没有进行检查之前你是不能直接使用它。这个代码不能被编译:

val a: Int? = null
a.toString()

前一行代码标记为可null,然后编译器就会知道它,所以在你null检查之前你不能去使用它。还有一个特性是当我们检查了一个对象的可null性,之后这个对象就会自动转型成不可null类型,这就是Kotlin编译器的智能转换:

vala:Int?=null
...
if(a!=null){
    a.toString()
}

if中,aInt?变成了Int,所以我们可以不需要再检查可null性而直接使用它。if代码之外,当然我们又得检查处理。这仅仅在变量当前不能被改变的时候才有效,因为否则这个value可能被另外的线程修改,这时前面的检查会返回false。val属性或者本地(val or var)变量。

这听起来会让事情变得更多。难道我们不得不去编写大量代码去进行可null性的检查?当然不是,首先,因为大多数时候你不需要使用null类型。Null引用没有我们想象中的有用,当你想弄清楚一个变量是否可以为null时你就会发现这一点。但是Kotlin也有它自己的使处理更简洁的方案。举个例子,我们如下简化代码:

val a: Int? = null
...
a?.toString()

这里我们使用了安全访问操作符(?)。只有这个变量不是null的时候才会去执行前面的那行代码。否则,它不会做任何事情。并且我们甚至可以使用Elvis operator(?:):

val a:Int? = null
val myString = a?.toString() ?: ""

因为在Kotlin中throwreturn都是表达式,他们可以用在Elvis operator操作符的右边:

val myString = a?.toString() ?: return false

val myString = a?.toString() ?: throw IllegalStateException()

然后,我们可能会遇到这种情景,我们确定我们是在用一个非null变量,但是他的类型却是可null的。我们可以使用!!操作符来强制编译器执行可null类型时跳过限制检查:

val a: Int? = null
a!!.toString()

上面的代码将会被编译,但是很显然会奔溃。所以我们要确保只能在特定的情况下使用。通常我们可以自己选择作为解决方案。如果一份代码满篇都是!!,那就有股代码没有被正确处理的气味了。