在荷兰阿姆斯特丹举行的2018大会上，JetBrains宣布推出Kotlin 1.3 RC，引入了新的语言特性，如稳定的协程、合约、内联类等。在KotlinConf大会上，。

\\

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

\\

\fun main(args: Array\u0026lt;String\u0026gt;) = runBlocking {\    val job = GlobalScope.launch {\      // 在后台线程中做一些处理\    }\    println(\"Hello,\")\    job.join() // 等待，直到子协程运行完毕\}\

\\\\ 。之前版本的Kotlin已经提供了协程功能，但直到1.3版才真正稳定下来，这意味着它们的API在将来的版本中不会发生变更。\\\

合约（contract）是Kotlin类型系统新增的新实验特性，用于描述除函数签名之外的附加保证。JetBrains工程师Ilya Gorbunov将合约描述为一种：

\\

\

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

\

\\

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

\\

\fun test(x: List\u0026lt;Int\u0026gt;?) {\    // 如果函数返回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开发人员的是改造后的 ，除了新的外观之外，它还提供了一个新的“Kotlin by Example”。\\

如果你对Kotlin 1.3带来的所有新特性和改进感兴趣，可以仔细阅读Kotlin的。

\\

另外，谷歌和JetBrains宣布成立Kotlin基金会，旨在推动Kotlin的发展，同时确保Kotlin保持自由和开放。两年前，，并。谷歌表示，Google Play上排名前1000的Android应用中已经有27％已经使用了Kotlin。

\\

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

\\

查看英文原文：