第五讲-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实战

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20180603G1062300?refer=cp_1026
  • 腾讯「云+社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 yunjia_community@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券