Surcharge des operateurs

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