Kotlin for Java Developers 学习笔记

Kotlin for Java Developers 学习笔记

Coursera 课程 Kotlin for Java Developers(由 JetBrains 提供)的学习笔记

From Java to Kotlin

Java 和 Kotlin 代码可以相互转化

public class Person {
    private final String name;
    private final int age;
    
    public Person(String name, int age) {
        this.name = name;
        this.age = age;
    }
    
    public String getName() {
        return name;
    }
    
    public int getAge() {
        return age;
    }
}
class Person(val name: String, val age: Int)

Kotlin 被编译为 Java 字节码,所以从 Java 代码的层面看,这两者是一样的,都有一个 Constructor 和两个 Getter

也可以加上 data 修饰符,表示自动生成 equalshashCodetoString 这三个函数

data class Person(val name: String, val age: Int)

多个变量可以以 Pair 的形式赋值

val (description: String, color: Color) = Pair("hot", RED)

如果数据的类型在上下文中可以很明确地被推导出来,那么可以不用声明变量的类型

val (description: String, color: Color)
val (description, color)

多于 2 个 if … else … 时可以使用 when 关键字,类似于 switch,但又有细微区别

val (description, color) = when {
    degrees < 10 -> Pair("cold", BLUE)
    degrees < 25 -> Pair("mild", ORANGE)
    else -> Pair("hot", RED)
}

基本语法

Kotlin 的代码也是从 main 函数开始

package intro
fun main() {
    val name = "Kotlin"
    println("Hello, $name!")
}

从 Kotlin 1.3 开始

fun main(args: Array)

可以只写

fun main()

变量、常量与字符串模板

字符串模板 $variable${args.getOrNull(0)}

“变量”分为 valvarval 是只读的

Kotlin 是静态类型的语言,每一个变量都会有自己的类型,但是我们可以在代码中省略基本类型,编译器会自动推断

var s = "abc" // var s: String = "abc"
var v = 123 // var v: Int = 123

我们不能给一个类型的变量赋值另一个类型的数据,例如:字符串常量赋值给一个 Int 类型的变量 string,这是一个编译时错误

var string = 1
string = "abc" // NOT ALLOWED是不允许的,我们不能把

val 不对数据做任何强加的限制,仍然可以改变其引用的数据,例如通过 list.add() 去修改一个被 val 修饰的列表,只要这个列表本身是允许被修改的

val list = mutableListOf("Java") // list.add() 可以往 List 中加东西
val list = listOf("Java") // list.add() 是不存在的

函数

fun max(a: Int, b: Int): Int {
    return if (a > b) a else b
}

如果只有一句话(function wilth expression body),可以写成

fun max(a: Int, b: Int) = if (a > b) a else b

void 类型的函数在 Kotlin 中会以 Unit 的形式返回

Kotlin 的函数可以定义在任何地方:顶层、类的成员、函数中定义另一个函数

调用顶层函数相当于 Java 中的 static 函数

// MyFile.kt
package intro
fun foo() = 0
//UsingFoo.java
package other;
import intro.MyFileKt;
public class UsingFoo {
    public static void main(String[] args) {
        MyFileKt.foo();
    }
}

为变量提供默认值,不再需要重载各种函数

fun displaySeparatpr(character: Char = '*', size: Int = 10) {
    repeat(size) {
        print(character)
    }
}

displaySeparator() // **********
displaySeparator(size = 5) // *****
displaySeparator(3, '5') // WON'T COMPILE
displaySeparator(size = 3, character = '5') // 555

分支

在 Kotlin 中,if 是表达式

val max = if (a > b) a else b

没有三元表达式

(a > b) ? a : b

注意与 Python 的区别

max = a if a > b else b

在 Kotlin 中,when 可以当作 switch 使用,不需要 break

switch (color) {
    case BLUE:
        System.out.println("cold")
        break;
    case ORANGE:
        System.out.println("mild")
        break;
    default:
        System.out.println("hot")
}
when (color) {
    BLUE -> println("cold")
    ORANGE -> println("mild")
    else -> println("hot")
}

可以使用任何类型,可以用来判断多个条件

fun response(input: String) = when (input) {
    "y", "yes" -> "Agree"
    "n", "no" -> "Sorry"
    else -> "Not Understand"
}

可以做类型检查

if (pet instanceof Cat) {
    ((Cat) pet).meow();
} else if (pet instanceof Dog) {
    Dog dog = (Dog) pet;
    dog.woof();
}
when (pet) {
    is Cat -> pet.meow()
    is Dog -> pet.woof()
}

可以不需要参数

fun updateWeather(degrees: Int) {
    val (desc, color) = when {
        degrees < 5 -> "cold" to BLUE
        degrees < 23 -> "mild" to ORANGE
        else -> "hot" to RED
    }
}

循环

val map = mapOf(1 to "one", 2 to "two", 3 to "three")
for ((key, value) in map) {
    println("$key = $value")
}
val list = listOf("a", "b", "c")
for ((index, element) in list.withIndex()) {
    println("$index: $element")
}
for (i in 1..9) // 1 2 3 4 5 6 7 8 9

for (i in 1 until 9) // 1 2 3 4 5 6 7 8
for (ch in "abc")
for (i in 9 downTo 1 step 2) // 9 7 5 3 1

