Définition de contravariance | Babel Free

Définitions

1. Ordre inverse de données produit par un opérateur. Définition manquante ou à compléter. (Ajouter)
2. Propriété des types des arguments d'une méthode qui hérite par surcharge, de devenir plus généraux.

Exemples

“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.”