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

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

协程为设计异步、非阻塞的程序提供了强大的范式。协程是轻量级的线程，使用CoroutineScope的launch生成。以下是协程的一个极简示例，该协程执行一些并发处理，然后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版本。