Définition d'opérateur

La définition d'opérateur est une fonctionnalité offerte par certains langages de programmation qui permet d'utiliser des opérateurs (comme +, = ou ==) comme des fonctions ou des méthodes en les définissant 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 ou de méthode : * avec définition d'opérateurs : a + b * c ; * sans définition d'opérateurs : somme (a, produit (b, c)). Lorsque les opérateurs sont des fonctions, on parle en général de surcharge d'opérateur, car l'implémentation est choisie en fonction du type des opérandes (on parle également de polymorphisme ad hoc). C'est notamment le cas en C++. Tous les langages permettant la définition d'opérateur ne permettent pas la surcharge. Python, par exemple, ne supporte pas la surcharge, mais permet de définir des opérateurs via des méthodes spéciales. 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, sur lesquels peuvent être définies des transformations mathématiques. PostgreSQL peut aussi employer de nombreuses optimisations sur les expressions qui utilisent ces opérateurs.