Comment fonctionne la résolution de surcharge de l'opérateur dans les espaces de noms?

Il y a plusieurs problèmes ici; Pour commencer, vous redéfinissez un Fonction dans l'espace de noms global qui existe déjà dans std :: . Les Le problème que vous décrivez, cependant, est dû à la façon dont le nom de recherche fonctionne. Fondamentalement, dans le cas de la surcharge de l'opérateur, le compilateur fait deux Nom Recherches. Le premier (utilisé pour tous les symboles, pas seulement les opérateurs) commence à la portée où le symbole apparaît et fonctionne vers l'extérieur: d'abord les blocs locaux, puis la classe et ses classes de base (le cas échéant), et Enfin, les espaces de noms, travaillant à l'espace de noms global. Un caractéristique importante de cette recherche est qu'il s'arrête dans tout ce que Portée Il trouve le nom: s'il trouve un nom dans la portée locale, il ne doit pas regarde dans toutes les classes; S'il en trouve un dans une classe, il ne regarde pas dans le classes de base ou espaces de noms, et s'il en trouve un dans un espace de noms, il Ne regarde pas dans des espaces de noms entourant. En ce qui concerne cette recherche est concerné, toutes les surcharges doivent être dans la même portée. La seconde recherche affecte uniquement les fonctions et les surcharges de l'opérateur et se produit dans le contexte des classes ou des objets utilisés comme arguments; Ainsi, si l'un des opérandes est une classe dans la bibliothèque standard (ou quelque chose dérivé d'une classe dans le Bibliothèque standard), le compilateur recherchera des fonctions dans std :: , même Bien que le contexte où le symbole est utilisé n'inclut pas std :: . Le problème que vous rencontrez est des types intégrés, tels que char * , ne pas implique tout espace de noms (pas même global): Compte tenu de vos surcharges, le premier recherche s'arrêtera au premier opérateur >> il voit et le second seul regarde dans std :: . Votre fonction est en ni l'un ni l'autre. Si vous voulez un opérateur surchargé à trouver, vous devez le définir dans la portée de un de ses opérandes.

concrètement, ici: vous ne pouvez pas surcharger std :: istream & opérateur >> (std :: istream &, char *) , car il est déjà surchargé dans la bibliothèque standard. std :: istream et opérateur >> (std :: istream &, char const *) est possible, mais je ne suis pas sûr de ce que c'est censé faire, car Il ne peut pas écrire au deuxième opérande. Plus généralement, vous ne devriez que surcharger cet opérateur pour des types que vous avez définis et que vous devriez mettre votre surcharge dans la même espace de noms que le type lui-même, de sorte qu'il sera trouvé par la seconde recherche ci-dessus (appelé argument dépendant Recherche ou ADL-ou antérieur, Koenig Recherche, après la personne qui inventé).