SFINAE с функциями и эмулированием частичной специализации шаблона

Question

Я пытаюсь создать функцию X, которая специализируется, когда предоставляется функция-член Y, и если функция-член Y не предоставляется, функция X использует глобальную функцию-член-член Y для достижения такой же эффект.

Я в настоящее время пытаюсь добиться этого с помощью следующего кода

template <typename Container, typename std::enable_if_t<std::is_same< 
      decltype(std::declval<Container>().y()), 
      decltype(std::declval<Container>().y())>::value>* = nullptr> 
void do_something(Container&& container) { 
    return std::forward<Container>().y(); 
} 

template <typename Container, typename std::enable_if_t<!std::is_same< 
      decltype(std::declval<Container>().y()), 
      decltype(std::declval<Container>().y())>::value>* = nullptr> 
void do_something(Container&& container) { 
    return y(std::forward<Container>(container); 
} 

Но в том случае, когда контейнер имеет как функцию-член у и глобальный не член функции у и работает на нем. Ошибка компиляции, потому что для второй версии функции аргумент шаблона плохо сформирован, потому что нужна функция-член y.

Любая идея, как я могу решить эту проблему?

ПРИМЕЧАНИЕ: Это отличается от простого определения того, имеет ли класс функцию данной сигнатуры. Извините, если вопрос, похоже, спрашивает об этом! Принятый ниже ответ должен сделать мое намерение более ясным.

Answer 1

Типичный подход заключается в отправке на пару функций, где один предпочтительнее, если ваше условие выполнено, а другое - просто резерв. Хорошая вещь, что вы даже не нужно enable_if, только задняя decltype:

template <class C> 
auto do_something_impl(C&& c, int) 
    -> decltype(std::forward<C>(c).y()) 
{ 
    return std::forward<C>(c).y(); 
} 

template <class C> 
auto do_something_impl(C&& c, ...) 
    -> decltype(y(std::forward<C>(c)) 
{ 
    return y(std::forward<C>(c)); 
} 

А теперь просто проходят в 0:

template <class C> 
auto do_something(C&& c) 
    -> decltype(do_something_impl(std::forward<C>(c), 0)) 
{ 
    return do_something_impl(std::forward<C>(c), 0); 
} 

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