Synonymes de contravariance

/kɔ̃.tʁa.va.ʁjɑ̃s/

Publicité

★ Synonymes

Propriété de la correspondance entre types ou fonctions où l'ordre des relations est inversé (si A est sous-type de B, alors f(B) est sous-type de f(A)).

En programmation, capacité d'un paramètre de fonction ou d'une interface à accepter un type plus général que celui déclaré.

Concept mathématique ou logique où l'ordre des éléments est renversé dans une transformation.

≡ Synonymes

Ordre inverse de données produit par un opérateur.

  • opérateurlié
    Celui qui fait des opérations de chirurgie

Propriété des types des arguments d'une méthode qui hérite par surcharge, de devenir plus généraux.

  • typelié
    Ensemble des traits généraux qui caractérisent un genre d’êtres ou de choses.
  • argumentlié
    Raisonnement construit selon certaines règles, par lequel on tire méthodiquement une conséquence d’une ou de plusieurs propositions.
  • méthodelié
    Disposition des matières et des pensées dans l’ordre le plus conforme à la raison et le plus propre à faciliter l’intelligence de l’ensemble, en parlant des ouvrages de l’esprit
  • héritagelié
    Mécanisme par lequel une classe transmet ses attributs et méthodes à une autre.
  • surchargelié
    Création de plusieurs méthodes d’une classe ayant le même nom, mais dont les arguments diffèrent.
  • généralisationlié
    Action de généraliser

↔ Contraires

Tous les sens

  • covariance
    Méthode mathématique d’évaluation du sens de variation de deux variables (moyenne de leurs produits centrés sur leurs espérances mathématiques, ou encore différence entre la moyenne de leurs produits et le produit de leurs moyennes) et permettant de qualifier leur indépendance.
  • invariance
    Qualité de ce qui est invariant, qui ne change pas.