Wyjaśnij koncepcję invariancji w generykach Kotlin i dlaczego jest ona używana.

Inwariancja w Kotlin oznacza, że jeśli masz generyczny typ Generic<T>, to Generic<A> i Generic<B> nie są powiązane relacją dziedziczenia, nawet jeśli A jest podtypem B. Innymi słowy, Generic<A> nie jest podtypem Generic<B>, i odwrotnie.

Jest to ważne, aby uniknąć błędów typów podczas pracy z modyfikowalnymi strukturami danych. Na przykład, gdyby MutableList<String> był podtypem MutableList<Any>, można byłoby dodawać do listy obiekty innych typów, co naruszałoby bezpieczeństwo typów.

W Kotlinie, inwariancja jest domyślnie stosowana do kolekcji modyfikowalnych i innych typów, gdzie zawartość może się zmieniać. Dla większej elastyczności istnieje kowariancja (out) i kontrawariancja (in), które pozwalają bezpiecznie rozszerzać lub zawężać typy w określonych przypadkach.

Przykład typu inwariantowego:

class Box<T>(var value: T)

val boxString: Box<String> = Box("tekst")
// val boxAny: Box<Any> = boxString // Błąd kompilacji: Box<String> nie jest podtypem Box<Any>

W ten sposób inwariancja pomaga zachować ścisłą bezpieczeństwo typów podczas pracy z generycznymi typami.