Nuansҳои истифодаи навъи 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 кӯмак мекунад, ки компилятор дар баъзе ҷойҳо фаҳмад, ки арзишҳо намеоянд, ва имкон медиҳад, ки бо чунин ҳолатҳо дар генерикҳо бехатар кор кард.