Was ist der Zweck des Datentyps Nothing in der Programmierung?

Der Datentyp Nothing in der Programmierung wird üblicherweise verwendet, um das Fehlen eines Wertes oder die Unmöglichkeit, einen Wert zurückzugeben, zu kennzeichnen. In Sprachen wie Kotlin bedeutet Nothing, dass eine Funktion niemals die Kontrolle an den Aufrufer zurückgibt – zum Beispiel, sie wirft immer eine Ausnahme oder befindet sich in einer Endlosschleife.

Beispiel für die Verwendung in Kotlin:

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

Hier gibt die Funktion fail niemals einen Wert zurück, daher ist ihr Typ Nothing. Dies hilft dem Compiler zu verstehen, dass nach dem Aufruf einer solchen Funktion der Code nicht fortgesetzt wird.