Шаблон для перечисления

Question

Можно ли специализировать шаблонный метод для перечислений?

Нечто подобное (неверный код ниже):

template <typename T> 
void f(T value); 

template <> 
void f<enum T>(T value); 

В случае, если это невозможно, то предположим, что у меня есть специализаций для ряда типов, как int, unsigned int, long long, unsigned long long и т.д., то какая из специализаций будет использовать значение enum?

Answer 1

std::enable_ifstd::is_enum от <type_traits> для этого.

In an answer to one of my questions, litb опубликовано очень подробное и хорошо написанное объяснение того, как это можно сделать с эквивалентами Boost.

Answer 2

Я не уверен, если я правильно понимаю ваш вопрос, но вы можете создать экземпляр шаблона на конкретных перечислений:

template <typename T> 
void f(T value); 

enum cars { ford, volvo, saab, subaru, toyota }; 
enum colors { red, black, green, blue }; 

template <> 
void f<cars>(cars) { } 

template <> 
void f<colors>(colors) { } 

int main() { 
    f(ford); 
    f(red); 
} 

Answer 3

Предположительно, только интересно, что вы могли бы сделать с типом, который они только вещь, которую вы знаю, что это переименование, отбрасывает его в свой базовый тип и работает над этим. Вот как это может выглядеть следующим образом, используя предложенный подход Джеймса (AKA SFINAE):

void Bar(int b); // and/or other underlying types 

template<typename T> 
typename std::enable_if<std::is_enum<T>::value, void>::type 
Foo(T enm) 
{ 
    Bar(static_cast<typename std::underlying_type<T>::type>(enm)); 
} 

как взаимосвязанное бонус, вот подобный метод, который бы только разрешится для определенного типа по вашему выбору (заменить логическое значение в is_same к типу вашего выбора):

template<typename T> 
typename std::enable_if<std::is_same<T,bool>::value, void>::type 
Baz(T bl) 
{ 
    if (bl) 
    { 
     //... 
    } 
    else 
    { 
     //... 
    } 
}