Kotlin 1.6 正式发布，带来这些新特性

11月16日 Kotlin 1.6.0 正式发布，让我们看一下这个版本中都有哪些新特性

1. 更安全的when语句
2. 挂起函数类型可作父类
3. 普通函数转挂起函数
4. Builder函数更加易用
5. 递归泛型的类型推导
6. 注解相关的一些优化

1. 更安全的 when 语句

Kotlin 的 when 关键字允许我们在 case 分支中写表达式或者语句。1.6 之前在 case 分支写语句时存在安全隐患：

// 定义枚举 
enum class Mode  { ON, OFF }
val x: Mode = Mode.ON

// when表达式
val result = when(x) {
    Mode.ON -> 1 // case 中是一个表达式
    Mode.OFF -> 2
}

// when语句
when(x) { 
    Mode.ON -> println("ON") // case 是一个语句
    Mode.OFF -> println("OFF")
}

下表说明了编译器针对 when 关键字的检查内容

|x 的类型| 枚举、密封类/接口、Bool型等

（可穷举类型）	不可穷举类型
when表达式	case 必须穷举所有分支，或者添加 else，否则编译出错
when语句	case 可以不穷举所有分支，不会报错

可见，当 x 是可穷举类型时，编译器对when表达式的检查比较严谨，如果 case 不能穷举所有分支或者缺少 else，编译器会报错如下：

ERROR: 'when' expression must be exhaustive, add necessary 'is TextMessage' branch or 'else' branch instead

但编译器对于 when语句 的检查却不够严谨，即使没有穷举所有分支也不会报错，不利于开发者写出安全的代码：

// when语句
when(x) { // WARNING: [NON_EXHAUSTIVE_WHEN] 'when' expression on enum is recommended to be exhaustive, add 'OFF' branch or 'else' branch instead
    Mode.ON -> println("ON") // case 是一个语句
}

Kotlin 1.6 起，当你在 When语句 中是可穷举类型时必须处理所有分支，不能遗漏。考虑到历史代码可能很多，为了更平稳的过渡，1.6 对 when语句 中没有穷举的 case 会首先给出 Warning，从 1.7 开始 Warning 将变为 Error 要求开发者强制解决。

2. 挂起函数类型可作父类

Kotlin 中一个函数类型可以作为父类被继承。

class MyFun<T>(var param: P): () -> Result<T> {
    override fun invoke(): Result<T> {
        // 基于成员 param 自定义逻辑
    }
}

fun <T> handle(handler: () -> Result<T>) {
    //...
}

Kotlin 代码中大量使用各种函数类型，许多方法都以函数类型作为参数。当你需要调用这些方法时，需要传入一个函数类型的实例。而当你想在实例中封装一些可复用的逻辑时，可以使用函数类型作为父类创建子类。

但是这种做法目前不适用于挂起函数，你无法继承一个 suspend 函数类型的父类

class C : suspend () -> Unit { // Error: Suspend function type is not allowed as supertypes 
}


C().startCoroutine(completion = object : Continuation<Unit> {
    override val context: CoroutineContext
        get() = TODO("Not yet implemented")

    override fun resumeWith(result: Result<Unit>) {
        TODO("Not yet implemented")
    }
})

但是以挂起函数作为参数或者 recevier 的方法还挺多的&#x