Wyjaśnij koncepcję kowariancji w generykach w Kotlinie i jej zastosowanie

Kowariancja w Kotlinie to właściwość generyków, która pozwala na użycie bardziej konkretnego typu zamiast typu bazowego podczas odczytu danych. Jest oznaczana słowem kluczowym out w deklaracji typu, na przykład interface Producer<out T>. Oznacza to, że Producer<Cat> można używać tam, gdzie oczekiwany jest Producer<Animal>, jeśli Cat dziedziczy po Animal.

Zastosowanie kowariancji jest przydatne, gdy generyk jest używany tylko do wyjścia (odczytu) danych, a nie do zapisu. Zapewnia to bezpieczeństwo typów i elastyczność API.

Przykład:

open class Animal
class Cat : Animal()

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

fun feedAnimals(animals: Producer<Animal>) {
    val animal = animals.produce()
    // karmimy zwierzę
}

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

feedAnimals(catsProducer) // Działa dzięki kowariancji