欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

(转)[Kotlin]Null Safety空安全

程序员文章站 2022-07-12 10:52:19
...

转自: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异常。

相关标签: 空安全