반환과 점프

Kotlin에는 세 가지 구조적 점프(jump) 표현식이 있습니다:

• return: 기본적으로 가장 가까운 둘러싼 함수(enclosing function) 또는 익명 함수에서 반환됩니다.
• break: 가장 가까운 둘러싼 루프를 종료합니다.
• continue: 가장 가까운 둘러싼 루프의 다음 단계로 진행합니다.

이 모든 표현식은 더 큰 표현식의 일부로 사용될 수 있습니다:

val s = person.name ?: return

이러한 표현식의 타입은 Nothing 타입입니다.

Break와 continue 레이블

Kotlin의 모든 표현식은 레이블(label)을 표시할 수 있습니다. 레이블은 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는 해당 루프의 다음 반복(iteration)으로 진행합니다.

어떤 경우에는 레이블을 명시적으로 정의하지 않고도 비로컬(non-locally)로 break와 continue를 적용할 수 있습니다. 이러한 비로컬 사용은 둘러싼 인라인 함수(inline functions)에서 사용되는 람다 식에서 유효합니다.

레이블로 반환하기

Kotlin에서는 함수 리터럴, 로컬 함수, 객체 표현식을 사용하여 함수를 중첩할 수 있습니다. 한정된(qualified) return을 사용하면 외부 함수에서 반환할 수 있습니다.

가장 중요한 사용 사례는 람다 식에서 반환하는 것입니다. 람다 식에서 반환하려면 레이블을 지정하고 return을 한정하십시오:

fun foo() {
    listOf(1, 2, 3, 4, 5).forEach lit@{
        if (it == 3) return@lit // 람다 호출자(forEach 루프)로의 로컬 반환
        print(it)
    }
    print(" done with explicit label")
}

fun main() {
    foo()
}

이제 람다 식에서만 반환됩니다. 대개 암시적 레이블(implicit labels)을 사용하는 것이 더 편리한데, 이러한 레이블은 람다가 전달된 함수와 동일한 이름을 갖기 때문입니다.

fun foo() {
    listOf(1, 2, 3, 4, 5).forEach {
        if (it == 3) return@forEach // 람다 호출자(forEach 루프)로의 로컬 반환
        print(it)
    }
    print(" done with implicit label")
}

fun main() {
    foo()
}

또는 람다 식을 익명 함수로 대체할 수 있습니다. 익명 함수 내의 return 문은 익명 함수 자체에서 반환됩니다.

fun foo() {
    listOf(1, 2, 3, 4, 5).forEach(fun(value: Int) {
        if (value == 3) return  // 익명 함수 호출자(forEach 루프)로의 로컬 반환
        print(value)
    })
    print(" done with anonymous function")
}

fun main() {
    foo()
}

앞의 세 예제에서 로컬 반환을 사용하는 것은 일반 루프에서 continue를 사용하는 것과 유사합니다.

break에 직접 대응하는 것은 없지만, 외부 run 람다를 추가하고 그곳에서 비로컬 반환을 함으로써 시뮬레이션할 수 있습니다:

fun foo() {
    run loop@{
        listOf(1, 2, 3, 4, 5).forEach {
            if (it == 3) return@loop // run에 전달된 람다로부터의 비로컬 반환
            print(it)
        }
    }
    print(" done with nested loop")
}

fun main() {
    foo()
}

여기서 비로컬 반환이 가능한 이유는 중첩된 forEach() 람다가 인라인 함수로 동작하기 때문입니다.

값을 반환할 때 파서는 한정된 반환에 우선순위를 둡니다:

return@a 1

이는 "레이블이 붙은 표현식 (@a 1)을 반환"하는 것이 아니라 "레이블 @a에서 1을 반환"함을 의미합니다.

어떤 경우에는 레이블을 사용하지 않고 람다 식에서 반환할 수 있습니다. 이러한 비로컬 반환은 람다 내에 위치하지만 둘러싼 인라인 함수를 종료합니다.