Какви са нюансите при използването на типа Nothing в обобщенията?

Типът Nothing в Kotlin е специален тип, който няма стойности и се използва за обозначаване на функции, които никога не връщат резултат (например, които хвърлят изключение или се изпълняват безкрайно).

В контекста на генериците (generics) Nothing играе важна роля:

• Използва се като долна граница на типа — Nothing е подтип на всички типове, така че може да се използва, за да се посочи, че параметърът на типа не може да има стойности.
• Позволява изразяване на липсата на стойност — например, List<Nothing> е списък, който не може да съдържа никакви елементи.
• Използва се за безопасно указване на липсата на тип в коваріантни позиции.

Пример за използване в генерики:

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

val x: String = fail() // Компилаторът разбира, че fail() връща `Nothing`, който е подтип на String

Или в колекции:

val emptyList: List<Nothing> = listOf()

По този начин, Nothing помага на компилатора да разбере, че на някои места няма да има стойности, и позволява безопасна работа с такива случаи в генериците.