Kotlin 1.1 的新特性

发布于:2016-02-15

目录

JavaScript

从 Kotlin 1.1 开始,JavaScript 目标平台不再当是实验性的。所有语言功能都支持, 并且有许多新的工具用于与前端开发环境集成。更详细改动列表,请参见下文

协程(实验性的)

Kotlin 1.1 的关键新特性是协程,它带来了 future/awaityield 以及类似的编程模式的支持。Kotlin 的设计中的关键特性是协程执行的实现是语言库的一部分, 而不是语言的一部分,所以你不必绑定任何特定的编程范式或并发库。

协程实际上是一个轻量级的线程,可以挂起并稍后恢复。 协程通过挂起函数支持:对这样的函数的调用可能会挂起协程,并启动一个新的协程,我们通常使用匿名挂起函数(即挂起 lambda 表达式)。

我们来看看在外部库 kotlinx.coroutines 中实现的 async/await

  1. // 在后台线程池中运行该代码
  2. fun asyncOverlay() = async(CommonPool) {
  3. // 启动两个异步操作
  4. val original = asyncLoadImage("original")
  5. val overlay = asyncLoadImage("overlay")
  6. // 然后应用叠加到两个结果
  7. applyOverlay(original.await(), overlay.await())
  8. }
  9. // 在 UI 上下文中启动新的协程
  10. launch(UI) {
  11. // 等待异步叠加完成
  12. val image = asyncOverlay().await()
  13. // 然后在 UI 中显示
  14. showImage(image)
  15. }

这里,async { …… } 启动一个协程,当我们使用 await() 时,挂起协程的执行,而执行正在等待的操作,并且在等待的操作完成时恢复(可能在不同的线程上) 。

标准库通过 yieldyieldAll 函数使用协程来支持惰性生成序列。 在这样的序列中,在取回每个元素之后挂起返回序列元素的代码块, 并在请求下一个元素时恢复。这里有一个例子:

  1. import kotlin.coroutines.experimental.*
  2. fun main(args: Array<String>) {
  3. val seq = buildSequence {
  4. for (i in 1..5) {
  5. // 产生一个 i 的平方
  6. yield(i * i)
  7. }
  8. // 产生一个区间
  9. yieldAll(26..28)
  10. }
  11. // 输出该序列
  12. println(seq.toList())
  13. }

运行上面的代码以查看结果。随意编辑它并再次运行!

更多信息请参见协程文档教程

请注意,协程目前还是一个实验性的特性,这意味着 Kotlin 团队不承诺在最终的 1.1 版本时保持该功能的向后兼容性。

其他语言特性

类型别名

类型别名允许你为现有类型定义备用名称。 这对于泛型类型(如集合)以及函数类型最有用。 这里有几个例子:

  1. //sampleStart
  2. typealias OscarWinners = Map<String, String>
  3. fun countLaLaLand(oscarWinners: OscarWinners) =
  4. oscarWinners.count { it.value.contains("La La Land") }
  5. // 请注意,类型名称(初始名与类型别名)是可互换的:
  6. fun checkLaLaLandIsTheBestMovie(oscarWinners: Map<String, String>) =
  7. oscarWinners["Best picture"] == "La La Land"
  8. //sampleEnd
  9. fun oscarWinners(): OscarWinners {
  10. return mapOf(
  11. "Best song" to "City of Stars (La La Land)",
  12. "Best actress" to "Emma Stone (La La Land)",
  13. "Best picture" to "Moonlight" /* …… */)
  14. }
  15. fun main(args: Array<String>) {
  16. val oscarWinners = oscarWinners()
  17. val laLaLandAwards = countLaLaLand(oscarWinners)
  18. println("LaLaLandAwards = $laLaLandAwards (in our small example), but actually it's 6.")
  19. val laLaLandIsTheBestMovie = checkLaLaLandIsTheBestMovie(oscarWinners)
  20. println("LaLaLandIsTheBestMovie = $laLaLandIsTheBestMovie")
  21. }

更详细信息请参见类型别名文档KEEP

已绑定的可调用引用