拓展函数

fun String.lastChar() = get(length - 1)
val c: Char = "abc".lastChar()

也可以直接在 Java 中使用 Kotlin 中定义的拓展函数

import lastChar from ExtensionFunctions.kt;
char c = lastChar("abc");

常用的有 withIndexgetOrNulljoinToStringuntiltoeqtoInt 等等

val set = hashSetOf(1, 7, 53)
println(set.javaClass) // class java.util.HashSet
fun main(args: Array) {
    println("Hello, ${args.getOrNull(0)}!")
}
val regex = """\d{2}\.\d{2}\.\d{4}""".toRegex()
regex.matches("15.02.2016") // true
regex.matches("15.02.16") // false

特别的,untilto 这种,本身是需要通过 .() 调用的

1.until(10)
"Answer".to(42)

但是因为原型声明的时候允许 infix

infix fun Int.until(to: Int) = IntRange
infix fun  A.to(that: B) = pair(this, that)

所以可以省略 .()

1 until 10
"Answer" to 42

成员函数比拓展函数的优先级高,例如下例会输出 1,并得到一个警告,说 entension is shadowed by a member

class A {
    fun foo() = 1
}

fun A.foo() = 2 // Warning: Extension is shadowed by a member

A().foo() // 1

但是我们可以重载一个拓展函数

class A {
    fun foo() = "member"
}

fun A.foo(i: Int) = "extension($i)"

A().foo(2) // extension(2)

标准库

Kotlin 的标准库包括 Java 标准库和一些常用的拓展函数

没有所谓的 Kotlin SDK,只有 Java 的 JDK 和一些 extensions

Nullability

现代的编程语言应该把 Null Pointer Exception 变成编译时错误,而不是运行时错误

val s1: String = "always not null" // 不可以 = null
val s2: String? = null // 或者 = "a string"

对于一个可能为 null 的变量,我们应该始终用 if 语句检查

if (s != null) {
    s.length
}

在 Kotlin 中。可以使用 ? 来简化访问,如果对象为 null,则运行结果为 null,返回类型是 nullable 的基本类型

val length: Int? = s?.length

如果只想要基本类型,可以使用 elvis 运算符( elvis 来自 Groove)

val length: Int = s?.length ?: 0

可以使用 !! 强制抛出 NPE

elvis 的优先级比加减法低

val x: Int? = 1
val y: Int = 2
val z1 = x ?: 0 + y // 1
val z2 = x ?: (0 + y) // 1
val z3 = (x ?: 0) + y // 3

? 的位置不同会决定具体什么东西不可以为 null:ListList?

Kotlin 中使用 as 进行类型转换,同样可以对 as 进行 ? 修饰

if (any is String) {
    any.toUpperCase()
}

(any as? String)?.toUpperCase()

函数式编程

Lambda

与匿名类类似,在现代语言(例如 Kotlin)和 Java 8 中,都支持了 Lambda 使得语法更简单

Kotlin 中的 Lambda 用 {} 包围,为了与正则表达式区分,Lambda 的 {} 常加粗

list.any({i: Int -> i > 0})
  • 当 Lambda 是括号中最后一个参数时,我们可以把 Lambda 从括号中移出

  • 当括号为空时,可以省略空括号

  • 当类型可以被推断时,可以省略类型

  • 当只有一个参数时,可以只用 it 而无需声明参数

于是可以简化为

list.any { it > 0 }

多行的 Lambda 的最后一个表达式为 Lambda 结果

list.any {
    println("processing $it")
    it > 0
}

可以使用解构声明简化 Lambda 表达式

对于没有使用的参数,可以用 _ 替代

map.mapValues {entry -> "${entry.key} -> ${entry.value}!" }
map.mapValues {(key, value) -> "${key} -> ${value}!" }
map.mapValues {(_, value) -> "${value}!" }

常用的集合操作

  • filter 只保留满足谓词条件的元素
  • map 将每一个元素按指定规则变换
  • any 判断列表中是否有满足谓词条件的元素
  • all 判断列表中是否所有元素都满足谓词条件
  • find 找第一个满足谓词条件的元素,如果不存在则为 null,等价于将谓词条件作为参数的 first 或者 firstOrNull
  • count 计算列表中满足谓词条件的元素个数
  • partition 按是否满足谓词条件,将列表分裂为 2 个列表
  • groupBy 按照指定字段将元素分类为若干个列表(例如按照 it.age 分类)
  • associatedBy 会将重复字段删除
  • zip 将 2 个列表合并为一个列表,其中每一个元素分别由两个列表各自对应位置元素组合,如果列表长度不同,则合并后的元素个数是较短列表的长度,其余部分将被忽略
  • flatten 将嵌套的列表展开
  • flatMap 是 map 和 flatten 的组合
  • distinct 保留列表中互不相同的元素
  • maxBy 查找列表中给定字段最大的元素,如果列表为空则返回 null

组合这些操作,我们可以很容易进行复杂的运算,例如找年龄的众数

val mapByAge: Map> = heros.groupBy {it.age }
val (age, group) = mapByAge.maxBy { (_, group) -> group.size }!!
println(age) // 找众数

函数类型

