Variance en Java

Grâce à ses puissantes capacités de programmation orientée objet, Java offre aux programmeurs de multiples mécanismes pour développer du code flexible et efficace. L’un des concepts souvent négligés mais cruciaux est la variance. Comprendre la variance est crucial pour maîtriser Java, en particulier lorsque vous travaillez avec des génériques et des collections. Cet article examine en profondeur la variance en Java, couvrant ses types (covariance, contravariance et invariance) et ses applications pratiques.

Comprendre la variance

La variance fait référence à la relation entre les sous-types d'un type plus complexe et les sous-types de ses composants. En termes simples, il détermine comment la hiérarchie des types de classes est préservée lorsque ces classes sont utilisées comme paramètres de type. Les variantes deviennent particulièrement importantes lorsqu'il s'agit de génériques, fournissant un cadre pour garantir la sécurité des types tout en permettant un certain degré de flexibilité dans les affectations.

La variance peut être divisée en trois types principaux :

• Covariance - Si ClassB est une sous-classe de ClassA, alors Collection peut être considérée comme une sous-classe de Collection.

• Contravariance - Si ClassB est une sous-classe de ClassA, alors Collection peut être considérée comme une sous-classe de Collection. p>

• Invariance - Collection et Collection n'ont aucune relation de sous-type, quelle que soit la relation entre ClassA et ClassB.

Approfondissons chaque concept.

Covariance en Java

En Java, la covariance est obtenue en utilisant des caractères génériques et une clause d'extension. Prenons un exemple -

List<Animal> animals = new ArrayList<>();
<List<super Cat>cats=animals;

Dans ce cas, vous pouvez ajouter un objet Cat ou n'importe quelle instance de celui-ci à cats, mais vous ne pouvez pas lire à partir de cats et traiter le résultat comme Cat car il peut contenir n'importe quel supertype de Cat, y compris Animal ou Objet. Vous pouvez donc écrire aux chats, mais vous ne pouvez pas le lire de manière sécurisée

Immuabilité en Java

L'immuabilité est le comportement par défaut en Java et signifie qu'il n'y a pas de relation de sous-typage entre Collection et Collection, quelle que soit la relation entre ClassA et ClassB. Cela peut sembler restrictif, mais c'est crucial pour la sécurité du type. En Java, List n'est pas un sous-type de List