现在可以使用 :: 操作符来获取指向特定对象实例的方法或属性的成员引用。 以前这只能用 lambda 表达式表示。 这里有一个例子:

  1. //sampleStart
  2. val numberRegex = "\\d+".toRegex()
  3. val numbers = listOf("abc", "123", "456").filter(numberRegex::matches)
  4. //sampleEnd
  5. fun main(args: Array<String>) {
  6. println("Result is $numbers")
  7. }

更详细信息请参阅其文档KEEP

密封类与数据类

Kotlin 1.1 删除了一些对 Kotlin 1.0 中已存在的密封类与数据类的限制。 现在你可以在同一个文件中的任何地方定义一个密封类的子类,而不只是以作为密封类嵌套类的方式。 数据类现在可以扩展其他类。 这可以用来友好且清晰地定义一个表达式类的层次结构:

  1. //sampleStart
  2. sealed class Expr
  3. data class Const(val number: Double) : Expr()
  4. data class Sum(val e1: Expr, val e2: Expr) : Expr()
  5. object NotANumber : Expr()
  6. fun eval(expr: Expr): Double = when (expr) {
  7. is Const -> expr.number
  8. is Sum -> eval(expr.e1) + eval(expr.e2)
  9. NotANumber -> Double.NaN
  10. }
  11. val e = eval(Sum(Const(1.0), Const(2.0)))
  12. //sampleEnd
  13. fun main(args: Array<String>) {
  14. println("e is $e") // 3.0
  15. }

更详细信息请参阅密封类文档或者密封类数据类的 KEEP。

lambda 表达式中的解构

现在可以使用解构声明语法来解开传递给 lambda 表达式的参数。 这里有一个示例:

  1. fun main(args: Array<String>) {
  2. //sampleStart
  3. val map = mapOf(1 to "one", 2 to "two")
  4. // 之前
  5. println(map.mapValues { entry ->
  6. val (key, value) = entry
  7. "$key -> $value!"
  8. })
  9. // 现在
  10. println(map.mapValues { (key, value) -> "$key -> $value!" })
  11. //sampleEnd
  12. }

更详细信息请参阅解构声明文档KEEP

下划线用于未使用的参数

对于具有多个参数的 lambda 表达式,可以使用 _ 字符替换不使用的参数的名称:

  1. fun main(args: Array<String>) {
  2. val map = mapOf(1 to "one", 2 to "two")
  3. //sampleStart
  4. map.forEach { _, value -> println("$value!") }
  5. //sampleEnd
  6. }

这也适用于解构声明

  1. data class Result(val value: Any, val status: String)
  2. fun getResult() = Result(42, "ok").also { println("getResult() returns $it") }
  3. fun main(args: Array<String>) {
  4. //sampleStart
  5. val (_, status) = getResult()
  6. //sampleEnd
  7. println("status is '$status'")
  8. }

更详细信息请参阅其 KEEP

数字字面值中的下划线

正如在 Java 8 中一样,Kotlin 现在允许在数字字面值中使用下划线来分隔数字分组:

  1. //sampleStart
  2. val oneMillion = 1_000_000
  3. val hexBytes = 0xFF_EC_DE_5E
  4. val bytes = 0b11010010_01101001_10010100_10010010
  5. //sampleEnd
  6. fun main(args: Array<String>) {
  7. println(oneMillion)
  8. println(hexBytes.toString(16))
  9. println(bytes.toString(2))
  10. }

更详细信息请参阅其 KEEP

对于属性的更短语法

对于没有自定义访问器、或者将 getter 定义为表达式主体的属性,现在可以省略属性的类型:

  1. //sampleStart
  2. data class Person(val name: String, val age: Int) {
  3. val isAdult get() = age >= 20 // 属性类型推断为 “Boolean”
  4. }
  5. //sampleEnd
  6. fun main(args: Array<String>) {
  7. val akari = Person("Akari", 26)
  8. println("$akari.isAdult = ${akari.isAdult}")
  9. }

内联属性访问器

