Неоднозначный оператор << выбор

Question

У меня есть некоторый код, который, очень упрощенная, выглядит примерно так:

#include <iostream> 
#include <type_traits> 

namespace X { 
    struct Foo {int x;}; 
    struct Bar {int x;}; 

    template <typename T , typename = typename std::enable_if< 
                   std::is_same<decltype(T::x),int>::value 
                  >::type> 
    std::ostream & operator<<(std::ostream & os, const T&) { 
     return os; 
    } 
} 

namespace Y { 
    struct Faa : X::Foo {int y;}; 
    struct Baz {int x; int y;}; 

    template <typename T , typename = typename std::enable_if< 
                   std::is_same<decltype(T::x),int>::value && 
                   std::is_same<decltype(T::y),int>::value 
                  >::type> 
    std::ostream & operator<<(std::ostream & os, const T&) { 
     return os; 
    } 
} 


int main() { 
    // Everything is ok 
    X::Foo x; 
    std::cout << x; 

    Y::Baz k; 
    std::cout << k; 

    // Problems.. 
    Y::Faa y; 

    // std::cout << y; // <--operator is ambiguous 
    Y::operator<<(std::cout, y); 

    return 0; 
} 

Есть ли способ, чтобы избежать неоднозначного оператора для Y::Faa и необходимости вручную указать Y::operator<<? Если нет, то почему?

Answer 1

Две функции имеют конфликт, поскольку условия их аргументов имеют непустое пересечение (на самом деле, 1-й заменяет второй). Перегрузка функций работает только в том случае, если подписи различны. Таким образом, чтобы решить эту проблему, мы имеем 2 варианта:

Изменить условия так, что они имеют пустое пересечение (вручную запретить имеющие y поле, добавляя && !sfinae_has_member_y<T>::value условие 1 enable_if)

template<typename T> 
struct sfinae_has_member_y { 
    static int has(...); 
    template<typename U = T, typename = decltype(U::y)> 
    static char has(const U& value); 
    enum { value = sizeof(char) == sizeof(has(std::declval<T>())) }; 
}; 

или используйте другой C++ функция, которая поддерживает совпадение аргументов, например struct/class template специализация. Если заменить bool с int, другие поля могут быть добавлены также:

template<typename T, bool> 
struct Outputter { 
}; 
template<typename T> 
struct Outputter<T, false> { 
    static std::ostream & output(std::ostream & os, const T&) { 
     os << "x"; 
     return os; 
    } 
}; 
template<typename T> 
struct Outputter<T, true> { 
    static std::ostream & output(std::ostream & os, const T&) { 
     os << "y"; 
     return os; 
    } 
}; 

template<typename T, typename = std::enable_if_t<std::is_same<decltype(T::x), int>::value>> 
std::ostream & operator<<(std::ostream & os, const T& a) { 
    return Outputter<T, sfinae_has_member_y<T>::value>::output(os, a); 
}