Explique le concept d'invariance dans les génériques de Kotlin et pourquoi il est utilisé.

L'invariance en Kotlin signifie que si vous avez un type générique Generic<T>, alors Generic<A> et Generic<B> ne sont pas liés par une relation d'héritage, même si A est un sous-type de B. Autrement dit, Generic<A> n'est pas un sous-type de Generic<B>, et vice versa.

Ceci est important pour éviter les erreurs de type lors de la manipulation de structures de données modifiables. Par exemple, si MutableList<String> était un sous-type de MutableList<Any>, il serait possible d'ajouter un objet d'un autre type dans la liste, ce qui violerait la sécurité de type.

En Kotlin, l'invariance est utilisée par défaut pour les collections mutables et autres types où le contenu peut changer. Pour plus de flexibilité, il existe la covariance (out) et la contravariance (in), qui permettent d'étendre ou de réduire les types en toute sécurité dans certains cas.

Exemple d'un type invariant :

class Box<T>(var value: T)

val boxString: Box<String> = Box("texte")
// val boxAny: Box<Any> = boxString // Erreur de compilation : Box<String> n'est pas un sous-type de Box<Any>

Ainsi, l'invariance aide à maintenir la sécurité stricte des types lors de l'utilisation de types génériques.