如果属性没有幕后字段,现在可以使用 inline 修饰符来标记该属性访问器。 这些访问器的编译方式与内联函数相同。

  1. //sampleStart
  2. public val <T> List<T>.lastIndex: Int
  3. inline get() = this.size - 1
  4. //sampleEnd
  5. fun main(args: Array<String>) {
  6. val list = listOf('a', 'b')
  7. // 其 getter 会内联
  8. println("Last index of $list is ${list.lastIndex}")
  9. }

你也可以将整个属性标记为 inline——这样修饰符应用于两个访问器。

更详细信息请参阅内联函数文档KEEP

局部委托属性

现在可以对局部变量使用委托属性语法。 一个可能的用途是定义一个延迟求值的局部变量:

  1. import java.util.Random
  2. fun needAnswer() = Random().nextBoolean()
  3. fun main(args: Array<String>) {
  4. //sampleStart
  5. val answer by lazy {
  6. println("Calculating the answer...")
  7. 42
  8. }
  9. if (needAnswer()) { // 返回随机值
  10. println("The answer is $answer.") // 此时计算出答案
  11. }
  12. else {
  13. println("Sometimes no answer is the answer...")
  14. }
  15. //sampleEnd
  16. }

更详细信息请参阅其 KEEP

委托属性绑定的拦截

对于委托属性,现在可以使用 provideDelegate 操作符拦截委托到属性之间的绑定 。 例如,如果我们想要在绑定之前检测属性名称,我们可以这样写:

  1. class ResourceLoader<T>(id: ResourceID<T>) {
  2. operator fun provideDelegate(thisRef: MyUI, property: KProperty<*>): ReadOnlyProperty<MyUI, T> {
  3. checkProperty(thisRef, property.name)
  4. …… // 属性创建
  5. }
  6. private fun checkProperty(thisRef: MyUI, name: String) { …… }
  7. }
  8. fun <T> bindResource(id: ResourceID<T>): ResourceLoader<T> { …… }
  9. class MyUI {
  10. val image by bindResource(ResourceID.image_id)
  11. val text by bindResource(ResourceID.text_id)
  12. }

provideDelegate 方法在创建 MyUI 实例期间将会为每个属性调用,并且可以立即执行必要的验证。

更详细信息请参阅属性委托文档

泛型枚举值访问

现在可以用泛型的方式来对枚举类的值进行枚举:

  1. //sampleStart
  2. enum class RGB { RED, GREEN, BLUE }
  3. inline fun <reified T : Enum<T>> printAllValues() {
  4. print(enumValues<T>().joinToString { it.name })
  5. }
  6. //sampleEnd
  7. fun main(args: Array<String>) {
  8. printAllValues<RGB>() // 输出 RED, GREEN, BLUE
  9. }

对于 DSL 中隐式接收者的作用域控制

@DslMarker 注解允许限制来自 DSL 上下文中的外部作用域的接收者的使用。 考虑那个典型的 HTML 构建器示例

  1. table {
  2. tr {
  3. td { + "Text" }
  4. }
  5. }

在 Kotlin 1.0 中,传递给 td 的 lambda 表达式中的代码可以访问三个隐式接收者:传递给 tabletrtd 的。 这允许你调用在上下文中没有意义的方法——例如在 td 里面调用 tr,从而在 <td> 中放置一个 <tr> 标签。

在 Kotlin 1.1 中,你可以限制这种情况,以使只有在 td 的隐式接收者上定义的方法会在传给 td 的 lambda 表达式中可用。你可以通过定义标记有 @DslMarker 元注解的注解并将其应用于标记类的基类。

更详细信息请参阅类型安全的构建器文档KEEP

rem 操作符

mod 操作符现已弃用,而使用 rem 取代。动机参见这个问题

标准库

字符串到数字的转换

在 String 类中有一些新的扩展,用来将它转换为数字,而不会在无效数字上抛出异常: String.toIntOrNull(): Int?String.toDoubleOrNull(): Double? 等。

  1. val port = System.getenv("PORT")?.toIntOrNull() ?: 80

还有整数转换函数,如 Int.toString()String.toInt()String.toIntOrNull(), 每个都有一个带有 radix 参数的重载,它允许指定转换的基数(2 到 36)。

