Objasnite koncept invariantnosti u Kotlin generičkim i zašto se ona koristi.

Invarijantnost u Kotlinu znači da ako imate generički tip Generic<T>, onda Generic<A> i Generic<B> nisu povezani odnosom nasleđivanja, čak i ako je A podtip B. Drugim rečima, Generic<A> nije podtip Generic<B>, i obrnuto.

Ovo je važno za izbegavanje grešaka u tipu prilikom rada sa promenjivim strukturama podataka. Na primer, ako bi MutableList<String> bio podtip MutableList<Any>, bilo bi moguće dodati u listu objekat drugog tipa, što bi narušilo sigurnost tipova.

U Kotlinu, invariancija se podrazumevano koristi za kolekcije koje se mogu menjati i druge tipove gde sadržaj može da se menja. Za veću fleksibilnost postoje kovarijantnost (out) i kontravijantnost (in), koje omogućavaju sigurno proširenje ili sužavanje tipova u određenim slučajevima.

Primer invarijantnog tipa:

class Box<T>(var value: T)

val boxString: Box<String> = Box("tekst")
// val boxAny: Box<Any> = boxString // Greška pri kompilaciji: Box<String> nije podtip Box<Any>

Na ovaj način, invariancija pomaže da se sačuva stroga sigurnost tipova pri radu sa generičkim tipovima.