Kotlin 学习笔记(四)—— Kotlin基础之基本类型


Kotlin学习笔记系列教程

Kotlin 学习笔记(一)—— 概述、学习曲线、开发工具、参考资料
Kotlin 学习笔记(二)—— 基础语法
Kotlin 学习笔记(三)—— 习惯用法


在Kotlin中,所有东西都是对象,在这个意义上讲我们可以在任何变量上调用成员函数和属性,一些类型可以有特殊的内部表示–例如,数字、字符和布尔值可以在运行时表示为原生类型值,但是对于用户来说,他们看起来就像普通类,在本篇中,将描述Kotlin中使用的基本类型:数字、字符、布尔值、数组与字符串。

数字

Kotlin处理数字在某种程度上接近Java,但是不完全相同,例如,对于数字没有隐式拓宽转换(例如Java中int 可以隐式转换为long),另外有些情况的字面值略有不同。

Kotlin 提供了如下的内置类型来表示数字:

Type Bit Width
Double 64
Float 32
Long 64
Int 32
Short 16
Byte 8

Kotlin中字符不是数字

字面常量

数值常量字面值有以下几种:

  • 十进制
    -Long 类型用大写L标记:32L
  • 十六进制:0x0F
  • 二进制:0b00001011

    注意:不支持八进制
    Kotlin同样支持浮点数的常规表示方法:
    –默认double:22.2240.5e10
    – Float用 f 或者 F 标记:234.5f

数字字面值的下划线(自1.1起)
可以使用下划线使数字常量更具有可读性:

1
2
3
val sixMillion = 6_000_000
val phoneNumber = 138_0013_8000
val creditCardNumber = 1234_5678_9012_3456L

表达方式

在Java平台数字是物理存储为JVM的原生类型,除非我们需要一个可空的引用(如Int?) 或泛型,后者情况下会把数字装箱。
注意数字装箱不必保留同一性:

1
2
3
4
5
val a: Int = 10000
print(a === a) // 输出“true”
val boxedA: Int? = a
val anotherBoxedA: Int? = a
print(boxedA === anotherBoxedA) // !!!输 出“false”!!!

另一方面,保留了相等性:

1
2
3
4
5
val a: Int = 10000
print(a == a) // 输出“true”
val boxedA: Int? = a
val anotherBoxedA: Int? = a
print(boxedA == anotherBoxedA) // 输出“true”

显式转换

由于不同的表达方式,较小类型并不是较大类型的子类型。如果它们是的话,就会出现下面问题:

1
2
3
4
// 假想的代码,实际上并不能编译:
val a: Int? = 1 // 一个装箱的 Int (java.lang.Integer)
val b: Long? = a // 隐式转换产生一个装箱的 Long (java.lang.Long)
print(a == b) // 惊!这将输出“false”鉴于 Long 的 equals() 检测其他部分也是 Long

所以同一性还有相等性都会在所有地方悄无声息地失去

因此较小的类型不能隐式转换为较大的类型。这意味着在不进行显式转换的情况下我们不能把byte类型赋值给一个Int类型变量:

1
2
val a: Byte = 1
val b: Int = b //错误,无法赋值

不过,我们可以通过显式转换来拓宽数字:

1
val c: Int = a.toInt() //OK:显式拓宽

每个数字类型都支持如下的转换:

  • toByte(): Byte
  • toShort(): Short
  • toInt(): Int
  • toLong(): Long
  • toFloat(): Float
  • toDouble(): Double
  • toChar(): Char
    缺乏隐式类型转换并不显著,因此类型会从上下文来推断出来,而算术运算会有重载做适当转换,例如:
    1
    val l = 1L + 3 // Long + Int => Long

运算

Kotlin 支持数字运算的标准集,运算被定义为相应的类成员(但编译器会将函数调用优化为相应的指令)。
对于运算符,没有特殊字符表示,而只可用中椎方式调用命令函数,例如:

1
val x = (1 shl 2) and 0x000FF000

这是完整的位运算列表(只用于 IntLong):

  • shl(bits) – 有符号左移 (Java 的 <<)
  • shr(bits) – 有符号右移 (Java 的 >>)
  • ushr(bits) – 无符号右移 (Java 的 >>>)
  • and(bits) – 位与
  • or(bits) – 位或
  • xor(bits) – 位异或
  • inv() – 位非

浮点数比较

本节讨论的浮点数操作如下:

  • 相等性检测:a == ba != b
  • 比较操作符:a < ba > ba <= ba >= b
  • 区间实例以及区间检测:a..bx in a..bx !in a..b

其中的操作数ab都是静态已知的FLoatDouble 或者它们对呀的可空类型(声明为该类型,或者推断为该类型,或者智能类型转换的结果是该类型),两数字所形成的操作或者区间遵循IEEE 754浮点运算标准。

然而,为了支持泛型场景并提供全序支持,当这些操作符并非静态类型为浮点数(例如是 Any、 Comparable<……>、 类型参数)时,这些操作使用为 Float 与 Double 实现的不符合标准的 equals 与 compareTo,这会出现:

  • 认为 NaN 与其自身相等
  • 认为 NaN 比包括正无穷大(POSITIVE_INFINITY)在内的任何其他元素都大
  • 认为 -0.0 小于 0.0

