Как использовать enable_if для взаимоисключающих шаблонов функций, не являющихся членами?
Я пытаюсь написать шаблоны функций, не являющихся членами оператора, например:
#include <utility>
template < typename T, unsigned L >
class MyType;
template < typename T, typename U, unsigned L >
auto operator ==( MyType<T,L> const &l, MyType<U,L> const &r )
-> decltype( std::declval<T>() == std::declval<U>() )
{ /*...*/ }
Но когда я пытаюсь справиться, когдаl
а такжеr
имеют разные длины:
template < typename T, unsigned Lt, typename U, unsigned Lu, class Enable = typename std::enable_if<(Lt < Lu)>::type >
auto operator ==( MyType<T,Lt> const &l, MyType<U,Lu> const &r )
-> decltype( std::declval<T>() == std::declval<U>() )
{ /*...*/ }
template < typename T, unsigned Lt, typename U, unsigned Lu, class Enable = typename std::enable_if<(Lt > Lu)>::type >
auto operator ==( MyType<T,Lt> const &l, MyType<U,Lu> const &r )
-> decltype( std::declval<T>() == std::declval<U>() )
{ /*...*/ }
Я получаю ошибки неоднозначности. Я попробовал что-то вроде:
template < typename T, unsigned Lt, typename U, unsigned Lu, bool B = (Lt < Lu), class Enable = typename std::enable_if<B>::type >
auto operator ==( MyType<T,Lt> const &l, MyType<U,Lu> const &r )
-> decltype( std::declval<T>() == std::declval<U>() )
{ /*...*/ }
template < typename T, unsigned Lt, typename U, unsigned Lu, bool B = (Lt > Lu), class Enable = typename std::enable_if<B>::type >
auto operator ==( MyType<T,Lt> const &l, MyType<U,Lu> const &r )
-> decltype( std::declval<T>() == std::declval<U>() )
{ /*...*/ }
который я прочитал (здесь на S.O.), чтобы решить подобные проблемы для шаблонов функций-членов. (Иногда респонденты меняли функцию-член на шаблон функции-члена, чтобы включить это.) Но ошибки для меня не меняются. Должен ли я перейти к положениюenable_if
в тип возврата?
О, выражение возвращаемого типа должно исключать этот оператор, когда два типа элементов нельзя сравнивать. Будет ли это на самом деле работать? Это совместимо с положениемenable_if
там тоже?