Lambda 表达式是有函数类型的

val isEven: (Int) -> Boolean = { i: Int -> i % 2 == 0 }
val result: Boolean = isEven(2) // true

对于没有参数的函数,使用 () 调用看起来很奇怪,所以经常使用 run

{ println("hey!") }() // possible, but looks strange
run { println("hey!") }

() -> Int? 表示返回值可以为 null,而 (() -> Int)? 表示表达式可以为 null

成员引用

可以往变量中存储 Lambda 表达式,但是不可以存储一个函数,在 Kotlin 中,函数和 Lambda 是两回事,如果一定要把函数保存到变量中,可以使用函数引用

val isEven: (Int) -> Boolean = { i % 2 == 0 } // OK

fun isEven(i: Int): Boolean = i % 2 == 0
val predicate = isEven // COMPILE ERROR

fun isEven(i: Int): Boolean = i % 2 == 0
val predicate = ::isEven // OK
list.any(::isEven) // OK

可以将函数绑定到特定的实例,也可以不绑定

class Person(val name: String, val age: Int) {
    fun isOlder(ageLimit: Int) = age > ageLimit
}
val alice = Person("alice", 29)

val agePredicate = alice::isOlder
agePredicate(21) // true

val agePredicate: (Person, Int) -> Boolean = { person, ageLimit -> person.isOlder(ageLimit) }
agePredicate(alice, 21) // true

下面这个例子是 Bound Reference,Person 被存储在了实例的内部,所以函数类型是 (Int) -> Boolean 而不是 (Person, Int) -> Boolean

class Person(val name: String, val age: Int) {
    fun isOlder(ageLimit: Int) = age > ageLimit
    fun getAgePredicate() = ::isOlder // this::isOlder
}

函数返回值

return 只会返回到函数 fun,而不会到返回 Lambda

fun containsZero(list: List): Boolean {
    list.forEach {
        if (it == 0) return true
    }
    return false
}
// 这个 forEach 接受了一个 Lambda 表达式,但是 return 是返回到 fun containsZero 的

fun duplicateNonZero(list: List): List {
    return list.flatMap {
        if (it == 0) return listOf()
        listOf(it, it)
    }
}
duplicateNonZero(listOf(3, 0, 5)) // 输出 []
// 因为 return 只会返回到 fun duplicateNonZero,而不是先返回给 flatMap 接受的 Lambda 再经由 flatMap 返回

为了避免这种情况,我们应该避免使用 return 语句,利用 Lambda 将最后一行作为返回值的特性来实现 Lambda 中的返回

fun duplicateNonZero(list: List): List {
    return list.flatMap {
        if (it == 0) {
            listOf()
        } else {
            listOf(it, it)
        }
    }
}

如果确实需要将结果返回到 Lambda,可以使用 return@ 返回到指定的标签

list.flatMap {
    if (it == 0) return@flatMap listOf()
    listOf(it, it)
}

list.flatMap l@ { // 自定义标签 l
    if (it == 0) return@l listOf()
    listOf(it, it)
}

另外的解决方案是使用本地函数或者匿名函数

fun duplicateNonZeroLocalFunction(list: List): List {
    fun duplicateNonZeroElement(e: Int): List {
        if (e == 0) return listOf()
        return listOf(e, e)
    }
    return list.flatMap(::duplicateNonZeroElement)
}

fun duplicateNonZero(list: List): List {
    return list.flatMap(fun (e): List {
        if (e == 0) return listOf()
        return listOf(e, e)
    })
}

forEach 中的 return 不会像 break 一样响应

fun foo(list: List) {
    list.forEach {
        if (it == 0) return
        print(it)
    }
    print("##") // 如果 list 包含 0,则不会输出 ##
}

fun bar(list: List) {
    for (element in list) {
        if (element == 0) break
        print(element)
    }
    print("##") // 始终会输出 ##
}

属性

属性和域成员变量

在 Kotlin 中,依然保持了 Java 中属性的概念,但是不再需要显式地声明 getter 和 setter

  • property = field + accessor
  • val = field + getter
  • var = filed + getter + setter

例如在 Kotlin 的这段代码中,如果将它转化为 Java 代码,则隐含了 3 个 accessor

class Person (val name: String, var age: Int)

// String getName()
// int getAge()
// void setAge(int newAge)

对属性的访问

下面这段代码中,“Calculati……” 会输出 3 次

对于 foo1 来说:

  • 代码中使用了 run,所以运行了 Lambda 并且把最后一行的表达式作为了结果,因此 foo1 获得了值 42,并在这个过程中输出了 “Calculating……” 的信息

  • Lambda 表达式的值只在赋值时被计算一次,之后就会使用 property 的值,所以 “Calculating……” 只会输出 1 次

对于 foo2 来说:

  • 我们写了一个自定义的 getter,所以当访问 foo2 时,会访问自定义的 getter,因此输出 2 次 “Calculating……”
val foo1 = run {
  println("Calculating the answer...")
  42
}

val foo2: Int 
  get() {
    println("Calculating the answer...")
    return 42 
  }

fun main(args: Array) { 
  println("$foo1 $foo1 $foo2 $foo2")
}
class StateLogger {
  var state = false
  set(value) {
      println("state has changed: $field -> $value")
      field = value
  }
}

