V jakých případech a k čemu se používá typ Nothing v programovacím jazyce?

V jazyce Kotlin se typ Nothing používá k označení funkcí nebo výrazů, které nikdy nevrátí hodnotu, tj. neskončí normálně. Může to být funkce, která vždy vyhodí výjimku nebo běží nekonečně.

Použití typu Nothing je užitečné pro překladač, aby pochopil, že po volání takové funkce kód nepokračuje. Například:

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

Zde fail nikdy nevrátí kontrolu volajícímu kódu. To pomáhá při analýze kódu a například může zabránit varováním o neinitializovaných proměnných nebo nedosažitelném kódu.

Tudíž se Nothing používá pro:

• Označení funkcí, které nevracejí hodnotu (například vyhazují výjimky).
• Pomoc překladači při analýze toku provádění.
• Zobrazení prázdného typu, který nemá hodnoty.