Surcharge des opérateurs

Un article de Wikipédia, l'encyclopédie libre.

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.

[modifier] 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 deux fois 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.