Spec-Zone.ru › Kotlin 1.6

Возвращение и переходы

В Kotlin есть три структурных выражения для перехода:

  • return по умолчанию возвращает значение из ближайшей внешней функции или анонимной функции.

  • break прерывает ближайший внешний цикл.

  • continue переходит к следующей итерации ближайшего внешнего цикла.

Все эти выражения могут использоваться как часть более сложных выражений:

val s = person.name ?: return

Тип этих выражений — тип Nothing.

Метки break и continue

Любое выражение в Kotlin может быть помечено меткой. Метки имеют вид идентификатора, за которым следует знак @, например abc@ или fooBar@. Чтобы пометить выражение, просто добавьте метку перед ним.

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

Теперь мы можем квалифицировать break или continue с помощью метки:

loop@ for (i in 1..100) {
    for (j in 1..100) {
        if (...) break@loop
    }
}

break с меткой переходит к точке выполнения сразу после цикла, помеченного этой меткой. continue переходит к следующей итерации этого цикла.

Возврат к меткам

В Kotlin функции могут быть вложены с помощью лямбда-выражений, локальных функций и выражений объектов. Квалифицированные return позволяют нам возвращаться из внешней функции. Наиболее важным случаем применения является возврат из лямбда-выражения. Вспомним, что при написании следующего выражения return возвращает значение из ближайшей внешней функции — foo:

//sampleStart
fun foo() {
    listOf(1, 2, 3, 4, 5).forEach {
        if (it == 3) return // non-local return directly to the caller of foo()
        print(it)
    }
    println("this point is unreachable")
}
//sampleEnd

fun main() {
    foo()
}

Обратите внимание, что такие нелокальные возвраты поддерживаются только для лямбда-выражений, передаваемых в встроенные функции. Чтобы вернуть значение из лямбда-выражения, пометьте его и укажите метку для return:

//sampleStart
fun foo() {
    listOf(1, 2, 3, 4, 5).forEach lit@{
        if (it == 3) return@lit // local return to the caller of the lambda - the forEach loop
        print(it)
    }
    print(" done with explicit label")
}
//sampleEnd

fun main() {
    foo()
}

Теперь возврат происходит только из лямбда-выражения. Часто удобнее использовать явные метки, так как такая метка имеет то же имя, что и функция, которой передаётся лямбда.

//sampleStart
fun foo() {
    listOf(1, 2, 3, 4, 5).forEach {
        if (it == 3) return@forEach // local return to the caller of the lambda - the forEach loop
        print(it)
    }
    print(" done with implicit label")
}
//sampleEnd

fun main() {
    foo()
}

В качестве альтернативы можно заменить лямбда-выражение анонимной функцией. Выражение return в анонимной функции вернёт значение из этой самой анонимной функции.

//sampleStart
fun foo() {
    listOf(1, 2, 3, 4, 5).forEach(fun(value: Int) {
        if (value == 3) return  // local return to the caller of the anonymous function - the forEach loop
        print(value)
    })
    print(" done with anonymous function")
}
//sampleEnd

fun main() {
    foo()
}

Обратите внимание, что использование локальных возвратов в предыдущих трёх примерах аналогично использованию continue в обычных циклах.

Прямого эквивалента break нет, но его можно смоделировать, добавив ещё один вложенный лямбда-вызов и вернув значение нелокально из него:

//sampleStart
fun foo() {
    run loop@{
        listOf(1, 2, 3, 4, 5).forEach {
            if (it == 3) return@loop // non-local return from the lambda passed to run
            print(it)
        }
    }
    print(" done with nested loop")
}
//sampleEnd

fun main() {
    foo()
}

При возвращении значения синтаксический анализатор отдаёт предпочтение квалифицированному возврату:

return@a 1

Это означает "возврат 1 с меткой @a", а не "возврат помеченного выражения (@a 1)".

Последнее изменение: 07 апреля 2022
Условные операторы и циклы Исключения

© 2010–2022 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/docs/returns.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API