BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

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

| 作者 Sergio De Simone 关注 18 他的粉丝 ,译者 无明 关注 3 他的粉丝 发布于 2018年10月12日. 估计阅读时间: 5 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

在荷兰阿姆斯特丹举行的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

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT