KOTLIN开发语言文档(官方文档) -- 2.基本概念

网页链接:https://kotlinlang.org/docs/reference/basic-types.html

2.   基本概念

2.1.  基本类型

从可以在任何变量处理调用成员函数和属性角度来说,在Kotlin开发语言中,一切都是对象。有些类型是内嵌的,它们的实现进行过优化,用户看到的仍是原始类。在这节中,我们说明大部分这些类型:数字,字符,布尔和数组。

2.1.1.   数字

Kotlin开发语言处理数组的方法类似Java开发语言,但是也有差别。例如,没有隐含的数字扩宽的转换,并且在相同的情况下,文字也有些不同。

Kotlin开发语言提供下列内嵌类型表示数字(这是类似Java开发语言):

类型

位宽度

Double

64

Float

32

Long

64

Int

32

Short

16

Byte

8

 

 

 

 

 

 

 

 

 

 

注意,在Kotlin开发语言中,字符不属于数组。

2.1.1.1. 文字常数

对于整数值有下面几种文字常数:

—— 十进制数:123

—— 附加大写字母L标准长整数:123L

—— 十六进制数:0x0F

—— 二进制数:0b00001011

注意:不支持八进制数字。

Kotlin开发语言还支持通用的浮点数表示法:

—— 默认是双精度:123.5,123.5e10

—— 附加f或F表示单精度浮点数:123.5F

2.1.1.2. 表示法

在Java开发语言平台上,数字是作为JVM基本类型进行物理存在的,除非需要一个可null数字引用(如:Int?)或包含在泛型。后一种情况下,是将数字装箱的。

注意数字装箱不保持一致性:

1 val a: Int = 10000
2 print(a === a) // 打印 'true'
3 val boxedA: Int? = a
4 val anotherBoxedA: Int? = a
5 print(boxedA === anotherBoxedA) // !!!打印 'false'!!!

而另一方面,却保持相等:

1 val a: Int = 10000
2 print(a == a) // 打印 'true'
3 val boxedA: Int? = a
4 val anotherBoxedA: Int? = a
5 print(boxedA == anotherBoxedA) // 打印 'true'

2.1.1.3. 显式转换

由于不同的表示法,较小类型不是较大类型的子类型。如果是,就有下列麻烦了:

1 // 假设代码,没有实际编译:
2 val a: Int? = 1 // 装箱为Int (java.lang.Integer)
3 val b: Long? = a // 隐含转换装箱为Long (java.lang.Long)
4 print(a == b) // 令人惊讶! 当equals()检查其它部分不是Long,就打印"false"

所以不仅仅是一致性,而且即使相当也会在此默默丢失一部分。

这样,较小的类型不会隐含的转换为较大的类型。这就是说,如果没有进行明确的类型转换,Byte类型值是不能赋值给Int类型变量。

1 val b: Byte = 1 // OK, 静态文字检查
2 val i: Int = b // 错误

可以进行明确(显式)的数字宽度转换:

1 val i: Int = b.toInt() // OK: 显式宽度转换

每项数字类型支持下列转换:

toByte(): Byte

—toShort(): Short

—toInt(): Int

—toLong(): Long

—toFloat(): Float

—toDouble(): Double

—toChar(): Char

因为类型是从上下文推断,以及适当的转换重载了算术运算符,所以隐式转换缺位是很少引人注目的,例如:

1 val l = 1L + 3 // Long + Int => Long

2.1.1.4. 运算

Kotlin开发语言支持对数字标准的一套运算,它们被声明为相应类成员(但是,编译器优化调用的相应指令)。查看:运算符重载(5.6)。

作为位运算,对于它们没有特殊特性(字符),仅仅命名函数使其能以中缀方式被调用,如:

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

这是完整的位运算列表(仅仅对Int和Long类型有效):

— shl(bits) – signed shift left (Java’s <<)

— shr(bits) – signed shift right (Java’s >>)

