Vysvetlite koncept invariantnosti v Kotlin generikách a prečo sa používa

Invariancia v Kotlin znamená, že ak máte všeobecný typ Generic<T>, tak Generic<A> a Generic<B> nie sú medzi sebou v dedičskom vzťahu, aj keď A je podtypom B. Inými slovami, Generic<A> nie je podtypom Generic<B>, a naopak.

Toto je dôležité na zabránenie chýb typu pri práci s meniteľnými dátovými štruktúrami. Napríklad, ak by MutableList<String> bol podtypom MutableList<Any>, bolo by možné do zoznamu pridať objekt iného typu, čo by narušilo bezpečnosť typov.

V Kotlin je invariancia predvolená pre modifikovateľné kolekcie a iné typy, kde sa obsah môže meniť. Pre väčšiu flexibilitu existujú kovariancia (out) a kontravariancia (in), ktoré umožňujú bezpečne rozširovať alebo zužovať typy v určitých prípadoch.

Príklad invariančného typu:

class Box<T>(var value: T)

val boxString: Box<String> = Box("text")
// val boxAny: Box<Any> = boxString // Chyba pri kompilácii: Box<String> nie je podtypom Box<Any>

Takto invariancia pomáha zachovať prísnu bezpečnosť typov pri práci s generickými typmi.