StateLogger.state = true // state has changed: false -> true

在 accessor(getter 和 setter)中,我们可以使用 field 来访问域成员变量,但是也仅能在 accessor 中通过这种方式来访问

如果重新定义了 accessor 但是没有使用 field,编译器会忽略并且不会生成对应的 accessor

如果没有为属性定义 accessor,那么会有默认的 getter 和 setter

在类的内部,className.valueNale 的代码将由编译器决定是否对齐进行优化,如果访问非常简单,那么编译器会替换为直接访问这个变量本身,注意这样的优化对于类外部的访问来说是不安全的,所以在类的外部,className.valueNale 会调用对应的 getter 作为字节码,而不是直接访问这个变量本身

使用 private set 来将一个成员变量设置为仅允许从内部被修改,而不会被外部的访问所修改

interface User {
  val nickname: String
}

class FacebookUser(val accountId: Int) : User { 
  override val nickname = getFacebookName(accountId)
}

class SubscribingUser(val email: String) : User { 
  override val nickname: String
    get() = email.substringBefore('@')
}

FacebookUser.nickname 会把值存在 filed 中,而 SubscribingUser.nickname 用的是一个自定义的 getter,所以每一次都会访问计算

接口中的属性

接口中的属性不是 final 的,它们可以被子类修改

如果任意一个子类中有自定义的 getter,那么不可以使用智能类型转换(即 if (session.user is FacebookUser) 会被编译器报错),因为自定义的 getter 可能每一次返回的是不同的值

可以通过引入一个本地变量来使用智能类型转换

fun analyzeUserSession(session: Session) {
    if (session.user is FacebookUser) { // 这里判断的时候得到了一个值
        println(session.user.accountId) // 下一次 getter 得到的未必是同一个
    }
}
// Compiler error: Smart cast to 'FacebookUser' is impossible, because 'session.user' is a property that has open or custom getter

fun analyzeUserSession(session: Session) {
    val user = session.user // 只会在这里有一次 getter
    if (user is FacebookUser) {
        println(user.accountId)
    }
}
// OK

同样的,可变数据类型(mutable variables)也不可以使用智能类型转换

属性拓展

可以拓展已有的属性

val String.lastIndex: Int
    get() = this.length - 1
val String.indices: IntRange
    get() = 0..lastIndex

拓展属性和拓展函数很类似,没有任何奇妙的优化,所以下面这段代码依然会输出 2 次 “Calculating……”

val String.medianChar 
  get(): Char? {
    println("Calculating...")
    return getOrNull(length / 2) 
  }

fun main(args: Array) { 
  val s = "abc"
  println(s.medianChar) 
  println(s.medianChar)
}

延迟初始化

Lazy Initialization 或者叫 Late Initialization,以只在第一次被用到的时候才会计算

val lazyValue: String by lazy {
    println("Computed")
    "Hello"
}

fun main(args: Array) {
    println(lazyValue)
    println(lazyValue)
}
// 只在声明的时候计算(输出)1 次 "Computed",main 函数中的访问直接用的 property

fun main(args: Array) {
    // no lazyValue usage
}
// 但是因为初始化是 lazy 的,所以只在第一次被用到的时候才会计算,于是不会输出 "Computed"

如果对于一个类的成员,我们在构造函数中没有办法知道它的初始值,那么只能将它初始化成了 null,之后就需要使用 myData?.foo 的形式来访问

但是如果我们能确保在初始化完成后这个成员不可能再是 null,例如我们在 onCreate 函数中(或者别的手段)对其进行了初始化,处理 null 就会显得冗余

就可以使用 lateinit 对其修饰,这样这个类型就不再需要是 nullable 的了

lateinit myData: MyData
// ...
myData.foo

如果因为某些原因,这个成员没有被正确初始化,我们会得到一个运行时错误,但是这个错误不会显示 NullPointerException,而是 UninitializedPropertyAccessException

注意 lateinit 修饰的只能是 var而不可以是 val,其类型不能是基本类型也不能是一个 nullable

可以个 .isInitialized 来判断一个延迟初始化的变量有没有被初始化

面向对象编程

访问级别

  • Kotlin 中默认级别是 public 和 final 的,如果需要不是 final 的需要显式说明 open
  • Java 中的默认级别是 package-level,同一个包内其他类可见,这个在 Kotlin 中叫做 internal
  • override 在 Kotlin 中是强制的,避免意外 override
  • protected 在 Java 中仍然对同一个包内的其他类可见,在 Kotlin 中只对子类可见
  • private 针对类来说就是私有类,对于 top-level declaration 是对同一个文件中的其他部分可见
  • internal 在 JVM 的层面 public + name mangled
  • Java 中每一个类需要是单独的类,而 Kotlin 中可以把多个类放在一个文件里
  • Kotlin 中的包名称不必遵循 org.company.store 的形式,但仍做如此推荐

构造器

Kotlin 中不需要使用 new,直接像访问函数一样就可以构造一个对象

class A
val a = A()

如果构造器足够简单,不需要像 Java 一样显式地写清楚 this.val = val 这样的构造器,Kotlin 会自动赋值

// Kotlin
class Person(val name: String, val age: Int)

