Kotlin基础（7）——空类型安全

（1）空类型安全的概念

注意，在这里nonNull重新赋值为null的时候，编译会报错。这是因为前面声明的nonNull为String类型，在Kotlin中String类型为非空类型，所以当再给nonNull赋值为null的时候，编译会报错。

 如果想使nonNull可以赋值为null，怎么办呢？如下操作：

var nonNull:String?="Hello"
nonNull=null

在声明的时候，在类型后面加问号？，意为变量可以为空。

 但是这样写，在使用时有可能报空指针：

 可以强转为不可空类型：

val length=nonNull!!.length

但是这种形式是在确定nonNull不为空的情况下，可以这样用，如果nonNull为空，那么在运行时还会报空指针异常，不够安全。

那么如何安全地书写呢？看下面这种形式：

val length=nonNull?.length

这种书写形式，无论nonNull是不是空，都不会触发空指针。只是在nonNull不为空的时候，val length=nonNull.length;在nonNull为空的时候，val length=null;

但是这种形式也有一种弊端，就是length可能为Int类型，也可能为null类型。为了使length的类型能够统一，我们可以这样写：

val length=nonNull?.length?:0 //elvis运算符

这种形式，意为如果nonNull不为空，那么val length=nonNull.length，如果nonNull为空，那么val length=0;

这样不仅保证了nonNull不会报空指针，而且保证了length的类型统一。

（2）空类型的继承关系

var x:String="Hello"
var y:String?="World"

y=x//编译成功

var x:String="Hello"
var y:String?="World"
        
x=y//编译失败

 说明了String是String？的子集

里式替换原则：任何基类出现的地方，子类一定可以出现。

（3）平台类型

Java、JavaScript、Native

不同语言之间的调用，比如Kotlin调用Java中的代码，这时需要开发者注意，判断是否为空，例如：

在Kotlin中定义的这个title，编译器无法判断是否有可能为空。如果开发者不注意，那么当title为空的情况下去执行title.length就会报空指针。

也可以用@NotNull注解进行一下约束，但是添加了@NotNull注解的方法就不能反回null了：