In welchen Fällen und wozu wird der Typ Nothing in der Programmiersprache verwendet?

In der Kotlin-Sprache wird der Typ Nothing verwendet, um Funktionen oder Ausdrücke zu kennzeichnen, die niemals einen Wert zurückgeben, also nicht normal enden. Es kann eine Funktion sein, die immer eine Ausnahme wirft oder unendlich läuft.

Die Verwendung des Typs Nothing ist für den Compiler nützlich, um zu verstehen, dass nach dem Aufruf einer solchen Funktion der Code nicht fortgesetzt wird. Zum Beispiel:

fun fail(message: String): Nothing {
    throw IllegalStateException(message)
}

Hier wird fail niemals die Kontrolle an den aufrufenden Code zurückgeben. Das hilft bei der Code-Analyse und ermöglicht es beispielsweise, Warnungen vor nicht initialisierten Variablen oder unerreichbarem Code zu vermeiden.

Daher wird Nothing verwendet für:

• Kennzeichnung von Funktionen, die keinen Wert zurückgeben (z.B. Ausnahmen werfen).
• Unterstützung des Compilers bei der Analyse des Ablaufflusses.
• Darstellung eines leeren Typs, der keine Werte hat.