Перегрузка операторов лязг ++ и г ++ отличается выход

Question

С помощью этой программы образца я наблюдаю другое поведение в г ++ и лязг

foo.h:

#include <iostream> 

namespace Bar 
{ 

class Foo 
{ 
public: 

    Foo(int x) : _x(x) 
    {} 

    int x() const 
    { 
     return _x; 
    } 

private: 

    int _x; 
}; 

} 

std::ostream& operator <<(std::ostream& os, const Bar::Foo* foo); 

foo.cpp

#include <Foo.h> 

using namespace std; 

ostream& operator <<(ostream& os, const Bar::Foo* foo) 
{ 
    return os << foo->x(); 
} 

основной. cpp

#include <iostream> 

using namespace std; 

template<typename T> 
void print(const T& t) 
{ 
    cout << t << endl; 
} 

#include <Foo.h> 

int main(int argc, char** argv) 
{ 
    Bar::Foo* foo = new Bar::Foo(5); 
    print(foo); 
} 

Компиляция с помощью clang ++ и g ++ дает разные результаты:

air:~ jose$ clang++ Foo.cpp main.cpp -I. 
air:~ jose$ ./a.out 
0x7ff9e84000e0 
air:~ jose$ g++ Foo.cpp main.cpp -I. 
air:~ jose$ ./a.out 
5 

Какой из них правильный и почему ?.

Answer 1

В этом конкретном случае clang ++ является правильным.

Проблема заключается в том, как поиск выполняется внутри шаблона print. В выражении внутри print вызов operator<< равен зависимым. Разрешение имен для зависимых имен обрабатываются в 14.6.4:

В решении зависимых имен, имен из следующих источников считается:

- Объявления, которые видны в момент определения шаблона ,

- Объявления из пространств имен, связанных с типами аргументов функции как из контекста создания (14.6.4.1), так и из контекста определения.

В вашем случае, декларация вашего оператора не видно в точке определения шаблона, поскольку заголовок включается после этого, и он не живет ни в одном из соответствующих пространств имен аргументов функций (а именно ::std для ::std::ostream и ::Bar для ::Bar::Foo*), поэтому его не найти.

Теперь есть перегрузка в ::std, которая занимает void*, и это будет найдено в зависимости от искателя Аргумент. ::Bar::Foo* будет преобразован в void*, и адрес будет распечатан.

То есть, в стандартном совместимом компиляторе.

Я забыл добавить это здесь, и оставил его только в комментариях, но это достаточно важно:

Всегда определить операторы, которые применяются к вашим типам в том же пространстве имен, который содержит типы, на которых они применяются. Пусть зависящий от аргумента поиск сделает для вас магию. Он был специально разработан, чтобы служить этой конкретной цели, использовать его.