onEach()

onEach 是一个小、但对于集合与序列很有用的扩展函数,它允许对操作链中的集合/序列的每个元素执行一些操作,可能带有副作用。 对于迭代其行为像 forEach 但是也进一步返回可迭代实例。 对于序列它返回一个包装序列,它在元素迭代时延迟应用给定的动作。

  1. inputDir.walk()
  2. .filter { it.isFile && it.name.endsWith(".txt") }
  3. .onEach { println("Moving $it to $outputDir") }
  4. .forEach { moveFile(it, File(outputDir, it.toRelativeString(inputDir))) }

also()、takeIf() 与 takeUnless()

这些是适用于任何接收者的三个通用扩展函数。

also 就像 apply:它接受接收者、做一些动作、并返回该接收者。 二者区别是在 apply 内部的代码块中接收者是 this, 而在 also 内部的代码块中是 it(并且如果你想的话,你可以给它另一个名字)。 当你不想掩盖来自外部作用域的 this 时这很方便:

  1. class Block {
  2. lateinit var content: String
  3. }
  4. //sampleStart
  5. fun Block.copy() = Block().also {
  6. it.content = this.content
  7. }
  8. //sampleEnd
  9. // 使用“apply”代替
  10. fun Block.copy1() = Block().apply {
  11. this.content = this@copy1.content
  12. }
  13. fun main(args: Array<String>) {
  14. val block = Block().apply { content = "content" }
  15. val copy = block.copy()
  16. println("Testing the content was copied:")
  17. println(block.content == copy.content)
  18. }

takeIf 就像单个值的 filter。它检测接收者是否满足该谓词,并在满足时返回该接收者否则不满足时返回 null。 结合 elvis 操作符(?:)与及早返回,可以编写如下结构:

  1. val outDirFile = File(outputDir.path).takeIf { it.exists() } ?: return false
  2. // 对现有的 outDirFile 做些事情
  1. fun main(args: Array<String>) {
  2. val input = "Kotlin"
  3. val keyword = "in"
  4. //sampleStart
  5. val index = input.indexOf(keyword).takeIf { it >= 0 } ?: error("keyword not found")
  6. // 对输入字符串中的关键字索引做些事情,鉴于它已找到
  7. //sampleEnd
  8. println("'$keyword' was found in '$input'")
  9. println(input)
  10. println(" ".repeat(index) + "^")
  11. }

takeUnlesstakeIf 相同,只是它采用了反向谓词。当它 满足谓词时返回接收者,否则返回 null。因此,上面的示例之一可以用 takeUnless 重写如下:

  1. val index = input.indexOf(keyword).takeUnless { it < 0 } ?: error("keyword not found")

当你有一个可调用的引用而不是 lambda 时,使用也很方便:

  1. private fun testTakeUnless(string: String) {
  2. //sampleStart
  3. val result = string.takeUnless(String::isEmpty)
  4. //sampleEnd
  5. println("string = \"$string\"; result = \"$result\"")
  6. }
  7. fun main(args: Array<String>) {
  8. testTakeUnless("")
  9. testTakeUnless("abc")
  10. }

groupingBy()

此 API 可以用于按照键对集合进行分组,并同时折叠每个组。 例如,它可以用于计算文本中字符的频率:

  1. fun main(args: Array<String>) {
  2. val words = "one two three four five six seven eight nine ten".split(' ')
  3. //sampleStart
  4. val frequencies = words.groupingBy { it.first() }.eachCount()
  5. //sampleEnd
  6. println("Counting first letters: $frequencies.")
  7. // 另一种方式是使用“groupBy”与“mapValues”创建一个中间的映射,
  8. // 而“groupingBy”的方式会即时计数。
  9. val groupBy = words.groupBy { it.first() }.mapValues { (_, list) -> list.size }
  10. println("Comparing the result with using 'groupBy': ${groupBy == frequencies}.")
  11. }

Map.toMap() 与 Map.toMutableMap()

这俩函数可以用来简易复制映射:

  1. class ImmutablePropertyBag(map: Map<String, Any>) {
  2. private val mapCopy = map.toMap()
  3. }

Map.minus(key)

运算符 plus 提供了一种将键值对添加到只读映射中以生成新映射的方法,但是没有一种简单的方法来做相反的操作:从映射中删除一个键采用不那么直接的方式如 Map.filter()Map.filterKeys()。 现在运算符 minus 填补了这个空白。有 4 个可用的重载:用于删除单个键、键的集合、 键的序列与键的数组。

  1. fun main(args: Array<String>) {
  2. //sampleStart
  3. val map = mapOf("key" to 42)
  4. val emptyMap = map - "key"
  5. //sampleEnd
  6. println("map: $map")
  7. println("emptyMap: $emptyMap")
  8. }

minOf() 与 maxOf()

这些函数可用于查找两个或三个给定值中的最小与最大值,其中值是原生数字或 Comparable 对象。每个函数还有一个重载,它接受一个额外的 Comparator 实例, 如果你想比较自身不可比的对象的话。

  1. fun main(args: Array<String>) {
  2. //sampleStart
  3. val list1 = listOf("a", "b")
  4. val list2 = listOf("x", "y", "z")
  5. val minSize = minOf(list1.size, list2.size)
  6. val longestList = maxOf(list1, list2, compareBy { it.size })
  7. //sampleEnd
  8. println("minSize = $minSize")
  9. println("longestList = $longestList")
  10. }

类似数组的列表实例化函数

类似于 Array 构造函数,现在有创建 ListMutableList 实例的函数,并通过调用 lambda 表达式来初始化每个元素:

  1. fun main(args: Array<String>) {
  2. //sampleStart
  3. val squares = List(10) { index -> index * index }
  4. val mutable = MutableList(10) { 0 }
  5. //sampleEnd
  6. println("squares: $squares")
  7. println("mutable: $mutable")
  8. }

Map.getValue()

Map 上的这个扩展函数返回一个与给定键相对应的现有值,或者抛出一个异常,提示找不到该键。 如果该映射是用 withDefault 生成的,这个函数将返回默认值,而不是抛异常。

  1. fun main(args: Array<String>) {
  2. //sampleStart
  3. val map = mapOf("key" to 42)
  4. // 返回不可空 Int 值 42
  5. val value: Int = map.getValue("key")
  6. val mapWithDefault = map.withDefault { k -> k.length }
  7. // 返回 4
  8. val value2 = mapWithDefault.getValue("key2")
  9. // map.getValue("anotherKey") // <- 这将抛出 NoSuchElementException
  10. //sampleEnd
  11. println("value is $value")
  12. println("value2 is $value2")
  13. }

抽象集合

这些抽象类可以在实现 Kotlin 集合类时用作基类。 对于实现只读集合,有 AbstractCollectionAbstractListAbstractSetAbstractMap, 而对于可变集合,有 AbstractMutableCollectionAbstractMutableListAbstractMutableSetAbstractMutableMap。 在 JVM 上,这些抽象可变集合从 JDK 的抽象集合继承了大部分的功能。

数组处理函数

标准库现在提供了一组用于逐个元素操作数组的函数:比较 (contentEqualscontentDeepEquals),哈希码计算(contentHashCodecontentDeepHashCode), 以及转换成一个字符串(contentToStringcontentDeepToString)。它们都支持 JVM (它们作为 java.util.Arrays 中的相应函数的别名)与 JS(在 Kotlin 标准库中提供实现)。

  1. fun main(args: Array<String>) {
  2. //sampleStart
  3. val array = arrayOf("a", "b", "c")
  4. println(array.toString()) // JVM 实现:类型及哈希乱码
  5. println(array.contentToString()) // 良好格式化为列表
  6. //sampleEnd
  7. }

JVM 后端

Java 8 字节码支持

Kotlin 现在可以选择生成 Java 8 字节码(命令行选项 -jvm-target 1.8 或者 Ant/Maven/Gradle 中的相应选项)。目前这并不改变字节码的语义(特别是,接口与 lambda 表达式中的默认方法的生成与 Kotlin 1.0 中完全一样),但我们计划在以后进一步使用它。

