目录
2.7 空指针检查
我之前看过某国外机构做的一个统计,Android 系统上崩溃率最高的异常类型就是空指针异常 (NullPointerException )。相信不只是 Android ,其他系统上也面临着相同的问题。若要分析其根本原因的话,我觉得主要是因为空指针是一种不受编程语言检查的运行时异常,只能由程序员主动通过逻辑判断来避免,但即使是最出色的程序员,也不可能将所有潜在的空指针异常全部考虑到。
我们来看一段非常简单的Java 代码:
public void doStudy(Study study) {
study.readBooks();
study.doHomework();
}
这是我们在 2.5.3 小节编写过的一个 doStudy() 方法,我将它翻译成了Java 版。这段代码没有任何复杂的逻辑,只是接收了一个 Study 参数,并且调用了参数的 readBooks() 和doHomework() 方法。
这段代码安全吗?不一定,因为这要取决于调用方传入的参数是什么,如果我们向 doStudy() 方法传入了一个 null 参数,那么毫无疑问这里就会发生空指针异常。因此,更加稳妥的做法是在调用参数的方法之前先进行一个判空处理,如下所示:
public void doStudy(Study study) {
if (study != null) {
study.readBooks();
study.doHomework();
}
}
这样就能保证不管传入的参数是什么,这段代码始终都是安全的。
由此可以看出,即使是如此简单的一小段代码,都有产生空指针异常的潜在风险,那么在一个大型项目中,想要完全规避空指针异常几乎是不可能的事情,这也是它高居各类崩溃排行榜首 位的原因。
2.7.1 可控类型系统
然而,Kotlin 却非常科学地解决了这个问题,它利用编译时判空检查的机制几乎杜绝了空指针异常。虽然编译时判空检查的机制有时候会导致代码变得比较难写,但是不用担心,Kotlin 提供了一系列的辅助工具,让我们能轻松地处理各种判空情况。下面我们就逐步开始学习吧。
还是回到刚才的 doStudy() 函数,现在将这个函数再翻译回 Kotlin 版本,代码如下所示:
fun doStudy(study: Study) {
study.readBooks()
study.doHomework()
}
这段代码看上去和刚才的 Java 版本并没有什么区别,但实际上它是没有空指针风险的,因为 Kotlin 默认所有的参数和变量都不可为空,所以这里传入的 Study 参数也一定不会为空,我们可以放心地调用它的任何函数。如果你尝试向 doStudy() 函数传入一个 null 参数,则会提示如 图2.30 所示的错误。
![](https://i-blog.csdnimg.cn/blog_migrate/83fad02228965595e6f7261fce468948.png)
也就是说,Kotlin 将空指针异常的检查提前到了编译时期,如果我们的程序存在空指针异常的风险,那么在编译的时候会直接报错,修正之后才能成功运行,这样就可以保证程序在运行时期不会出现空指针异常了。
看到这里,你可能产生了巨大的疑惑,所有的参数和变量都不可为空?这可真是前所未闻的事情,那如果我们的业务逻辑就是需要某个参数或者变量为空该怎么办呢?不用担心,Kotlin 提供 了