Kotlin-Anko学习(2) Kotlin语法基础-基本类型

本系列文章来学习 Kotlin 和 Anko 插件通过 Kotlin 开发一个 Android 项目。
Kotlin-Anko学习(1) Kotlin、Anko 介绍
 Kotlin-Anko学习(2) Kotlin 语法基础-基本类型
 Kotlin-Anko学习(3) Kotlin 语法基础-关键字 package、Import、if、when、for、while、return、break、continue
Kotlin-Anko学习(4) Kotlin语法-类、继承、抽象类
 Kotlin-Anko学习(5) Kotlin语法-属性、字段、接口

Kotlin官方资讯

2017年11月28日 KotlinConf 大会宣布了 Kotlin 1.2 RC 版，并宣布 Kotlin/Native 已支持用于开发 iOS 应用和 Web 应用开发。新特性如下

Kotlin语法

Kotlin 语法的学习仅围绕着 Android 展开，本来不打算写基础语法的，自己学习后感觉脑袋还是萌萌哒，所以决定记录一篇自己学习笔记，方便后续查阅，推荐直接通过官网学习，官方中文网和官方英文版结合学习，有些翻译过来的不好理解，还是直接看英文文档比较好，并可以提高自己阅读英语的能力，在语法学习阶段我采用Kotlin网页版编译工练习。不足之处请多多留言指正，相互学习。

Kotlin 基本类型

kotlin中一切皆对象，Kotlin中的基本类型分为：数字、字符、布尔值、数组、字符串。

1. 数字：Kotlin内置了6种类型表示数字

数字类型：Double|64位、Float|32位、Long|64位、Int|32位、Short|16位、Byte|8位。（字符不是数字）
字面常量：十进制：123 123L(Long类型)、十六进制：0x0F、二进制： 0b00001011。(不支持8进制)
支持数字字面值中的下划线：如

>  val oneMillion = 1_000_000
>  val creditCardNumber = 1234_5678_9012_3456L
>  val socialSecurityNumber = 999_99_9999L
>  val hexBytes = 0xFF_EC_DE_5E
>  val bytes = 0b11010010_01101001_10010100_10010010

表示方式：数字的物理存储为 JVM 的原生类型，但可空的引用（ Int?）或泛型会将数字装箱，如图：

数字装箱

这里数字装箱有两个特征：不必保持同一性，保留了相等性。
显式转换：不支持较小的数据转换为较大的数据（隐式），可以通过显式转换如：val i: Int = b.toInt() // OK: 显式拓宽，但特殊情况也有：算术运算有重载做适当的转换，根据上下文推断如：val l = 1L + 3 // Long + Int => Long。每个数字类型都支持如下的显式转换：

>  toByte(): Byte
>  toShort(): Short
>  toInt(): Int
>  toLong(): Long
>  toFloat(): Float
>  toDouble(): Double
>  toChar(): Char

运算：Kotlin支持数字运算的标准集，完整的位运算（只用于 Int 和 Long）如下：

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

浮点数比较：静态已知的 Float 或 Double 或者它们对应的可空类型（声明为该类型，或者推断为该类型，或者智能类型转换的结果是该类型），两数字所形成的操作或者区间遵循 IEEE 754 浮点运算标准。如下：

>  相等性检测：a == b 与 a != b
>  比较操作符：a < b、 a > b、 a <= b、 a >= b
>  区间实例以及区间检测：a..b、 x in a..b、 x !in a..b
>  BUT：为了支持泛型场景并提供全序支持，当这些操作符并非静态类型为浮点数（例如是 Any、 Comparable<……>、 类型参数）时，这些操作使用为 Float 与 Double 实现的不符合标准的 equals 与 compareTo，这会出现：
>  认为 NaN 与其自身相等
>  认为 NaN 比包括正无穷大（POSITIVE_INFINITY）在内的任何其他元素都大
>  认为 -0.0 小于 0.0

2. 字符：Kotlin 字符用 Char 类型表示不能直接转数字（c: Char ==1类型不同不能比较通过单引号引用 c: Char == '1'）

特殊字符：\t、 \b、\n、\r、'、"、\ 和 $ 通过 \ 进行转义
其他字符通过Unicode 转义序列语法：'\uFF00'
支持显式转换Int数字：'1'.toInt()
通过空引用，字符会被装箱，不会保留统一性

3. 布尔值：布尔用 Boolean 类型表示，它有两个值：true 和 false。

内置的布尔运算如下：

>  || – 短路逻辑或
>  && – 短路逻辑与
>  ! - 逻辑非

需要可空引用布尔会被装箱

4. 数组：Kotlin 中数组用 Array 类来表示

定义了 get 和 set 函数（按照运算符重载约定这会转变为 []）和 size 属性源码：

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>
    // ……
}

数组定义的三种方式如下：

数组的定义.png

分别是：

>  使用接受数组大小和一个函数参数的 Array 构造函数
>  使用库函数 arrayOf() 来创建一个数组并传递元素值给它
>  使用库函数 arrayOfNulls() 可以用于创建一个指定大小的、所有元素都为空的数组

注意：与 Java 不同的是，Kotlin 中数组是不型变的（invariant）。这意味着 Kotlin 不让我们把 Array<String> 赋值给 Array<Any>，以防止可能的运行时失败，Kotlin 也有无装箱开销的专门的类来表示原生类型数组: ByteArray、 ShortArray、IntArray 等等。这些类和 Array 并没有继承关系，但是它们有同样的方法属性集。它们也都有相应的工厂方法。

5. 字符串：字符串用 String 类型表示

字符串是不可变的。字符串的元素——字符可以使用索引运算符访问: s[i] 如下：

//for 循环迭代字符串
for (c in str) {
    println(c)
}

字符串字面值如下代码：

fun main(args: Array<String>) {
    //① 转义字符串可以有转义字符，以及原生字符串可以包含换行和任意文本
    val s = "Hello, world!\n"
    print(s)
    print('\n')
    //② 原生字符串 使用三个引号（"""）分界符括起来，内部没有转义并且可以包含换行和任何其他字符
    val text = """
    for (c in "foo")
    print(c)"""
    print(text)
    print('\n')
    //与③进行对比
    val text1 = """
    |Tell me and I forget.
    |Teach me and I remember.
    """
    print(text1)
    print('\n')
    print('\n')
    //③ 你可以通过 trimMargin() 函数去除前导空格
    val text2 = """
    |Involve me and I learn.
    |(Benjamin Franklin)   
    """.trimMargin()
    print(text2)
    print('\n')
    print('\n')
   // ④ 默认 | 用作边界前缀，但你可以选择其他字符并作为参数传入，比如 trimMargin(">")。
    val text3 = """
    >Tell me and I forget.
    >Teach me and I remember. 
    """.trimMargin(">")
    print(text3)
  
}

运行结果：

字符串的4个特点运行结果

字符串模板：模板表达式以美元符（$）开头用于加入表达式如下：

$符号的使用