Covariance, invariance et contravariance : comment les relations de sous-types se transforment-elles ?

Comprendre la covariance, l'invariance et la contravariance

Comprendre les subtilités de la covariance, de l'invariance et de la contravariance est crucial pour maîtriser les relations de types en programmation.

Que sont Ils ?

Essentiellement, ces termes décrivent comment la relation entre les types et les sous-types se transforme. Considérons un scénario dans lequel nous avons deux types, A et B, et une fonction de transformation f. Supposons que ≤ désigne la relation de sous-type (avec A ≤ B indiquant que A est un sous-type de B).

• Covariant : f est covariant si A ≤ B implique f(A) ≤ f(B).
• Contravariant : f est contravariant si A ≤ B implique f(B) ≤ f(A).
• Invariant : f est invariant si aucune des conditions ci-dessus n'est remplie.

Exemples en Java

Explorons quelques exemples Java pour les clarifier concepts :

• Covariance : Considérons f(A) = Liste. Depuis qu'une liste n'est pas un sous-type de List