// Java
class Person(String name, int age) {
    this.name = name;
    this.age = age;
}

如果需要更复杂的构造器,可以使用 init

class Person(name: String) {
    val name: String // property declaration
    
    init {
        this.name = name
        // do something else
    }
}

注意,只有加上 var 或者 val 才会自动赋值作为域成员,否则就只是普通的构造器的参数

可以修改构造器的访问级别

可以声明二级构造器,例如在矩形的类中声明一个二级的构造器(正方形),当接收一个参数(边长)时,由正方形调用 this(side, side)

class Rectangle(val height: Int, val width: Int) {
    constructor(side: Int): this(side, side) {
        // ...
    }
}

子类的构造器会先调用父类的构造器

open class Parent {
  init { print("parent ") } 
}

class Child : Parent() {
  init { print("child ") } 
}

fun main(args: Array) {
  Child() 
}

// parent child
open class Parent {
    open val foo = 1
    init {
        println(foo)
    }
}

class Child: Parent() {
    override val foo = 2
}

fun main() {
    Child()
}

// 0

这段代码会输出 0

override 一个 property 其实是 override 了它的 getter,而不是 filed

父类(应该)拥有 foo,初始化为 1,并且有一个平凡的 getter,叫做 getFoo(),这个 getter 返回了(父类的) foo

子类(应该)拥有 foo,初始化为 2,并且有一个平凡的 getter,叫做 getFoo(),这个 getter 返回了(子类的) foo,注意这个 getter 会 override 父类的 getter

当新建一个子类的时候,首先调用了父类的构造器,父类的 foo 为 1,并且拥有一个返回了(父类的)foo 的 getter,然后调用 init,在 init 中,会调用 getFoo,由于这是一个子类,那么根据多态,应该调用子类的 getFoo,子类的 getFoo 会返回(子类的)foo 值,而此时子类还没有完成初始化,所以 foo 值为 0

因此,上面这段代码在 Java 中相当于

public class A {
    private final String value;
    
    public A(String value) {
        this.value = value;
        getValue().length(); // call value_B.length() -> call null.length()
    }
    
    public String getValue() {
        retrun value;
    }
}

public class B extends A {
    private final String value; // mark it as value_B
    
    public B(String value) {
        super(value);
        this.value = value; // mark it as value_B
    }
    
    @Override
    public String getValue() {
        retrun value; // mark it as value_B
    }
}

类修饰符

enum 是一个类修饰符,而不是一个特殊的关键字

enum class Color {
    BLUE, ORANGE, RED
}

Color.BLUE

import mypackage.Color.*
BLUE
enum class Color(val r: Int, val g: Int, val b: Int) {
    BLUE(0, 0, 255), ORANGE(255, 165, 0), RED(255, 0, 0);
    fun rgb() = (r * 256 + g) * 256 + b
}

BLUE.r
BLUE.rgb()

dataequalscopyhashCodetoString 等方法

data class Contact(val name: String, val address: String)
contact.copy(address = "new address")

在 Kotlin 中,== 默认比较它们的 equals,而 === 比较它们是不是同一个引用

在 Java 中,== 比较是否是同一个引用,需要使用 equals 来比较它们

class Foo(val first: Int, val second: Int)
data class Bar(val first: Int, val second: Int)

val f1 = Foo(1, 2) 
val f2 = Foo(1, 2) 
println(f1 == f2) // false

val b1 = Bar(1, 2) 
val b2 = Bar(1, 2) 
println(b1 == b2) // true

默认的实现都是比较引用的 equals,但是当类使用 data 修饰时,会自动实现一个比较域成员的 equals,于是就会得到 true

Kotlin 只会使用主构造器中的属性来实现 equals,不会使用类在其他部分定义的变量

当明确知道自己的类考虑了所有考虑的情况时,可以用 sealed 来避免冗余的代码,注意这个是类修饰符,不能用于接口

interface Expr
class Num(val value: Int): Expr
class Sum(val left: Expr, val: Right: Expr): Expr
fun eval(e: Expr): Int = when (e) {
    is Num -> e.value
    is Sum -> eval(e.left) + eval(e.right)
    else -> throw IllegalArgumentException("Unknown expression") // 要加上这句话,否则无法通过编译:when 必须完备
}

sealed class Expr
class Num(val value: Int): Expr
class Sum(val left: Expr, val: Right: Expr): Expr
fun eval(e: Expr): Int = when (e) {
    is Num -> e.value
    is Sum -> eval(e.left) + eval(e.right)
    // OK
}

在 Java 中,如果只写 class A,则作为一个内部类,会默认保存外部类的一个引用,而在 Kotlin 中, class A这种写法默认不会产生这样的引用,即相当于 Java 中的 static class A

如果需要这样一个对外部类的引用,可以使用 inner class A,并通过 @ 标签访问

class A {
    class B
    inner class C {
        this@A
    }
}

类委托可以委托一个类来实现一个接口

interface Repository {
    fun getById(id: Int): Customer
    fun getAll(): List
}
interface Logger {
    fun logAll()
}
// 原本的写法
class Controller(
    repository: Repository,
    logger: Logger
): Repository, Logger {
    override fun getById(id: Int) = repository.getById(id)
    override fun getAll(): List = repository.getAll()
    override fun logAll() = logger.logAll()
}
// Class Delegation
class Controller(
    repository: Repository,
    logger: Logger
): Repository by repository, Logger by logger

fun use(controller: Controller) {
    controller.logAll()
}

对象

对象在 Kotlin 中,对象是单例的

object KSingleton {
    fun foo() {}
}

KSingleton.foo()

对象表达式代替了 Java 中的匿名类(如果只有简单的方法,可以直接使用 Lambda 表达式,如果需要多个方法,那可以使用对象表达式)

对象表达式不是单例的,每一次调用都会新建新的实例,因为有可能会需要使用外部的类传递进来的参数,使用每一次都要实例化

Kotlin 中没有 static 的方法,companion object 可以作为它的替代

Java 中的 static 方法不能重写接口的方法,在 Kotlin 中,companion object 可以重写接口的方法

class C {
  companion object {
    @JvmStatic fun foo() {}
    fun bar() {} 
  }
}

// Java
C.foo();           // OK
C.bar();           // NO,因为试图将其作为 static 方法来调用
C.Companion.foo(); // OK
C.Companion.bar(); // OK

inner 只能修饰类,不能修饰对象,因为 object 是单例

可以把 object 放在 class 内部作为嵌套

常量

const 用来定义基本类型或者 string,这个常量会在编译时被替换掉

const cal answer = 42

泛型

interface List {
    fun get(index: Int): E
}

fun foo(ints: List) { ... }

fun  List.filter(predicate: (T) -> Boolean): List

fun  List.firstOrNull(): T?

可以使用 Any 来确保元素不可以为 null

fun  foo (list: List) {
    for (element in List) {
        
    }
}

foo(listOf(1, null)) // OK

fun  foo (list: List) {
    for (element in List) {
        
    }
}

foo(listOf(1, null)) // NO

可以使用 where 来进行多个 upper bounds

fun > max(first: T, second: T): T {
    return if (first > second) first else second
}

fun  ensureTrailingPeriod(seq: T)
    where T: CharSequence, T: Appendable {
        if (!seq.endsWith('.') {
            seq.append('.')
        })
    }

使用了泛型的函数,可以用 JvmName 来指定不同的泛型函数名称,这样就可以在 Java 中使用 averageOfDouble,因为字节码有这个函数了

fun List.average: Double { ... }

@JvmName("averageOfDouble")
fun List.average(): Double { ... }

编码约定

符号重载

使用 a + b 会自动调用 a.plus(b)

operator fun Point.plus(other: Point): Point {
    return Point(x + other.x, y + other.y)
}

Point(1, 2) + Point(2, 3)

重载的运算符左右两边的数据类型可以不一样

operator fun Point.times(scale: Int): Point {
    return Point(x * scale, y * scale)
}

Point(1, 2) * 3

单目运算符也可以重载,例如 unaryMinusnotinc

注意对于 list 这样的类型,+= 的操作会新建一个新的 list,例如下面这段代码会输出 [1, 2, 3, 4][1, 2, 3]

val list1 = listOf(1, 2, 3) 
var list2 = list1
list2 += 4
println(list1) 
println(list2)

如果需要,可以把 varlistOf 换成 valmutableListOf

在 Kotlin 中,可以使用 < 这些符号比较字符串之间的大小,会自动调用 compareTo() 并和 0 比较,也可以使用 == 比较相等,会调用 equals()

访问键值对也可以使用 map[index] 操作,会调用 map.get(index)

Java 的 String 没有实现 Iterable 接口,但是 Kotlin 中可以通过定义拓展函数的方法重载迭代运算符

operator fun CharSequence.iterator(): CharIterator
for (c in "abc") { ... }

解构式的定义,在本质上也是运算符的重载 argument.component1()

map.forEach { (key, value) -> { ... } }

list 也可以同时遍历下标和元素

for ((inex, element) in list.withIndex()) {
    println("$index $element")
}

不需要的参数可以用 _ 跳过

如果一个类(例如 Point)实现了 Comparable 接口,那么在任何其他地方都可以使用 < > 来比较大小,也可以再定义一个 private operator fun Point.compareTo,这样就可以在自己的算法中用新的比较规则,这个规则在代码的其他部分是不可见的

内联函数

run 会运行一个 Lambda 代码段,并把最后一个表达式作为结果

let 可以检测一个参数是不是 nulll

fun getEmail(): Email?
val email = getEmail()

if (meial != null) sendEmailTo(email)

email?.let { e -> sendEmailTo(e) }
getEmail()?.let { sendEmailTo(it) }

如果任意一个子类中有自定义的 getter,那么不可以使用智能类型转换(即 if (session.user is FacebookUser) 会被编译器报错),因为自定义的 getter 可能每一次返回的是不同的值,可以通过引入一个本地变量来使用智能类型转换,而 let 可以简化这个写法

interface Session {
    val user: User
}
fun analyzeUserSession(session: Session) {
    val user = session.user
    if (user is FacebookUser) {
        println(user.accountId)
    }
}

(session.user as? FacebookUser)?.let {
    println(it.accountId)
}

takeIf 返回条件满足时的对象,否则 null

常与 ?.let 连用

