Kotlin 有三种结构化跳转表达式:
所有这些表达式都可以用作更大表达式的一部分:
val s = person.name ?: return
这些表达式的类型是 Nothing 类型。
在 Kotlin 中任何表达式都可以用标签(label{: .keyword })来标记。
标签的格式为标识符后跟 @
符号,例如:abc@
、fooBar@
都是有效的标签(参见语法)。
要为一个表达式加标签,我们只要在其前加标签即可。
loop@ for (i in 1..100) {
// ……
}
现在,我们可以用标签限制 break{: .keyword } 或者continue{: .keyword }:
loop@ for (i in 1..100) {
for (j in 1..100) {
if (……) break@loop
}
}
标签限制的 break 跳转到刚好位于该标签指定的循环后面的执行点。
continue{: .keyword } 继续标签指定的循环的下一次迭代。
Kotlin 有函数字面量、局部函数和对象表达式。因此 Kotlin 的函数可以被嵌套。
标签限制的 return{: .keyword } 允许我们从外层函数返回。
最重要的一个用途就是从 lambda 表达式中返回。回想一下我们这么写的时候:
//sampleStart
fun foo() {
listOf(1, 2, 3, 4, 5).forEach {
if (it == 3) return // 非局部直接返回到 foo() 的调用者
print(it)
}
println("this point is unreachable")
}
//sampleEnd
fun main() {
foo()
}
这个 return{: .keyword } 表达式从最直接包围它的函数即 foo
中返回。
(注意,这种非局部的返回只支持传给内联函数的 lambda 表达式。)
如果我们需要从 lambda 表达式中返回,我们必须给它加标签并用以限制 return{: .keyword }。
//sampleStart
fun foo() {
listOf(1, 2, 3, 4, 5).forEach lit@{
if (it == 3) return@lit // 局部返回到该 lambda 表达式的调用者,即 forEach 循环
print(it)
}
print(" done with explicit label")
}
//sampleEnd
fun main() {
foo()
}
现在,它只会从 lambda 表达式中返回。通常情况下使用隐式标签更方便。
该标签与接受该 lambda 的函数同名。
//sampleStart
fun foo() {
listOf(1, 2, 3, 4, 5).forEach {
if (it == 3) return@forEach // 局部返回到该 lambda 表达式的调用者,即 forEach 循环
print(it)
}
print(" done with implicit label")
}
//sampleEnd
fun main() {
foo()
}
或者,我们用一个匿名函数替代 lambda 表达式。
匿名函数内部的 return{: .keyword } 语句将从该匿名函数自身返回
//sampleStart
fun foo() {
listOf(1, 2, 3, 4, 5).forEach(fun(value: Int) {
if (value == 3) return // 局部返回到匿名函数的调用者,即 forEach 循环
print(value)
})
print(" done with anonymous function")
}
//sampleEnd
fun main() {
foo()
}
请注意,前文三个示例中使用的局部返回类似于在常规循环中使用 continue{: .keyword }。并没有 break{: .keyword } 的直接等价形式,不过可以通过增加另一层嵌套 lambda 表达式并从其中非局部返回来模拟:
//sampleStart
fun foo() {
run loop@{
listOf(1, 2, 3, 4, 5).forEach {
if (it == 3) return@loop // 从传入 run 的 lambda 表达式非局部返回
print(it)
}
}
print(" done with nested loop")
}
//sampleEnd
fun main() {
foo()
}
当要返一个回值的时候,解析器优先选用标签限制的 return,即
return@a 1
意为“从标签 @a
返回 1”,而不是“返回一个标签标注的表达式 (@a 1)
”。