你在使用哪种编程语言?快来投票,亲手选出你心目中的编程语言之王 了解详情
写点什么

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

2018 年 10 月 10 日

在荷兰阿姆斯特丹举行的 KotlinConf 2018 大会上,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-eap repo,并获取 1.3.0-rc-57 版本。

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

2018 年 10 月 10 日 18:306078
用户头像

发布了 731 篇内容, 共 375.5 次阅读, 收获喜欢 1878 次。

关注

评论 1 条评论

发布
暂无评论
发现更多内容

java静态代理与动态代理

张瑞浩

软件设计原则 - 第二周作业

孙志平

第二周课程作业

Geek_a327d3

作业

理解持续测试,才算理解DevOps

禅道项目管理

DevOps 测试 持续集成

依赖倒置原则

Coder的技术之路

CVPR 2020 六小时教程上线!新视角生成的前沿方法

神经星星

人工智能 学习 计算机视觉 模式识别 教程

在滴滴和字节跳动干了 2 年后端开发,太真实…

程序员生活志

程序员 字节跳动 后端 滴滴 开发

架构设计篇之领域驱动设计(DDD)

小诚信驿站

领域驱动设计 DDD 架构设计 架构设计原则 刘晓成

Centos6 内核升级

唯爱

带功能隔离的cache设计

Coder的技术之路

依赖倒置原则联想

极客大学架构师训练营

「架构师训练营」第 2 周作业 - 设计原则

森林

架构师训练营作业 (1)

孙志超

架构师训练营第二周作业

好名字

极客大学架构师训练营 作业

我写了10年博客,却被人说“不火”?我是这样怼回去的!

王磊

Java 程序人生 「Java 25周年」

架构师训练营-第二周命题作业

牛牛

极客大学架构师训练营 命题作业

Spring Web MVC 依赖倒置原则分析

Arvin

江帅帅:精通 Spring Boot 系列 03

古月木易

Spring Boot

「架构师训练营」第 2 周作业 - 总结

森林

程序员买买买,纸书半价,电子书55折,抢券叠加使用更划算

图灵社区

图灵教育 活动专区

架构师训练营-作业-2-架构设计原则

superman

Monorepo 原来像陈老师这么香!

admin

Week2-作业

TiK

极客大学架构师训练营

架构师训练营-第二章课程总结-软件设计&面向对象

而立

极客大学架构师训练营

嵌入SpreadJS,赋能计量器具检定信息化

Geek_Willie

SpreadJS 计量检定

软件设计原则-第二周总结

孙志平

第二周作业

南宫煌

极客大学架构师训练营

程序设计原则

南宫煌

极客大学架构师训练营

江帅帅:精通 Spring Boot 系列 03

奈学教育

springboot

Week2-总结

TiK

极客大学架构师训练营

【架构训练营】第二周作业

Mr.hou

极客大学架构师训练营

技术为帆,纵横四海- Lazada技术东南亚探索和成长之旅

技术为帆,纵横四海- Lazada技术东南亚探索和成长之旅

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