issue.takeIf { it.status == FIXED }
person.patronymicName.takeIf(String::isNotEmpty)

takeUnlesstakeIf 相反

repeat 可以重复一个操作多次,注意这不是一个 built-in 的关键字,而是一个 inline function

repeat(10) {
    println("Hello")
}
inline fun repeat(times: Int, action (Int) -> Unit) {
    for (index in 0 until times) {
        action(index)
    }
}

没有内联的 Lambda 表达式会被当做一个类,会带来额外的性能开销,因为内联会把函数题替换掉,而不是调用函数

fun myRun(f: () -> Unit) = f()
fun main(args: Array) {
    val name = "Kotlin"
    myRun { println("Hi, $name!") }
}
// class Examplekt$main$1

像 filter 这样的函数,都是内联的

但 inline 是 Kotlin 的特性,如果从 Java 调用,那不会有内联

序列

Lambda 是内联的,但是链式调用的中间过程的数据集合都会被产生

val list = listOf(1, 2, -3) 
val maxOddSquare = list // [1, 2, -3]
    .map { it * it }  // [1, 4, 9]
    .filter { it % 2 == 1 }  // [1, 9]
    .max() // 1

序列 .asSequence() 推迟了计算发生的时间,从而避免了中间过程中不断产生集合

val list = listOf(1, 2, -3) 
val maxOddSquare = list
    .asSequence()
    .map { it * it } 
    .filter { it % 2 == 1 } 
    .max()
image

Collections 中,每一次链式调用都会完成计算,因此得到 [m1, m2, m3, m4, f1, f2, f3, f4]

Sequences 中,每次对一个值完成全部的计算,因此得到 [m1, f1, m2, f2, m3, f3, m4, f4]

注意在 Sequences 中,除非需要这个值,否则不会计算

image

另外,但 Sequences 发现前面的步骤已经不满足时,不会进行后面的步骤

image

Collections 和 Sequences 的类不是父类子类关系

val seq = generateSequence {
    Random.nextInt(5).takeIf { it > 0 }
}
println(seq.toList())

Sequences 都是懒惰计算的,除非到了需要的时候,否则不会完成计算

例如下面这个例子,问的只是 .first(),而第一个元素已知,所以不会去计算后面的元素,因此输出 “Generating” 0 次

val numbers = generateSequence(3) { n ->
  println("Generating element...")
  (n + 1).takeIf { it < 7 } 
}
println(numbers.first()) // 3

yield 在 Kotlin 中不是语言特性、不是关键字,只是一个函数

但它是懒惰的,只在需要时被调用

val numbers = sequence {
    var x = 0
    while (true) {
        yield(x++)
    }
}
numbers.take(5).toList() // [0, 1, 2, 3, 4]
fun mySequence() = buildSequence { 
  println("yield one element") 
  yield(1)
  println("yield a range") 
  yieldAll(3..5)
  println("yield a list")
  yieldAll(listOf(7, 9)) 
}

println(mySequence() 
  .map { it * it }
  .filter { it > 10 } 
  .take(1))
// 不会输出任何一条 yield ...
// 因为 take() 不是最终操作

println(mySequence() 
  .map { it * it }
  .filter { it > 10 } 
  .first())
// 只会输出 "yield one element" 和 "yield a range"
// first() 是终端操作
// 首先计算 1,经过 map 得到 1,被过滤
// 然后计算 3,经过 map 得到 9,被过滤
// 再计算 4,经过 map 得到 16,找到答案,程序结束,不会继续后面的计算

带接收器的 Lambda

拓展函数和 Lambda 结合,可以看作带接收器的 Lambda,又叫拓展的 Lambda

val sb = StringBuilder()
sb.appendln("Alphabet: ")
for (c in 'a'..'z') {
    sb.append(c)
}
sb.toString()

这样的代码需要重复多次变量名,可以使用 with 简化

val sb = StringBuilder()
with (sb) {
    appendln("Alphabet: ")
    for (c in 'a'..'z') {
        append(c)
    }
    toString()
}

事实上,with 是一个函数,sb 作为第一个参数,而这个 Lambda 表达式是第二个参数,即

with (sb, { this.toString() } )
val isEven: (Int) -> Boolean = { it % 2 == 0 }
val isOdd: Int.() -> Boolean = { this % 2 == 1 }

isEven(0)
1.isOdd()

使用库函数简化一些计算

people.filter { it.age < 21 }.size


people,count { it.age < 21 }
people.sortedBy { it.age }.reversed()


people.sortedByDesending { it.age }
people
  .map { person ->
    person.takeIf { it.isPublicProfile }?.name 
  }
  .filterNotNull()


people.mapNotNull { person ->
    person.takeIf { it.isPublicProfile }?.name
}
if (person.age !in map) {
  map[person.age] = mutableListOf() 
}
map.getValue(person.age) += person


val group = map.getOrPut(person.age) { mutableListOf() }
group += person
val map = mutableMapOf>() 
for (person in people) {
  if (person.age !in map) {
    map[person.age] = mutableListOf() 
  }
  map.getValue(person.age) += person 
}


people.groupBy { it.age }
groupBy()
// Write the name of the function that performs groupBy for Sequences in a lazy way.


