Critique de la Surcharge en C++

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

Code:

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.