返回与跳转

Kotlin 有三种结构化跳转表达式:

  • return 默认从最直接包围它的函数或者匿名函数返回。
  • break 终止最直接包围它的循环。
  • continue 继续下一次最直接包围它的循环。

所有这些表达式都可以用作更大表达式的一部分:

  1. val s = person.name ?: return

这些表达式的类型是 Nothing 类型

Break 与 Continue 标签

在 Kotlin 中任何表达式都可以用标签来标记。 标签的格式为标识符后跟 @ 符号,例如:abc@fooBar@。 要为一个表达式加标签,我们只要在其前加标签即可。

  1. loop@ for (i in 1..100) {
  2. // ……
  3. }

现在,我们可以用标签限定 break 或者 continue

  1. loop@ for (i in 1..100) {
  2. for (j in 1..100) {
  3. if (……) break@loop
  4. }
  5. }

标签限定的 break 跳转到刚好位于该标签指定的循环后面的执行点。 continue 继续标签指定的循环的下一次迭代。

返回到标签

Kotlin 中函数可以使用函数字面量、局部函数与对象表达式实现嵌套。 标签限定的 return 允许我们从外层函数返回。 最重要的一个用途就是从 lambda 表达式中返回。回想一下我们这么写的时候, 这个 return 表达式从最直接包围它的函数——foo 中返回:

  1. //sampleStart
  2. fun foo() {
  3. listOf(1, 2, 3, 4, 5).forEach {
  4. if (it == 3) return // 非局部直接返回到 foo() 的调用者
  5. print(it)
  6. }
  7. println("this point is unreachable")
  8. }
  9. //sampleEnd
  10. fun main() {
  11. foo()
  12. }

注意,这种非局部的返回只支持传给内联函数的 lambda 表达式。 如需从 lambda 表达式中返回,可给它加标签并用以限定 return

  1. //sampleStart
  2. fun foo() {
  3. listOf(1, 2, 3, 4, 5).forEach lit@{
  4. if (it == 3) return@lit // 局部返回到该 lambda 表达式的调用者——forEach 循环
  5. print(it)
  6. }
  7. print(" done with explicit label")
  8. }
  9. //sampleEnd
  10. fun main() {
  11. foo()
  12. }

现在,它只会从 lambda 表达式中返回。通常情况下使用隐式标签更方便,因为该标签与接受该 lambda 的函数同名。

  1. //sampleStart
  2. fun foo() {
  3. listOf(1, 2, 3, 4, 5).forEach {
  4. if (it == 3) return@forEach // 局部返回到该 lambda 表达式的调用者——forEach 循环
  5. print(it)
  6. }
  7. print(" done with implicit label")
  8. }
  9. //sampleEnd
  10. fun main() {
  11. foo()
  12. }

或者,我们用一个匿名函数替代 lambda 表达式。 匿名函数内部的 return 语句将从该匿名函数自身返回

  1. //sampleStart
  2. fun foo() {
  3. listOf(1, 2, 3, 4, 5).forEach(fun(value: Int) {
  4. if (value == 3) return // 局部返回到匿名函数的调用者——forEach 循环
  5. print(value)
  6. })
  7. print(" done with anonymous function")
  8. }
  9. //sampleEnd
  10. fun main() {
  11. foo()
  12. }

请注意,前文三个示例中使用的局部返回类似于在常规循环中使用 continue

并没有 break 的直接等价形式,不过可以通过增加另一层嵌套 lambda 表达式并从其中非局部返回来模拟:

  1. //sampleStart
  2. fun foo() {
  3. run loop@{
  4. listOf(1, 2, 3, 4, 5).forEach {
  5. if (it == 3) return@loop // 从传入 run 的 lambda 表达式非局部返回
  6. print(it)
  7. }
  8. }
  9. print(" done with nested loop")
  10. }
  11. //sampleEnd
  12. fun main() {
  13. foo()
  14. }

当要返一个回值的时候,解析器优先选用标签限定的返回:

  1. return@a 1

这意味着“返回 1@a”,而不是“返回一个标签标注的表达式 (@a 1)”。