groupingBy()
eachCount() // counts elements in each group

Kotlin 和 Java 中的数据类型

使用 Int 时,Kotlin 将其转换为 int 字节码,当使用 Int? 时,Kotlin将其转换为 Integer 字节码

List 仍然会被当成 List

ArrayInteger[]IntArrayint[]

Kotlin 中的 String 就是 Java 中的 String,但隐藏了一些容易混淆的方法,例如 replaceAll 接收正则表达式

AnyObject,也是 Int 这些基本类型(在 Kotlin 中)的基类

除非是内联的 Lambda 表达式,否则会被变成 Function0Function1 这样,内联的表达式会直接替换

可以显式地在 Kotlin 中调用 invoke()

println(arrayOf(1, 2) == arrayOf(1, 2))

Kotin 中的数组和 Java 中的数组是一样的,没有魔法,所以上面的比较结果是 false,可以使用 contentEquals 来比较它们的内容

当只使用 Kotlin(而不需要从字节码层面被 Java 使用)时,那么没有理由使用 Array,应该始终使用 List

Nothing 是 Kotlin 中的底层类型,Nothing 可以看做是任何类型的子类,但在字节码层面,仍然会被转化为 void,因为 Java 中没有可以表示 Nothing 的类型

Unit 表示函数返回时没有有意义的返回值,用来替代 Java 的 void,其在字节码层面就是 void,完全等价

Nothing 表示函数永远不会返回,例如在 fail() 函数中抛出异常,这是一个永远不会执行完成的函数

Kotlin 中,TODO() 是一个内联的函数,可以接受一个参数 String 表示一些备注信息,它的类型也是 Nothing

直接使用 return 也可以获得 Nothing 类型

fun greetPerson(person: Person) {
    val name = person.name ?: return
    println("Hello, $name!")
}
val answer = if (timeHasPassed()) {
    42
} else {
    fail("Not ready")
}
fun fail(message: String) {
    throw IllegalStateException(message)
}

这里 answer 会被认为是 Any,因为当条件成立时,42 是一个 Int,而 fail()Unit,这两个类型的公共父类是 Any,这与期望不合

val answer = if (timeHasPassed()) {
    42
} else {
    fail("Not ready")
}
fun fail(message: String): Nothing {
    throw IllegalStateException(message)
}

这里 answer 会被认为是 Int,因为当条件成立时,42 是一个 Int,而 fail()NothingNothing 可以看做是任何类型的子类

image

最简单的、也是唯一的一个 Nothing? 类型是 null 常量

类型后面加 ! 例如 String! 往往只会出现在错误信息中,例如数据类型不匹配的错误,来表示这个类型是来自 Java 的

// Java
public class Session {
  public String getDescription() {
    return null; 
  }
}
// Kotlin
val session = Session()
val description = session.description // description 的类型是 "String!"
println(description.length) // NullPointerException

这样会使得 Kotlin 中的 Nullable 检查毫无用处,因为依然可能出现 Null Pointer Exception,而不需要明确地检查是不是为 null

这种情况可以在 Java 代码中增加注解 @Nullable@NonNull 等,这样 Kotlin 就可以强制检查 Nullable 的数据

// Java
public class Session {
  @Nullable
  String getDescription() {
    return null;
  }
}
// Kotlin
val session = Session()
val description = session.description
println(description.length) // 无法通过编译

可以将 @NotNull 设置为默认(由 JSR-305 支持的 @ParametersAreNonnullByDefault@MyNonnullByDefault),这样只需要注释 @Nullable 的类型即可

也可以根据自己的需要指定另一个默认值

但注意 Kotlin 将默认 NotNull 的数据类型、却接收了 null 这样的问题,只是看作警告,需要添加 -Xjsr305=strict 编译选项,Kotlin 才会把它们看作错误

预防 Null Pointer Exception,除了使用 Java 注解,还可以在 Kotlin 代码中明确数据类型,例如 String? 或者 String,而不要让编译器自己猜测

明确数据类型可以得到以下不同的结果:

// Java
public class Session {
  String getDescription() {
    return null;
  }
}
// Kotlin
val session = Session()
val description: String? = session.description // 这是 String? 类型
println(description?.length) // 输出 null
// Java
public class Session {
  String getDescription() {
    return null;
  }
}
// Kotlin
val session = Session()
val description: String = session.description // 这是 String 类型,不能为空
println(description.length) // 抛出 IllegalStateException,不是 NUllPointerException

kotlin.Listjava.util.List 是一样的,MutableList 继承自 List

注意只读和不可变是不一样的,不能对 List 使用 add,因为它没有 mutating 方法,但可以通过 MutableList 来修改

val mutableList = mutableListOf(1, 2, 3)  //#1 
val list: List = mutableList         //#2 
mutableList.add(4)                        //#3 
println(list)                             //#4 

这依然会输出 [1, 2, 3, 4]

在底层,kotlin.List 有一个子类 kotlin.MutableList,而 kotlin.MutableList 会用 java.util.ArrayList 来实现

使用只读类型,例如 List,可以防止自己意外地调用 .add() 这样的方法,除非把它明确地交给 Mutable,那就可以修改

你可能感兴趣的:(Kotlin for Java Developers 学习笔记)