字符

字符使用Char类型表示。它们不能直接当作数字

1
2
3
4
5
fun check(char : Char){
if (char == 1){ //❎,类型不兼容
}
}

字符字面值要用单引号括起来 '1',特殊字符可以用反斜杠转义。支持以下转义序列:\t\b\n\r\'\"\\\$。编码其他字符要用Unicode转义序列语法: '\uFF00'
我们可以显式把字符转为Int数字:

1
2
3
4
5
6
fun chartoInt(char: Char) : Int {
if (char in '0'..'9'){
return char.toInt() - '0'.toInt()
}
throw IllegalArgumentException("out of range")
}

当需要可空引用时,像数字、字符会被装箱。装箱操作不会保留同一性

布尔

布尔使用Boolean类型表示,只有两个值:truefalse
布尔运算符:

  • || -短路逻辑或
  • && -短路逻辑与
  • -逻辑非

数组

数组在Kotlin中使用Array类来表示,它定义了getset函数(按照运算符重载约定这会转变为[])和size属性,以及一些其他有用的成员函数:

1
2
3
4
5
6
7
8
class Array<T> private constructor() {
val size: Int
operator fun get(index: Int): T
operator fun set(index: Int, value: T): Unit
operator fun iterator(): Iterator<T>
// ……
}

我们可以使用库函数arrayOf()来创建一个数组并传递元素值给它,这样arrayOf(1, 2, 3)创建了array[1, 2, 3]。或者,库函数arrayOfNulls()可以创建一个制定大小的、所有元素都为空的数组。

另一个选项是用接受数组大小和一个函数参数的Array构造函数,用作参数的函数能够返回给定索引的每个元素初始值:

1
2
//创建一个 Array<Int> 初始值为[0,1,4,9]数组
val intArray = Array(4,{i -> i * i })

如上所述,[]运算符代表调用成员函数get()set()

注意:与Java不同的是,Kotlin中数组是不型变的(invariant),这意味着不能把Array<String> 赋值给 Array<Any>,以防止可能的运行时失败(但是你可以用Array<Out Any>

Kotlin 也有无装箱开销的专门的类来表示原生类型数组:ByteArayShortArrayIntArray 等等。这些类和Array并没有继承关系,但是它们有相同的方法属性集。它们也有相应的工厂方法:

1
2
val intArray1 = intArrayOf(1,1,1,1)
intArray1[0] = intArray1[1] + intArray1[2]

字符串

字符串用 String 类型来表示,字符串是不可变的,字符串的元素 – 字符 可以使用索引运算符访问:s[i],可以用for循环迭代字符串:

1
2
3
4
5
6
7
val str = "Kotlin and Java"
fun sortStr(){
for (s in str){
print(s)
}
}

字符串字面值

Kotlin 有两种类型的字符串字面值:转义字符串可以有转义字符,以及原生字符串可以包含换行和任意文本。转义字符串很像Java字符串:

1
val s = "Hello, world!\n"

转义采用传统的反斜杠方式。参见上面的 字符 查看支持的转义序列。
原生字符串 使用三个引号(“””)分解符括起来,内部没有转义并且可以包含换行和其他字符:

1
2
3
4
val text = """
for (c in "foo")
print(c)
"""

你可以通过 trimMargin() 函数去除前导空格:

1
2
3
4
5
6
val text = """
|Tell me and I forget.
|Teach me and I remember.
|Involve me and I learn.
|(Benjamin Franklin)
""".trimMargin()

默认使用|用作边界前缀,但你可以选择其他字符作为参数传入,例如trimMargin(“a”)。

字符串模板

字符串可以包含模板表达式,即一些小段代码,会求值并把结果合并到字符串中。模板表达式以美元符($)开头,由一个简单的名字构成:

1
2
val str = "Kotlin and Java"
val newStr = "i = $str"

或者使用花括号括起来的任意表达式:

1
2
val str = "Kotlin and Java"
val newStr = "$str.length is ${str.length}" //"Kotlin and Java.length is 15"

原生字符串和转义字符串内部都支持模板,如果你需要在原生字符串中表示字面值$字符(它不支持反斜杠转义),你可以用下列语法:

1
2
3
val price = """
${'$'}0.88
"""


本篇主要学习Kotlin基本类型,包括 数字、字符、布尔、数组字符串


个人博客地址:http://outofmemory.top/
CSDN地址:http://blog.csdn.net/dazhaoDai
GitHub地址:https://github.com/dazhaoDai


文章目录
  1. 1. Kotlin学习笔记系列教程
  2. 2. 数字
    1. 2.1. 字面常量
    2. 2.2. 表达方式
    3. 2.3. 显式转换
    4. 2.4. 运算
    5. 2.5. 浮点数比较
  3. 3. 字符
  4. 4. 布尔
  5. 5. 数组
  6. 6. 字符串
    1. 6.1. 字符串字面值
    2. 6.2. 字符串模板
|