— ushr(bits) – unsigned shift right (Java’s >>>)

— and(bits) – bitwise and

— or(bits) – bitwise or

— xor(bits) – bitwise xor

— inv() – bitwise inversion

2.1.2.   字符

char类型表示字符。它们不能直接作为数组处理:

1 fun check(c: Char) {
2   if (c == 1) { // ERROR: incompatible types
3     // ...
4   }
5 }

字符文字是在单引号中:’1’,’\n’,’\uFF00’。我们能够明确地转换字符到Int数字:

1 fun decimalDigitValue(c: Char): Int {
2   if (c !in '0'..'9')
3     throw IllegalArgumentException("Out of range")
4   return c.toInt() - '0'.toInt() // Explicit conversions to numbers
5 }

在需要可null引用时,像数字、字符是被装箱。装箱操作是不保证一致性的。

2.1.3.   布尔值

Boolean类型表示布尔值,它有两个值:true和false。

如果需要可null引用时,布尔值可以被装箱的。

布尔值的内置的运算包括:

— || – lazy分离 (注:这个“lazy”不知道怎样翻译好,就是 “或”为啥要这样?)

— && – lazy连接

— ! – 非

2.1.4.   数组

在Kotlin开发语言中,Array类表示数组,它有get和set函数(即通过操作符重载约定转成[]),有size属性,以及其他一些有用的成员函数:

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

可以用库函数arrayOf(),将数组各项的数值传递给它,来创建一个数组,如:arrayOf(1,2,3)创建数组[1,2,3]。或者,用arrayOfNulls()库函数创建一个指定尺寸(size)的数组,其元素均填充为null。

另一种选择是用工厂函数获得数组尺寸,并且返回指定索引位置的数组元素的初始值:

1 // Creates an Array<String> with values ["0", "1", "4", "9", "16"]
2 val asc = Array(5, { i -> (i * i).toString() })

如上所述,[]操作符表示调用成员函数get()和set()。

注意:与Java开发语言不同,在Kotlin开发语言中,数组是不变量。这意味着kotlin开发语言不允许赋值Array<String>到Array<Any>,这防止运行的可能的错误(但是,可以用Array<out Any>,查看:类型推测(3.7.2))。

Kotlin开发语言也有专用类表示原始类型的数组,不需要装箱消耗:ByteArray、ShortArray、IntArray等等。这些类与Array类没有继承关系,但是它们有相同的一组方法和属性。它们中的每一个都有相应的工厂函数:

1 val x: IntArray = intArrayOf(1, 2, 3)
2 x[0] = x[1] + x[2]

2.1.5.   串

String类型表示串。String是不可变的。串的元素是字符,可以用索引操作访问:s[i]。可以用for循环遍历一个串:

1 for (c in str) {
2   println(c)
3 }

2.1.5.1. 串文字

Kotlin开发语言有两种串文字类型:包含转义字符的转义串和包含任意字符和新行符的原始串。转义串非常像Java开发语言的串:

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

转义可以用习惯的方法(用\)实现。

原始串由三引号(”””)定界的,包含非转义字符、新行符,以及其它任意字符:

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

2.1.5.2. 串模板

串可以包含模板表达式,即:可计算的代码片段,其结果链接到串中。模板表达式以美元符号($)开始,和简单的名字构成:

1 val i = 10
2 val s = "i = $i" // 计算结果是 "i = 10"

或是在大括号中的任意表达式:

1 val s = "abc"
2 val str = "$s.length is ${s.length}" // 计算结果是 "abc.length is 3"

在原始串和转义串中,都支持模板。如果需要表达$字符文字,则可以用下列语法:

1 val price = "${'$'}9.99"

2.2.  包

一个源文件可以是从声明包开始的:

1 package foo.bar
2 
3 fun baz() {}
4 class Goo {}
5 // ...

