Kotlin中的空判断处理

Kotlin中的一个伟大创前举就是空指针的处理，在代码的编译阶段就能检测可能出现的空指针问题，示例代码如下：

data class Person(var name: String? = null)

fun sayHello(name: String) {
    println("Hello $name")
}

fun main() {
    val person = Person("Even")
    if (person.name != null) {
        sayHello(person.name)
    }
}

在IntelliJ中，如上代码会报错，如下：

提示的错误信息翻译为：智能强制转换为’String’是不可能的，因为’person.name’是一个可变属性，此时可能已经被更改了。

要想编译通过，需要这样做：

sayHello(person.name!!)

哎？我记得学Kotlin的时候有解释说如果已经判断了不是空了的话，就不需要添加 !! 符号的，为什么这里不添加的话会报错呢？其实原因就是报错信息上提示的，因为name是用var修饰的，而且这是一个成员变量，虽然你做了非空的判断，但是判断之后，这个成员属性有可能在其它线程被修改了，比如在其他线程设置为null了，所以，这样的话就会出现空指针异常了，所以添加 !! 符号来解决报错不是最佳实践，在我这个示例中，我们知道没有开多线程去修改person的name属性，所以可以加 !! 来解决，但是最好不要这样做，如果我们知道name属性不会被修改，则可以使用val修饰，如下：

可以看到，此时不需要添加 !! 也不报错了，因为IDE知道name是一个不可变属性，判断了不是空之后，就永远不可能是空了。

有时候，name属性就需要发生变化，就必须声明为var，此时怎么解决呢？，可以通过添加局部变量解决，如下：

如上代码，IDE没有报错。我们通过添加一个val类型的name局部变量来保存person.name的值，这样的话，判断了name为不为空之后，即使person.name在子线程被设置为空了，但是局部变量name不会受到影响。我们在阅读一些系统源码的时候，不论是Java源码或是Kotlin的源码，经常发现别人在判断一个对象的属性的可空性的时候，都是先声明一个局部变量保存该对象属性再来判断，不懂事的时候就会奇怪别人为什么要多此一举，现在明白了，别人是为了预防直接判断对象属性出现的多线程修改带来的问题。

添加局部变量的话，即使是var类型的局部变量IDE也能判断是否为空，示例如下：

如上代码，可以看到，局部变量name是可变类型的，但是也不需要添加 !! 符号，因为var类型的局部变量不会被子线程修改，所以判断了不为空之后就不会为空。最后赋值了”Lily“，然后传给sayHello(name)，这里并没有做非空判断啊，sayHello接受的是不可空的String，但是name是一个可空String啊，道理也很简单，因为这是局部变量，没有子线程的干扰，IDE能检测到name在传给sayHello之前是赋值了”Lily"的，之后没有再赋值为null也是能检测出来的，所以这里不需要做可空判断也能编译通过。如果没有赋值“Lily"，则IDE就不知道name是否为空了，就会报错，如下：

或者，如果我们使用的是一个成员变量，即使前一句代码赋值了下一句就用也是会报错的，原因就是它有可能在子线程被设置为null了，如下：

所以，Kotlin是真的很强，如果你在使用一个变量，只要IDE没报错，你就可以放心的使用，不需要做空判断，你可以放心，运行时不会有空指针问题的。如果IDE报错了，就是有可能发生空指针的，此时你就不要强制添加 !! 来逃避问题了，一定要做合理的空指针判断处理。如果你使用Java的话，要不要做空指针处理IDE是没有提示的，你只能自己用脑子去想要不要做空指针判断处理，事实往往是我们根本就不去想要不要做处理，或者即使思考过了，也会有思考出错的时候，比如可能出现空指针的地方，但是你写代码时你认为不会出现空指针，所以你没做非空判断处理，则运行时就有可能出现空指针异常了。而Kotlin就会有提示，只要IDE没报错就不用做空指针处理，只要IDE报错了就要做空指针处理，这真是爽歪歪啊，你不需要去思考什么时候应该添加空指针判断处理了！

注：这个可空判断也适用于类型智能转换，这个知识点在官网教程上也找到了答案：https://kotlinlang.org/docs/typecasts.html#unsafe-cast-operator，相关内容如下：

Note that smart casts work only when the compiler can guarantee that the variable won’t change between the check and the usage. More specifically, smart casts can be used under the following conditions:

• val local variables - always, with the exception of local delegated properties.
• val properties - if the property is private or internal or if the check is performed in the same module where the property is declared. Smart casts cannot be used on open properties or properties that have custom getters.
• var local variables - if the variable is not modified between the check and the usage, is not captured in a lambda that modifies it, and is not a local delegated property.
• var properties - never, because the variable can be modified at any time by other code.