operator==

[220Volt]

Добрый день, как правильно записать:

template <typename>
struct S
{
    struct SS{};
};

template <typename T>
bool operator==(const typename S<T>::SS &, const typename S<T>::SS &) {return true;}

int main()
{
    S<int>::SS t, y;
    if(t == y)
        cout << "sfsdf";

    return 0;
}

Т.е. необходим внешний operator==(S::SS, S::SS) (в разных модулях может быть свой оператор) для любого S. Сделать внутренний ==, вынести SS наружу - не вариант.

[waleri]

template <>
bool operator ==<int> (const typename S<int>::SS& one, const typename S<int>::SS& two)
{
    return false;
}

Только странно все это...

[220Volt]

Ну это понятно, как без явной специализации?

[_Bers]

Сообщение от 220Volt

необходим внешний operator==(S::SS, S::SS) (в разных модулях может быть свой оператор) для любого S. Сделать внутренний ==, вынести SS наружу - не вариант.

Если ед. трансляций требуется собственная версия оператора, то самый простой и правильный способ - не выносить шаблоно-прототип в хэдэр, а объявить и определить его внутри этих ед. трансляций:

some.cpp

//безымянный спейс гарантирует, 
// что его содержимое будет недоступно для других ед. трансляций
namespace
{
    template <class T>
    bool operator==(const typename S<T>::SS &, 
                            const typename S<T>::SS &) 
    {return true;}
}

И так в каждой ед. трансляции, где это нужно. Можно спокойно впиливать свою собственную реализацию.