源文件中的所有内容(如:类和函数)都包含在包的声明中。所以,在上面例子中,baz()的完整名称是foo.bar.baz,Goo的完整名称是foo.bar.Goo。

如果源文件中没有指明包,则这个文件中的内容属于没有名称的“默认”包。

2.2.1.   导入(import)

除默认的import外,每个文件都可以有自己的import伪指令。Import的句法在语法(6.2)中描述了。

我们既可以导入单个名称,如:

1 import foo.Bar // Bar is now accessible without qualification

也可以是范围内所有可访问的内容(包、类、对象等等):

1 import foo.* // everything in 'foo' becomes accessible

如果有命名冲突,可以在冲突项用as关键字重命名来消除:

1 import foo.Bar // Bar可以访问
2 import bar.Bar as bBar // bBar 表示 'bar.Bar'

import关键字不限制导入的类;也可以用途导入其它声明:

—— 顶层函数和属性;

—— 在对象声明(3.12.2)中声明的函数和属性;

—— 枚举常数(3.11);

不像Java开发语言,Kotlin开发语言没有独立的“import static”句法;所有这些声明都是用常规的import关键字来导入。

2.2.2.   顶层声明的可视范围

如果顶层声明标注private,它是它所在文件的私有的(查看:可视性修饰符(3.4))

2.3.  控制流

2.3.1.   if表达式

在Kotlin开发语言中,if是一个表达式,即:它返回一个值。由于在此规则下普通if运行的很好,因此没有三元运算符(?:else)。

 1 // 传统用法
 2 var max = a 
 3 if (a < b) 
 4   max = b 
 5  
 6 // 带else 
 7 var max: Int
 8 if (a > b) 
 9   max = a 
10 else 
11   max = b 
12  
13 // 作为表达式
14 val max = if (a > b) a else b

if分支可以是代码块,最后表达式是代码块的值:

1 val max = if (a > b) { 
2     print("Choose a") 
3     a 
4   } 
5   else { 
6     print("Choose b") 
7     b 
8   }

如果用if作为表达式,而不是语句(例如,返回它的值,或赋值给变量),表达式要求有else分支。

查看:if语法(6.2.3.4)

2.3.2.   when表达式

When替代了类似C开发语言的switch操作符。最简单形式如此:

1 when (x) {
2   1 -> print("x == 1")
3   2 -> print("x == 2")
4   else -> { // Note the block
5     print("x is neither 1 nor 2")
6   }
7 }

when将变量与其的所有分支顺序逐一匹配,直至找到条件相符的分支。when即可用作表达式,也可以用作语句,满足条件的分支值就是整个表达式的值。如果它用作语句,个别分支的值将被忽略。(就如同if,每个分支可以是一个代码块,代码块中最后的表达式值就是其值。)

else分支等价与没有其它分支满足条件。如果when用作一个表达式,且编译器无法验证分支条件覆盖了所有的可能情况,则强制性要求else分支。

如果多种情况都有相同的处理方法,也可以用逗号将分支条件组合起来:

1 when (x) {
2   0, 1 -> print("x == 0 or x == 1")
3   else -> print("otherwise")
4 }

可以用任意表达式(不仅仅是常数)作为分支条件:

1 when (x) {
2   parseInt(s) -> print("s encodes x")
3   else -> print("s does not encode x")
4 }

还可以用in或!in检查一个范围(5.2)或集合:

1 when (x) {
2   in 1..10 -> print("x is in the range")
3   in validNumbers -> print("x is valid")
4   !in 10..20 -> print("x is outside the range")
5   else -> print("none of the above")
6 }

另一种情况,可以用is或!is检查特别类型。注意,由于智能转换(5.4),不需要任何额外的检查就可以访问类型的方法和属性:

1 val hasPrefix = when(x) {
2   is String -> x.startsWith("prefix")
3   else -> false
4 }

when还可以用来替换if-else链。如果没有变量,分支条件就是简单的布尔表达式,且在when条件为true时,执行该分支:

1 when {
2   x.isOdd() -> print("x is odd")
3   x.isEven() -> print("x is even")
4   else -> print("x is funny")
5 }

查看:when语法(6.2.3.4.2.1)。

2.3.3.   for循环

for循环遍历提供的任何一个迭代器。句法如下:

1 for (item in collection)
2   print(item)

循环体可以是一个代码块。

1 for (item: Int in ints) {
2   // ...
3 }

如前所述,for循环遍历提供的任何一个迭代器,即:

—— 有成员iterator()或扩展函数iterator(),它返回类型:

 —— 有成员next()或扩展函数next(),和

 —— 有返回布尔类型的成员hasNext()或扩展函数hasNext()。

所有这三个函数是需要作为操作符的。

如果要利用索引遍历一个数组或列表,可以这样做:

1 for (i in array.indices)
2   print(array[i])

注意,这句“遍历一个范围”是由编译器优化实现的,不需要产生额外的对象。

或者,可以用withIndex库函数:

1 for ((index, value) in array.withIndex()) {
2     println("the element at $index is $value")
3 }

查看:for语法(6.2.3.3)。

2.3.4.   while循环

while和do…while都是如常规一样工作:

1 while (x > 0) {
2   x--
3 }
4 
5 do {
6   val y = retrieveData()
7 } while (y != null) // y is visible here!

查看:while语法(6.2.3.3)。

2.3.5.   循环的中断和继续

Kotlin开发语言支持循环中的传统break和continue操作符。查看:返回和跳转(2.4)。

2.4.  返回和跳转

Kotlin开发语言有三种结构化的跳转操作符:

—— return。默认情况下,由最近的函数返回,或匿名函数的返回。

—— break。终止最近一层循环。

—— continue。继续最近一层循环的下一步。

2.4.1.   中断和继续标签

在Kotlin开发语言中,任何表达式都可以带标签。标签的格式是在标识符后跟@来表示,如:abc@,fooBar@都是合法的标签(查看:语法(6.2))。为了标记表达式,只需要在其前面加上标签即可:

1 loop@ for (i in 1..100) {
2   // ...
3 }

现在,就可以break或continue到标签了:

1 loop@ for (i in 1..100) {
2   for (j in 1..100) {
3     if (...)
4       break@loop
5   }
6 }

带有标签的break跳转到标记loop之后的执行点。Continue继续进行标记loop的下一步。

2.4.2.   在标签处返回

Kotlin开发语言在函数体、局部函数和对象表达式中,允许函数嵌套。Return允许我们有外部函数返回。最重要的用例是由Lambda表达式返回。我们这样编写回调:

1 fun foo() {
2   ints.forEach {
3     if (it == 0) return
4     print(it)
5   }
6 }

返回表达式是由最近函数返回,即:foo。(注意:这样对Lambda表达式仅支持非局部返回到内嵌函数(4.1.5)。)如果要从Lambda表达式返回,就需要标记它限制返回:

1 fun foo() {
2   ints.forEach lit@ {
3     if (it == 0) return@lit
4     print(it)
5   }
6 }

现在,就仅从Lambda表达式返回。通常,最方便的是用隐含标签:这样标签与传递给Lambda表达式的函数同名。

1 fun foo() {
2   ints.forEach {
3     if (it == 0) return@forEach
4     print(it)
5   }
6 }

或者,可以用匿名函数(4.2.3.3)替代Lambda表达式。在匿名函数中的return语句是从匿名函数自身返回。

1 fun foo() {
2   ints.forEach(fun(value: Int) {
3     if (value == 0) return
4     print(value)
5   })
6 }

当返回一个值是,解析器优先给出恰当的返回,如:

1 return@a 1

就是“在标签@a处返回1”而不是“返回标签表达式(@a 1)”。

 

posted @ 2016-01-18 23:34  figozhg  阅读(2561)  评论(0编辑  收藏  举报