Тавсиф кунед, ки чӣ гуна дар Kotlin дар генерикҳо концепсияи ковариансия ва истифодаи он аст

Ковариантӣ дар Kotlin хусусияти умумӣ мебошад, ки имкон медиҳад, ки дар вақти хондан маълумотҳо, навъи бештар мушаххасро ба ҷои навъи асосӣ истифода бурдан мумкин аст. Ин бо калимаи калидии out дар эълони навъ нишон дода мешавад, масалан, interface Producer<out T>. Ин маъно дорад, ки Producer<Cat> метавонад дар ҷойҳое истифода шавад, ки интизор меравад Producer<Animal>, агар Cat аз Animal мерос гирад.

Истифодаи ковариантӣ дар ҳолатҳои, ки умумӣ танҳо барои баровардан (хониш) маълумотҳо истифода мешавад, вале на барои навиштан, муфид аст. Ин бехатарии навъҳоро таъмин мекунад ва флексиблӣ дар API.

Масалан:

open class Animal
class Cat : Animal()

interface Producer<out T> {
    fun produce(): T
}

fun feedAnimals(animals: Producer<Animal>) {
    val animal = animals.produce()
    // ғизо додани ҳайвон
}

val catsProducer: Producer<Cat> = object : Producer<Cat> {
    override fun produce() = Cat()
}

feedAnimals(catsProducer) // Ба шарофати ковариантӣ кор мекунад