Kādi ir nianses, lietojot tipu Nothing ģenerikos?

Kotlin Nothing tips ir īpašs tips, kam nav vērtību un to izmanto, lai apzīmētu funkcijas, kas nekad neatgriež rezultātu (piemēram, izmet izņēmumu vai darbojas bezgalīgi).

Generiku (generics) kontekstā Nothing spēlē svarīgu lomu:

• Tipa zemākās robežas izmantošana — Nothing ir visu tipu apakštips, tāpēc to var izmantot, lai norādītu, ka tipa parametrs nevar saturēt vērtības.
• Vērtības trūkuma izteikšana — piemēram, List<Nothing> ir saraksts, kurš nevar saturēt nevienu elementu.
• Droša norāde uz tipa trūkumu kovariantās pozīcijās.

Piemērs izmantošanā generikos:

fun <T> fail(): T {
    throw RuntimeException("Failure")
}

val x: String = fail() // Kompilators saprot, ka fail() atgriež `Nothing`, kas ir String apakštips

Vai kolekcijās:

val emptyList: List<Nothing> = listOf()

Tādējādi Nothing palīdz kompilatoram saprast, ka dažās vietās nebūs vērtību, un ļauj droši strādāt ar šādiem gadījumiem generikos.