Java 8 标准库支持

现在有支持在 Java 7 与 8 中新添加的 JDK API 的标准库的独立版本。 如果你需要访问新的 API,请使用 kotlin-stdlib-jre7kotlin-stdlib-jre8 maven 构件,而不是标准的 kotlin-stdlib。 这些构件是在 kotlin-stdlib 之上的微小扩展,它们将它作为传递依赖项带到项目中。

字节码中的参数名

Kotlin 现在支持在字节码中存储参数名。这可以使用命令行选项 -java-parameters 启用。

常量内联

编译器现在将 const val 属性的值内联到使用它们的位置。

可变闭包变量

用于在 lambda 表达式中捕获可变闭包变量的装箱类不再具有 volatile 字段。 此更改提高了性能,但在一些罕见的使用情况下可能导致新的竞争条件。如果受此影响,你需要提供自己的同步机制来访问变量。

javax.scripting 支持

Kotlin 现在与javax.script API(JSR-223)集成。 其 API 允许在运行时求值代码段:

  1. val engine = ScriptEngineManager().getEngineByExtension("kts")!!
  2. engine.eval("val x = 3")
  3. println(engine.eval("x + 2")) // 输出 5

关于使用 API 的示例项目参见这里

kotlin.reflect.full

为 Java 9 支持准备,在 kotlin-reflect.jar 库中的扩展函数与属性已移动到 kotlin.reflect.full 包中。旧包(kotlin.reflect)中的名称已弃用,将在 Kotlin 1.2 中删除。请注意,核心反射接口(如 KClass)是 Kotlin 标准库 (而不是 kotlin-reflect)的一部分,不受移动影响。

JavaScript 后端

统一的标准库

Kotlin 标准库的大部分目前可以从代码编译成 JavaScript 来使用。 特别是,关键类如集合(ArrayListHashMap 等)、异常(IllegalArgumentException 等)以及其他几个关键类(StringBuilderComparator)现在都定义在 kotlin 包下。在 JVM 平台上,一些名称是相应 JDK 类的类型别名,而在 JS 平台上,这些类在 Kotlin 标准库中实现。

更好的代码生成

JavaScript 后端现在生成更加可静态检测的代码,这对 JS 代码处理工具(如 minifiers、 optimisers、 linters 等)更加友好。

external 修饰符

如果你需要以类型安全的方式在 Kotlin 中访问 JavaScript 实现的类, 你可以使用 external 修饰符写一个 Kotlin 声明。(在 Kotlin 1.0 中,使用了 @native 注解。) 与 JVM 目标平台不同,JS 平台允许对类与属性使用 external 修饰符。 例如,可以按以下方式声明 DOM Node 类:

  1. external class Node {
  2. val firstChild: Node
  3. fun appendChild(child: Node): Node
  4. fun removeChild(child: Node): Node
  5. // 等等
  6. }

改进的导入处理

现在可以更精确地描述应该从 JavaScript 模块导入的声明。 如果在外部声明上添加 @JsModule("<模块名>") 注解,它会在编译期间正确导入到模块系统(CommonJS或AMD)。例如,使用 CommonJS,该声明会通过 require(……) 函数导入。 此外,如果要将声明作为模块或全局 JavaScript 对象导入, 可以使用 @JsNonModule 注解。

例如,以下是将 JQuery 导入 Kotlin 模块的方法:

  1. external interface JQuery {
  2. fun toggle(duration: Int = definedExternally): JQuery
  3. fun click(handler: (Event) -> Unit): JQuery
  4. }
  5. @JsModule("jquery")
  6. @JsNonModule
  7. @JsName("$")
  8. external fun jquery(selector: String): JQuery

在这种情况下,JQuery 将作为名为 jquery 的模块导入。或者,它可以用作 $-对象, 这取决于Kotlin编译器配置使用哪个模块系统。

你可以在应用程序中使用如下所示的这些声明:

  1. fun main(args: Array<String>) {
  2. jquery(".toggle-button").click {
  3. jquery(".toggle-panel").toggle(300)
  4. }
  5. }