数据类型
数值类型
在 Kotlin,一切都是一个对象,你可以调用任何变量的成员函数和属性。有些类型可以有一个特殊的内部表示——例如,数字、字符和布尔值可以在运行时表示为基本值——但对用户来说,它们看起来像普通类。
Kotlin 这样设计基于几大理由。首先,只有一种数据类型可选,你就不容易因选项多而选错, 进而陷入编码困境。例如,定义了一个基本数据类型实例后,写着写着,猛然发现要用到只有引 用类型才支持的泛型功能,怎么办?Kotlin 通过只提供一种类型规避了此问题。也许熟悉 Java 的你会说:“但是基本数据类型的性能要好于引用类型啊!”。为了让你愉快地使用引用类型,Kotlin 编译器会根据不同的场景将其编译成为 Java 中的基本类型数据还是包装类对象。假如你熟悉 Java 的八大基本数据类型,也能在 Kotlin 中分别找到它们的对应引用数据类型。
- 整数类型:Byte、Short、Int 和 Long,Int 是默认类型。
- 浮点类型:Float 和 Double,Double 是默认类型。
- 字符类型:Char。
- 布尔类型:Boolean
整数类型
Kotlin 提供了一组表示数字的内置类型。对于整数,有四种不同大小的类型(Byte、Short、Int 和 Long)。
当初始化没有显式类型规范的变量时,编译器会自动推断出具有足以表示该值的最小范围的类型。如果不超过 Int 的范围,则该类型为 Int。如果超过,则类型为 Long。若要显式指定 Long 值,请将后缀 L 附加到该值。显式类型规范触发编译器检查值是否不超过指定类型的范围。
代码语言:javascript复制val one = 1 // Int
val threeBillion = 3000000000 // Long
val oneLong = 1L // Long
val oneByte: Byte = 1
除了整数类型之外,Kotlin 还为无符号整数提供了以下类型:
UByte: an unsigned 8-bit integer, ranges from 0 to 255 UShort: an unsigned 16-bit integer, ranges from 0 to 65535 UInt: an unsigned 32-bit integer, ranges from 0 to 2^32 - 1 ULong: an unsigned 64-bit integer, ranges from 0 to 2^64 - 1
未签名类型支持其对应的已签名类型的大多数操作。
浮点类型
对于实数,Kotlin 提供了遵循 IEEE 754 标准的浮点类型 Float 和 Double。Float 反映 IEEE 754 的单精度,而 Double 反映的是双精度。
可以使用具有小数部分的数字初始化 Double 和 Float 变量。它与整数部分之间用句点(.)隔开对于用小数初始化的变量,编译器推断出 Double 类型:
代码语言:javascript复制val pi = 3.14 // Double
// val one: Double = 1 // Error: type mismatch
val oneDouble = 1.0 // Double
若要显式指定值的 Float 类型,请添加后缀 f 或 F。如果该值包含超过6-7个小数位,它将被四舍五入:
代码语言:javascript复制val e = 2.7182818284 // Double
val eFloat = 2.7182818284f // Float, actual value is 2.7182817
字符类型
用转义字符。是字符还是有特别意义的标记,编译器通过转义字符 就能区分开来了。
举例
代码语言:javascript复制val cc = '''
每个字符都是 Char 类型的一个实例。更具体地讲,Char 就是 Unicode 字符。按照 Unicode 标准联盟的定义,Unicode 字符编码系统的设计 目的是实现“多种语言书面文字的互相转换、处理和显示”。
要声明一个字符,有两种方式。不过无论采用哪种方式,字符都要放在一对单引号里。
Kotlin 字符采用双字节 Unicode 编码,占两个字节(16位),因而可用十六进制(无符号的)编码形式表示,它们的表现形式是uXXXX
,其中XXXX
为 16 位十六进制数,所以 'A' 字符也可以用 Unicode 编码'u0041'表示。
val aChar: Char = 'a'
println(aChar)
println('n') // Prints an extra newline character
println('uFF00')
如果字符变量的值为数字,则可以使用 digtoInt ()函数显式地将其转换为 Int 数字。
布尔类型
Boolean 类型表示可以有两个值的 Boolean 对象: true 和 false。
Boolean 有一个可为空的对应项 Boolean? ,它也有空值。
布尔型的内置操作包括:
|| (逻辑或)
&& (逻辑与)
!(逻辑否)
其中 || and && 是惰性的。
常量和变量
Kotlin 有强大的类型推断能力。虽然你可以显式地声明变量的类型,但通常会让编译器通过推断来完成这项工作。Kotlin 并不强制执行不变性,尽管它是被推荐的。本质上使用 val/var。
在 Kotlin 中声明变量,就是在标识符的前面加上关键字 var。 变量一旦赋值就不能更改。要声明只读变量,使用 val 关键字。常量一旦初始化后就不能再被修改。
代码语言:javascript复制var a: String = "initial" // 1
println(a)
val b: Int = 1 // 2
val c = 3 // 3
- 声明一个变量 var 并初始化它。
- 声明一个不可变变量 val 并初始化它。
- 声明一个不可变变量,并在不指定类型的情况下初始化它。
你可以自由选择何时初始化变量,但是,它必须在第一次读之前初始化。
代码语言:javascript复制val d: Int // 1
if (someCondition()) {
d = 1 // 2
} else {
d = 2 // 2
}
println(d) // 3
- 声明一个没有初始化的变量。
- 根据某些条件使用不同的值初始化变量。
- 读取变量是可能的,因为它已经被初始化了。
您可以在顶层声明变量。
代码语言:javascript复制val PI = 3.14
var x = 0
fun incrementX() {
x = 1
}
编译时常量
编译时常量使用 const val
进行修饰。
编译时常量只能在函数(指包括 main 在内的所有函数)之外定义。这是因为编译时常量 必须在编译时(程序编译时)赋值,而 main 和其他函数都是在运行时(程序运行时)才调用, 函数内的变量也是在那时赋值。编译时常量要在这些变量赋值前就已存在。因为使用复杂的数据类型可能会危害编译时的安全保障,所以编译时常量只能是一些常见的基本数据类型。
- String
- Int
- Double
- Float
- Long
- Short
- Byte
- Char
- Boolean
const val MAX_EXPERIENCE: Int = 5000
思考:使用 var 还是 val
如果两种方式都能满足需求情况下,原则上优先考虑使用 val 声明。因为一方面 val 声明的变量是只读,一旦初始化后不能修改,这可以避免程序运行过程中错误地修改变量内容;另一方面在声明引用类型使用 val,对象的引用不会被修改,但是引用内容可以修改,这样会更加安全,也符合函数式编程的技术要求。
Null Safety
为了消除 NullPointerException,Kotlin 的变量类型不允许赋值 null。如果您需要一个可以为空的变量,可以通过添加?在其类型的末端。
可空类型
有时候,Kotlin 程序需要使用 null 值,例如在与外部 Java 代码交互时,或者表示一个真正缺失的状态时。Kotlin 提供空跟踪来优雅地处理这种情况。
Kotlin 为每一种非空类型提供对应的可空类型(Nullable),就是在非空类型后面加上问号(?)表示可空类型。 var n: Int? = 10
Int? 是可空类型,它所声明的变量 n 可以接收空值。
代码语言:javascript复制var nullable: String? = "You can keep a null here"
nullable = null
- 接受可为空的字符串并返回其说明的函数。
- 如果给定的字符串不为空,也不为空,则返回有关其长度的信息。
- 否则,告诉调用方字符串为空或 null。
可空类型在具体使用时会有一些限制:
- 不能直接调用可空类型对象的函数或属性。
- 不能把可空类型数据赋值给非空类型变量。
- 不能把可空类型数据传递给非空类型参数的函数。
类型转换
数值类型之间的转换
本节讨论数值类型之间互相转换,数值在进行赋值时采用的是显示转换,而在数学计算时采用的是隐式转换。
赋值与显式转换
Kotlin 是一种安全的语言,对于类型的检查非常严格,不同类型数值进行赋值是禁止的. Kotlin中要想实现这种赋值转换,需要使用转换函数显式转换。Kotlin 的 6 种数值类型(Byte、Short、Int、Long、Float 和 Double),以及Char类型都有如下 7 个转换函数:
- toByte(): Byte
- toShort(): Short
- toInt(): Int
- toLong(): Long
- toFloat(): Float
- toDouble(): Double
- toChar(): Char
数学计算与隐式转换
多个数值类型数据可以数学计算,由于参与进行数学计算的数值类型可能不同,编译器会根据上下文环境进行隐式转换。