V akých prípadoch a na čo sa používa typ Nothing v programovacom jazyku?

V jazyku Kotlin sa typ Nothing používa na označenie funkcií alebo výrazov, ktoré nikdy nevrátia hodnotu, teda sa neskončia normálne. Môže to byť funkcia, ktorá vždy vyhodí výnimku alebo beží nekonečne.

Použitie typu Nothing je užitočné pre prekladač, aby pochopil, že po volaní takejto funkcie kód nepokračuje. Napríklad:

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

Tu fail nikdy nevráti kontrolu volajúcemu kódu. To pomáha pri analýze kódu a napríklad môže zabrániť varovaniam o neinitializovaných premenných alebo nedosiahnuteľnom kóde.

Takisto sa Nothing používa na:

• Označenie funkcií, ktoré nevracajú hodnotu (napríklad vyhadzujú výnimky).
• Pomoc prekladača pri analýze toku vykonávania.
• Predstavenie prázdneho typu, ktorý nemá hodnoty.