Accueil > Dictionnaire > Définitions du mot « contravariance »
Contravariance
Définitions de « contravariance »
Contravariance - Nom commun
-
(Mathématiques) Ordre inverse de données produit par un opérateur.
-
(Programmation orientée objet) Propriété des types des arguments d'une méthode qui, lors d'une redéfinition par surcharge, deviennent plus généraux.
on dit qu'un langage applique la règle de contravariance si, dans le cas d'une redéfinition de méthode, le type les arguments ou le type du résultat peuvent être remplacé par un type plus général.