Wat zijn de nuances van het gebruik van het type Nothing in generics?

Het Nothing-type in Kotlin is een speciaal type dat geen waarden heeft en wordt gebruikt om functies aan te duiden die nooit een resultaat teruggeven (bijvoorbeeld, die een uitzondering werpen of oneindig blijven uitvoeren).

In de context van generics speelt Nothing een belangrijke rol:

• Gebruikt als ondergrens van het type — Nothing is een subtype van alle types, dus kan worden gebruikt om aan te geven dat een typeparameter geen waarden kan hebben.
• Maakt het mogelijk om het ontbreken van een waarde uit te drukken — bijvoorbeeld, List<Nothing> is een lijst die geen elementen kan bevatten.
• Wordt toegepast om veilig het ontbreken van een type aan te geven op covariante posities.

Voorbeeld van gebruik in generics:

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

val x: String = fail() // De compiler begrijpt dat fail() `Nothing` teruggeeft, dat een subtype is van String

Of in collecties:

val emptyList: List<Nothing> = listOf()

Op deze manier helpt Nothing de compiler te begrijpen dat er op sommige plaatsen geen waarden zullen zijn, en maakt het veilig werken met dergelijke gevallen mogelijk in generics.