Kotlin 1.3 带来稳定的协程、合约及其他

  • Sergio De Simone
  • 无明

2018 年 10 月 10 日

话题:移动JetBrainsGoogleAndroid语言 & 开发

在荷兰阿姆斯特丹举行的KotlinConf2018 大会上,JetBrains 宣布推出 Kotlin 1.3 RC,引入了新的语言特性,如稳定的协程、合约、内联类等。在 KotlinConf 大会上,谷歌和 JetBrains 也宣布了要共同努力建立 Kotlin 基金会

协程为设计异步、非阻塞的程序提供了强大的范式。协程是轻量级的线程,使用CoroutineScopelaunch生成。以下是协程的一个极简示例,该协程执行一些并发处理,然后 join 到启动线程。runBlocking 用来包装协程以及启动和等待它的代码块,它定义了协程的作用域:

fun main(args: Array<String>) = runBlocking {
    val job = GlobalScope.launch {
      // 在后台线程中做一些处理 
    }
    println("Hello,")
    job.join() // 等待,直到子协程运行完毕 
}
协程可以被暂停、重新启动和组合。之前版本的 Kotlin 已经提供了协程功能,但直到 1.3 版才真正稳定下来,这意味着它们的 API 在将来的版本中不会发生变更。

合约(contract)是 Kotlin 类型系统新增的新实验特性,用于描述除函数签名之外的附加保证。JetBrains 工程师 Ilya Gorbunov 将合约描述为一种通过带有对调用方有利的约束的函数签名来丰富可用类型信息的方法

有了合约,函数可以告诉编译器“我将以这种方式来影响智能转型”或“我将立即执行这个 lambda,并且仅执行一次”或“只有当列表为非空时,我才返回 false”,等等。

合约目前用于改进智能转型及更彻底地分析变量初始化:

fun test(x: List<Int>?) {
    // 如果函数返回 false,那么值肯定不是空的:
    if (!x.isNullOrEmpty()) {
        println(x.size) // 智能转型成非空!
    }
}

fun test(x: Any?) {
    // 如果函数返回 (没有抛出异常),那么参数是 true:
    require(x is String) 
    println(x.length) // 这里也会进行智能转型!
}

val x: Int
synchronized(lock) {
    x = 42 // 编译器知道 lambda 只被调用一次!
}
println(x) // 编译器现在知道 x 已经赋值了。
内联类是 Kotlin 最新版本中引入的另一个实验性特性。内联类是指只有一个属性的类:
inline class Name(val s: String)

它们对于防止重载时发生签名冲突非常有用,如下面的示例所示,它使用不同的内联类型进行三个重载,所有内联类型都映射到 String:

fun foo(x: UserName) { ... }
fun foo(x: Login) { ... }
fun foo(x: UserHash) { ... }
一个可能吸引新 Kotlin 开发人员的是改造后的在线 playground,除了新的外观之外,它还提供了一个新的“Kotlin by Example”。

如果你对 Kotlin 1.3 带来的所有新特性和改进感兴趣,可以仔细阅读 Kotlin 的官方发布公告

另外,谷歌和 JetBrains 宣布成立 Kotlin 基金会,旨在推动 Kotlin 的发展,同时确保 Kotlin 保持自由和开放。两年前,谷歌宣布将 Kotlin 作为 Android 一等开发语言,并开始为其移动平台带来一些改进以便为开发人员提供更好的体验。谷歌表示,Google Play 上排名前 1000 的 Android 应用中已经有 27%已经使用了 Kotlin。

如果你使用了 JetBrains IntelliJ IDEA,那么使用 Kotlin 1.3 RC 就会非常容易,IDEA 内置了对 Kotlin 更好的支持。如果你使用 Maven/Gradle,需要在配置中添加https://dl.bintray.com/kotlin/kotlin-eaprepo,并获取 1.3.0-rc-57 版本。

查看英文原文Kotlin 1.3 Introduces Stable Coroutines, Contracts, and More

移动JetBrainsGoogleAndroid语言 & 开发