Surcharge des operateurs

Surcharge des operateurs

Surcharge des opérateurs

La surcharge statique d'opérateur (également connue sous le nom de polymorphisme ad-hoc) est une technique de programmation où certains opérateurs, ou bien tous (comme +, = ou encore ==) peuvent être traités comme des fonctions et peuvent être définis ou redéfinis pour de nouveaux types de données. Les opérateurs ne sont pas nécessairement des symboles. Parfois la définition de nouveaux opérateurs est autorisée. Il s'agit généralement de sucre syntaxique, et peut facilement être émulé par des appels de fonction :

  • avec surcharge : a + b * c
  • sans surcharge : ajout (a, multiplie (b, c))

Dans le cas où les opérateurs peuvent être appelés implicitement, ils deviennent plus utiles qu'esthétiques. C'est le cas avec l'opérateur to_s de Ruby, qui retourne une représentation chaîne d'un objet et avec les opérateurs de PostgreSQL, où des transformations mathématiques peuvent être définies sur des opérateurs et PostgreSQL peut employer de nombreuses optimisations sur les expressions qui les utilisent.

Le polymorphisme ad-hoc ne doit pas être confondu avec le polymorphisme d'inclusion des langages à objets, permis par l'héritage de classe et la redéfinition de méthode. La sélection de l'opérateur adéquat a lieu à la compilation dans le premier cas, à l'exécution dans le second.

Critique

La surcharge des opérateurs a été critiquée parce qu'elle peut surprendre le lecteur d'un programme, en autorisant le programmeur à donner à un même opérateur des fonctionnalités subtilement différentes en fonction des types de leurs opérandes. L'utilisation en C++ de l'opérateur « << » est un (mauvais) exemple caractéristique : l'expression

a << 1

retournera le double de la valeur de a (sans modifier a) si a est une variable entière, mais si a est un flot de sortie, alors cela déposera « 1 » dedans (et donc modifiera a).

Cette critique peut être étendue aux langages à objets (du modèle objet avec Classes) : la redéfinition d'une méthode permet au programmeur d'en modifier la sémantique ; aucune preuve formelle n'est applicable pour éviter ce problème.

Catalogue

Langages qui acceptent la surcharge statique d'opérateurs et la déclaration de nouveaux opérateurs : SQL de PostgreSQL, Ruby, Haskell

Langages qui acceptent la surcharge statique seulement : Ada, C++, C#, D, Delphi, Perl, Python

Langages qui ne supportent pas la surcharge statique : C, Pascal, Visual Basic, Common Lisp, Java

  • Portail de la programmation informatique Portail de la programmation informatique
Ce document provient de « Surcharge des op%C3%A9rateurs ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Surcharge des operateurs de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Surcharge des opérateurs — La surcharge statique d opérateur (également connue sous le nom de polymorphisme ad hoc) est une technique de programmation qui permet de donner un nouveau rôle aux opérateurs (comme +, = ou ==). Ceux ci sont ainsi traités comme des fonctions et… …   Wikipédia en Français

  • Surcharge (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Surcharge (homonymie) », sur le Wiktionnaire (dictionnaire universel) Au sens général, le mot… …   Wikipédia en Français

  • Arbre (théorie des graphes) — Arbre (informatique) Pour les articles homonymes, voir Arbre (homonymie) . Un arbre binaire En informatique, un arbre est une …   Wikipédia en Français

  • Liste des administrations postales par pays souverains — Ceci est une liste des administrations postales ayant émis des timbres à un moment donné depuis 1840, triée par pays actuels souverains. La liste inclut tout type d entité gouvernementale, incluant les bureaux de postes d un pays dans un pays… …   Wikipédia en Français

  • Reconfiguration dynamique des FPGAs — La Re configuration dynamique des FPGAs consiste à changer la programmation de ces circuits logiques programmables alors qu ils sont en activité. A l origine, ces circuits logiques programmables ont été conçus pour permettre de réaliser très… …   Wikipédia en Français

  • C++ — Apparu en 1983[1] (dernière révision en 2008) …   Wikipédia en Français

  • C Plus Plus — C++ Apparu en 1985 (dernière révision en 2003) Auteur Bjarne Stroustrup …   Wikipédia en Français

  • C plus plus — C++ Apparu en 1985 (dernière révision en 2003) Auteur Bjarne Stroustrup …   Wikipédia en Français

  • Cplusplus — C++ Apparu en 1985 (dernière révision en 2003) Auteur Bjarne Stroustrup …   Wikipédia en Français

  • C++ — C++ Apparu en 1985 (dernière révision en 2003) Auteur Bjarne Stroustrup …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”