Vysvětlete koncept invariance v generikách Kotlinu a proč se používá.

Invarianta v Kotlinu znamená, že pokud máte obecný typ Generic<T>, pak Generic<A> a Generic<B> nejsou spojeny dědičnostním vztahem, i když A je podtypem B. Jinými slovy, Generic<A> není podtypem Generic<B>, a naopak.

To je důležité pro zabránění chyb typu při práci s měnitelnými datovými strukturami. Například, pokud by MutableList<String> byl podtypem MutableList<Any>, bylo by možné přidat do seznamu objekt jiného typu, což by porušilo bezpečnost typů.

V Kotlinu je invariance ve výchozím nastavení používána pro měnitelné kolekce a další typy, kde se obsah může měnit. Pro větší flexibilitu existují kovariance (out) a kontravariance (in), které umožňují bezpečně rozšiřovat nebo zužovat typy v určitých případech.

Příklad invarantního typu:

class Box<T>(var value: T)

val boxString: Box<String> = Box("text")
// val boxAny: Box<Any> = boxString // Chyba při kompilaci: Box<String> není podtypem Box<Any>

Tímto způsobem invariance pomáhá zachovat přísnou bezpečnost typů při práci s generickými typy.