C++ Erreur de recherche de nom de fonction surchargée

Question

J'ai rencontré une erreur étrange concernant la recherche de nom en C++.

L'erreur peut être recréée en utilisant l'exemple minimale suivante:

#include <vector> 
#include <iostream> 

std::ostream& operator<<(std::ostream& out, const std::vector<int>& a) { 
    for (size_t i = 0; i < a.size(); i++) { 
     out << a[i] << std::endl; 
    } 
    return out; 
} 

namespace Test { 

    struct A { 
     // Label 1 
     friend std::ostream& operator<<(std::ostream& out, const A&) { 
      return out << "A" << std::endl; 
     } 
    }; 

    struct B { 
     void printVector() noexcept { 
      std::vector<int> v{1, 2, 3}; 
      std::cout << v << std::endl; // The error occurs in this line 
     } 
     // Label 2 
     friend std::ostream& operator<<(std::ostream& out, const B&) { 
      return out << "B" << std::endl; 
     } 
    }; 

} 

int main() { 
    Test::B().printVector(); 
} 

Compiler cela va entraîner dans le message d'erreur suivant:

cannot bind 'std::ostream {aka std::basic_ostream<char>}' lvalue to 'std::basic_ostream<char>&&' 

Vous pouvez tester par vous-même ici: http://cpp.sh/5oya

La partie étrange est, que le code compile et fonctionne bien si vous supprimez l'une des fonctions étiquetées avec // Label 1 respectivement // Label 2.

Ma question est maintenant: Que se passe-t-il ici? Comment peut-il être réparé?

Answer 1

Autre solution de contournement sera surcharger l'opérateur < < l'intérieur de l'espace de noms std, au lieu de l'espace de noms global (La recherche va trouver à portée d'espace de noms)

namespace std 
{ 
    std::ostream& operator<<(std::ostream& out, const std::vector<int>& a) { 
     for (size_t i = 0; i < a.size(); i++) { 
      out << a[i] << std::endl; 
     } 
     return out; 
    } 
} 

Essayez Here.

[edited]

Une autre solution, et pour les puritains qui ne veulent pas polluer l'espace de noms global, ou std, est à

...have the insertion operators in the same namespace as the class upon which it operates.

... comme discuté here.

namespace Test 
{ 
    std::ostream& operator<<(std::ostream& out, const std::vector<int>& a) { 
     for (size_t i = 0; i < a.size(); i++) { 
      out << a[i] << std::endl; 
     } 
     return out; 
    } 
} 

Code de travail here.

Answer 2

Vous rencontrez des problèmes d'ADL, même si je pense que la recherche de noms devrait avoir trouvé votre surcharge dans l'espace de noms global. (Je n'ai pas de guillemets standard C++ spécifiques pour savoir si le compilateur est encore faux). GCC (version 6.3) et compilateurs Clang (version 3.8.0) trouve la surcharge vu here

Une solution consiste à importer le name de l'opérateur global dans votre espace de noms actuel:

std::vector<int> v{1, 2, 3}; 
using ::operator <<; 
std::cout << v << std::endl; 

Comme on le voit ici: http://cpp.sh/95kuq

Un autre travail autour est d'appeler explicitement la surcharge globale comme:

std::vector<int> v{1, 2, 3}; 
::operator << (std::cout, v); 
std::cout << std::endl; 

Comme on le voit ici: http://cpp.sh/4btyq