（转）[Kotlin]Null Safety空安全

转自：http://blog.csdn.net/hp910315/article/details/50790681

 

Kotlin对比于Java的一个最大的区别就是它致力于消除空引用所带来的危险。在Java中，如果我们尝试访问一个空引用的成员可能就会导致空指针异常NullPointerException(NPE)的出现。在Kotlin语言中就解决了这个问题，下面来看看它是如何做到的。

在Kotlin中，类型系统将可空类型和不可空类型进行了区分，例如，String为不可空类型，String?为可空类型，如果将不可空类型赋值为null将会编译不通过。

var a: String = "abc"
a = null // compilation error

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

 

 对于不可空类型，可以直接调用它的成员变量或者函数，但是对应可空类型，直接调用成员变量或者函数将会编译不通过，相当于直接在语法层面解决做出了限制。

那么问题来了，因为可空类型调用成员变量或者函数会编译不通过，但是可空类型只是可以是空引用，也可以不是空引用，编译器直接全部进行了否则，假如一个可空类型它本身是不为空的，我们希望调用它的成员变量或者函数，但是编译却不通过，这貌似就不符合逻辑了。

例如：

var a: String? = "abc"
val l = a.length  //compilation error

 上面的代码按理说没什么问题，但是编译不通过，就是因为String为可控类型，编译器不让它直接调用成员变量或者函数，对于可能类型，如果希望调用它的成员变量或者函数就必须进行判断才行，否则编译器是不会通过的，这就是Kotlin解决空指针异常的方法之道，它会最大限度的要求程序员去避免空指针异常。

var b: String? = "abc"
val l = if (b != null) b.length else -1

 上面这个代码就没有问题，因为我们做了检查，所以编译器就允许调用可空引用b的的成员变量。

对于可空引用，如果我们希望调用它的成员变量或者函数就必须先做检查，否则编译器会报错。

例如：

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

 对于这种限制，有好也有坏，给人的感觉有些死板，并且有些麻烦，使用非空引用，必须保证它非空，这个可以接受，使用可空引用，每次还有做检查，好麻烦，哈哈，语言的设计者当然不会这样难为人的，为了简单使用，可空引用有一种安全的调用方式，使用?.进行调用。

var b: String? = "abc"
b?.length  // ok

 这样就不需要你进行检查了，有人帮你做了，如果b为空引用，直接返回null，否则，就返回b.length。简单吧！

Kotlin语言的特定就是简洁，大家应该注意点，上面的语句都没有分号，这个在Java里面是绝对不可能的，但是在Kotlin里面，你就是这样这么任性。大家是否记得在Java中的三元运算符，在Kotlin里面也有类似的。

val l: Int = if (b != null) b.length else -1
//等价于
val l = b?.length ?: -1

 如果b为null返回-1，否则返回b.length。

可空引用的调用，下面还有第三种方面来调用它的成员函数和变量。

var b: String? = "abc"
val l = b!!.length()

 它的返回值有两种可能，如果b不为null，返回b.length()，否则，抛出一个空指针异常，如果b为null，你不想返回null，而是抛出一个空指针异常，你就可以使用它。

下面总结一下： 
1、Kotlin有两种类型：一个是非空引用类型，一个是可空引用类型。 
2、对于可空引用，如果希望调用它的成员变量或者成员函数，直接调用会出现编译错误，有三种方法可以调用： 
（1）在调用前，需要先检查，因为可能为null 
（2）使用b?.length的形式调用，如果b为null，返回null，否则返回b.length 
（3）使用b!!.length()的形式调用，如果b为null，抛出空指针异常，否则返回b.length

另外，我们知道类型转换可能产生ClassCastException异常，例如:

var a: Long = 1
val aInt: Int? = a as Int  // java.lang.ClassCastException

 那么如何避免这个异常呢？改成下面形式就可以了。

var a: Long = 1
val aInt: Int? = a as? Int

 上面这种方法就是安全类型转换，如果类型转换不成功，就会返回null，而不是抛出ClassCastException异常。