반환과 점프
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
는 해당 루프의 다음 반복으로 진행합니다.
NOTE
어떤 경우에는 레이블을 명시적으로 정의하지 않고 break
와 continue
를 비지역적으로 적용할 수 있습니다.
이러한 비지역적 사용은 바깥 인라인 함수에서 사용되는 람다 표현식에서 유효합니다.
레이블에 대한 반환
Kotlin에서 함수는 함수 리터럴, 로컬 함수 및 객체 표현식을 사용하여 중첩될 수 있습니다. 한정된 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()
}
이제 람다 표현식에서만 반환됩니다. 종종 _암시적 레이블_을 사용하는 것이 더 편리한데, 이러한 레이블은 람다가 전달되는 함수와 동일한 이름을 가지기 때문입니다.
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
에 직접적인 등가물은 없지만, 다른 중첩 람다를 추가하고 그로부터 비지역적으로 반환함으로써 시뮬레이션할 수 있습니다.
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()
}
값을 반환할 때, 파서는 한정된 반환에 우선순위를 부여합니다.
return@a 1
이는 "레이블 @a
에서 1
을 반환"한다는 의미이며, "레이블이 지정된 표현식 (@a 1)
을 반환"한다는 의미가 아닙니다.