Kotlin：空指针检查

Kotlin相比Java，一个很大改进就是空指针检查。

我们先看一段非常简单的Java代码：

public void doStudy(Study study) {
   
    study.readBooks();
    study.doHomeWork();
}

上述代码没有任何复杂的逻辑，只是接收了一个Study参数，并且调用了参数的readBooks（）和doHomeWork（）方法。

这段代码安全吗？不一定。因为这要取决于调用方传入的参数是什么，如果是我们向doStudy 方法传入了一个null参数，那么毫无疑问这里就会发生空指针异常。因此，更加稳妥的做法是在调用参数的方法之前先进行一个判空处理，如下所示：

public void doStudy(Study study) {
   
   if (study!=null) {
   
       study.readBooks();
       study.doHomeWork(); 
    }
  }

这么简单一小段代码，都有产生空指针异常的潜在风险。如果是大型项目，想要完全避免空指针几乎是不可能的事情。

1. 可空类型系统

然而，Kotlin却非常科学地解决了这个问题，它利用编译时判空检查的机制几乎杜绝了空指针异常。虽然编译时判空检查的机制有时候会导致代码变得比较难写，但是不用担心，Kotlin提供了一系列的辅助工具，让我们能轻松地处理各种判空情况。下面我们就逐步开始学习吧。

还是回到刚刚的doStudy（）函数，现在将这个函数再写成Kotlin版本，代码如下所示：

fun doStudy(study: Study) {
   
     study.readBooks()
     study.doHomeWork()
}

这段代码看上去和刚刚的Java代码并没有什么区别，但实际上它是没有空指针风险的，因为Kotlin默认所有的参数和变量都不可为空，所以这里传入的Study参数也一定不会为空，我们可以放心地调用它的任何函数。如果你尝试向doStudy函数传入一个null参数，则会提示如下图所示错误：

也就是说，Kotlin将空指针异常的检查提前到了编译时期，如果我们的程序存在空指针异常的风险，那么在编译的时候会直接报错，修正之后才能成功运行，这样就可以保证程序在运行时期不会出现空指针异常了。

看到这里，你可能产生了巨大的疑惑，所有的参数和变量都不可为空？这可真是前所未闻的事情，那如果我们的业务逻辑就是需要某个参数或者变量为空该怎么办呢？不用担心，Kotlin提供了另外一套可为空的类型系统，只不过在使用可为空的类型系统时，我们需要在编译时期就将所有潜在的空指针异常都处理掉，要不然代码将无法编译通过。

那么可为空的类型系统是什么样的呢？很简单，就是在类名的后面加上一个问号。比如，Int表示不可为空的整型，而Int？ 就表示可为空的整型；String 表示不可为空的字符串，而String？ 就表示可为空的字符串。

回到刚才的doStudy（）函数，如果我们希望传入的参数可以为空，那么就应该将参数的类型由Study改成Study？。

test.doStudy(null