(转)[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异常。

相关推荐