Vysvetlite rozdiely medzi kľúčovými typmi nil, void a never v programovaní.

V programovaní majú kľúčové typy nil, void a never odlišné významy a používajú sa v rôznych kontextoch:

• nil — zvyčajne označuje neprítomnosť hodnoty alebo "prázdnotu" pre ukazovatele alebo referenčné typy. V jazykoch ako Swift alebo Objective-C znamená nil, že premenná neukazuje na žiadny objekt.

• void — sa používa na označenie, že funkcia alebo metóda nevracia žiadnu hodnotu. Napríklad funkcia s typom void nevracia výsledok.

• never — je typ, ktorý označuje, že funkcia nikdy nevráti kontrolu (napríklad, vždy volá chybu alebo vstupuje do nekonečného cyklu). Vo Swift je tento typ Never. Je užitočný pre funkcie, ktoré ukončujú program alebo spôsobujú fatálnu chybu.

Príklad vo Swift:

func doNothing() -> Void {
    // nič nevracia
}

func fail() -> Never {
    fatalError("Program sa ukončil chybou")
}

var optionalObject: String? = nil  // nil znamená absenciu hodnoty