Koje su nijanse primene tipa Nothing u generičkim tipovima?

Tip Nothing u Kotlinu je poseban tip koji nema vrednosti i koristi se za označavanje funkcija koje nikada ne vraćaju rezultat (npr., koje bacaju izuzetak ili se izvršavaju beskonačno).

U kontekstu generika (generics) Nothing igra važnu ulogu:

• Koristi se kao donja granica tipa — Nothing je podtip svih tipova, pa se može koristiti za označavanje da parametar tipa ne može imati vrednosti.
• Omogućava izražavanje odsustva vrednosti — na primer, List<Nothing> je lista koja ne može sadržati nijedan element.
• Koristi se za sigurno označavanje odsustva tipa na kovarijantnim pozicijama.

Primer upotrebe u generikima:

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

val x: String = fail() // Kompajler razume da fail() vraća `Nothing`, što je podtip Stringa

Ili u kolekcijama:

val emptyList: List<Nothing> = listOf()

Na ovaj način, Nothing pomaže kompajleru da razume da na nekim mestima neće biti vrednosti, i omogućava siguran rad sa takvim slučajevima u genericima.