Привет всем, вопрос про SFINAE. Как обычно есть функция поведение которой

Question

Привет всем, вопрос про SFINAE. Как обычно есть функция поведение которой

зависит от свойств типов передаваемых параметров (наличие/отсутсвие некоторых методов, арифметрический ли это тип, и т.д.)
сейчас пачка специализаций через enable_if
template<typename T>
typename enable_if_t<has_method_foo<T>::value, bool> doSomething(T t)

template<typename T>
typename enable_if_t<has_method_bar<T>::value, bool> doSomething(T t)
и т.д.
Вопрос как добавить поведение по-умолчанию?,
т.е. если другие enable_if не специализировали функцию, то использовать эту реализацию
Я знаю что это можно делать через тот же enable_if, но с исключающими условиями:
template<typename T>
typename enable_if_t<!has_method_bar<T>::value && !has_method_foo<T>::value, bool> doSomething(T t) { doDefault(t); }
Такой способ подходит, до тех пор пока специализаций мало.
Существует ли более удобный способ использовать SFINAE, где можно было бы удобно указать реализацию по-умолчанию?

#c++ #embedded #programming #russian

0

12.04.2017

1 ответов

12 просмотров

🐙 Antony Polukhin · Accepted Answer

В подобных случаях можно воспользоваться трюком из Boost.Variant: template<typename T> typename enable_if_t<has_method_foo<T>::value, bool> doSomething_impl(T t,long); template<typename T> typename enable_if_t<has_method_bar<T>::value, bool> doSomething_impl(T t, long); template<typename T> bool doSomething_impl(T t, int) { return doDefault(t); } template<typename T> bool doSomething(T t, int) { return doSomething_impl(t, 1L); } 1L будет пытаться сматчится с функциями принимающими long в первую очередь. Когда все такие функции закончатся - возьмёт doSomething_impl(T t, int). Неиспользуемый параметр у шаблонной функции все современные компиляторы должны выкидывать, так что на производительность никак не повлияет.

170 похожих чатов

Привет всем, вопрос про SFINAE. Как обычно есть функция поведение которой

1 ответов

Похожие вопросы