第五讲-Kotlin里的类型和空处理

Kotlin的类型

类型就是数据的分类，不同类型代表不同种类的数据。

Kotlin里类型分为：可空类型，非空类型，平台类型

对平台类型的理解

平台类型：Kotlin不知道可空性信息的类型，即当作可空类型也可当作非空类型。所以在这个类型上的所有操作需要程序员自己负责，编译器允许所有的操作。通常发生在Kotlin调用Java代码的场景上。

以字符串类型举例，字符串平台类型如下：

String！

程序员不能使用这种语法，Java代码转Kotlin代码的时候会出现，表示可控性未知，也可以理解为己有肯能是非空类型也有可能是可空类型

非空类型和可空类型的理解

可空类型 = 非空类型 + null

Type? = Type + null

因此，String？，String是两种不同的数据类型，就像Int和String是两种数据类型那般。

基本数据类型

Kotlin不区分基本数据类型和包装类型，都是使用一种基本类型：

下面是非空基本类型

Char, Boolean, Byte, Short, Int，Long, Float, Double

可空基本类型

Char？, Boolean?, Byte?, Short?, Int?，Long?, Float?, Double?

Kotlin的基本类型如果转成Java基本数据类型，要怎么办？

对于变量、属性、参数和返回类型，Kotlin的基本类型会被编译成Java的基本数据类型。

用作泛型类型参数的基本数据类型会被编译成对应的Java包装类型。

注意：

和Java不同，大范围的值不能自动转化为小范围的值，而是看成两种不同的类型

下面的代码演示了数据类型的表示，各类型转化，数据类型智能推断，字符串类型转成基本数据类型

Any，Unit，Nothing类型

Any 相当于 Object，不同点：是非空类型，缺少Object的wait，notify方法

Unit相当于Java的Void；不同点：Unit是一个完备的类型，可以作为类型参数。Unit是Any的子类

Nothong表明函数不会有返回类型（没有返回类型），该函数不会正常终止，Nothing是Unit的子类

可以认为：throw IllegalArgumentException()返回的类型是Nothing，nothing是Int的子类型。

小结

Any，Unit和Nothing三者关系：A Whirlwind Tour of the Kotlin Type Hierarchy

空安全相关的运算符

安全调用？.

如果值是null，整个表达式的值为null。

Elvis运算符 ？：

安全转换as?

as？运算法尝试把值转换成制定的类型，如果值不是合适的类型就返回null。

非空断言 !!

把任何值转换成非空类型

let函数

把可空值作为实参传递一个只接收非空值的函数

可空类型的扩展函数

允许接收者为null的调用，在扩展函数内部处理null。不需要安全调用了

看几个Kotlin标准库，String定义的扩展函数isNullOrEmpty

注意：

在Java中，this永远是非空的，在Kotlin中，this可以为null。

因此在定义扩展函数时，需要考虑扩展是否需要为可空类型定义。本质上是对null在哪个环节处理的思考，是要在调用时使用空安全调用处理呢，还是在调用的函数内部处理。

泛型参数默认是可空类型

转Java代码为Kotlin代码时，对空的处理

带注解的Java变量翻译到Kotlin时被认为是可空类型或者非空类型

@Nullable + Type = Type? @NotNull + Type = Type

参考资料

Kotlin实战