Returns and jumps
Kotlin has three structural jump expressions:
returnby default returns from the nearest enclosing function or anonymous function
breakterminates the nearest enclosing loop
continueproceeds to the next step of the nearest enclosing loop
All of these expressions can be used as part of larger expressions:
The type of these expressions is the Nothing type.
Break and continue labels
Any expression in Kotlin may be marked with a label. Labels have the form of an identifier followed by the
@ sign, for example:
fooBar@. To label an expression, just add a label in front of it.
Now, we can qualify a
break or a
continue with a label:
break qualified with a label jumps to the execution point right after the loop marked with that label. A
continue proceeds to the next iteration of that loop.
Return at labels
With function literals, local functions and object expressions, functions can be nested in Kotlin. Qualified
return s allow us to return from an outer function. The most important use case is returning from a lambda expression. Recall that when we write this:
return -expression returns from the nearest enclosing function -
foo. Note that such non-local returns are supported only for lambda expressions passed to inline functions. To return from a lambda expression, label it and qualify the
Now, it returns only from the lambda expression. Oftentimes it is more convenient to use implicit labels: such a label has the same name as the function to which the lambda is passed.
Alternatively, you can replace the lambda expression with an anonymous function. A
return statement in an anonymous function will return from the anonymous function itself.
Note that the use of local returns in previous three examples is similar to the use of
continue in regular loops. There is no direct equivalent for
break, but it can be simulated by adding another nesting lambda and non-locally returning from it:
When returning a value, the parser gives preference to the qualified return:
This means "return
1 at label
@a" and not "return a labeled expression
(@a 1) ".