El tudná magyarázni a kontravariancia fogalmát a Kotlin generikusokban, és hogyan befolyásolja ez a típusbiztonságot?

A kontravariancia Kotlinban a in kulcsszóval jelölhető, és csak a generikus típusparaméterekre alkalmazható, amelyeket kizárólag értékek fogadására használnak (bemeneti paraméterek). Ez azt jelenti, hogy ha van egy Consumer<in T> osztályod, akkor a Consumer<SuperType> hozzárendelhető egy Consumer<SubType> típusú változóhoz, vagyis a típushelyettesítés iránya az örökléshez képest ellentétes.

Ez segít biztosítani a típusbiztonságot, lehetővé téve egy általánosabb típus használatát ott, ahol egy specifikusabbat várnak, ugyanakkor megtiltja azokat a műveleteket, amelyek futási időben hibákhoz vezethetnek.

Példa:

interface Consumer<in T> {
    fun consume(item: T)
}

open class Animal
class Cat : Animal()

fun feedCat(consumer: Consumer<Cat>) {
    consumer.consume(Cat())
}

val animalConsumer: Consumer<Animal> = object : Consumer<Animal> {
    override fun consume(item: Animal) {
        println("Állat etetése")
    }
}

// A kontravariancia miatt, egy Consumer<Animal> átadható oda, ahol Consumer<Cat> várható
feedCat(animalConsumer)

Itt a Consumer<Animal> használható Consumer<Cat>-ként, mert a Consumer kontravariáns a T típusra. Ez megakadályozza a típusok helytelen használatából eredő hibákat, és lehetővé teszi a generikus típusokkal való rugalmas munkát.