Especialización de plantillas para enumeración

Question

¿Es posible especializar un método de plantillas para enumeraciones?

Algo así como (el código no válido a continuación):

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

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

En el caso que no es posible, entonces suponiendo que tengo especializaciones para una serie de tipos, como int, unsigned int, long long, unsigned long long, etc, entonces ¿Cuál de las especializaciones usará un valor enum?

Answer 1

Puede usar std::enable_if con std::is_enum desde <type_traits> para lograr esto.

In an answer to one of my questions, litb publicó un muy explicación detallada y bien escrita de cómo se puede hacer esto con los equivalentes de Boost.

Answer 2

no estoy seguro si entiendo bien su pregunta, pero se puede crear una instancia de la plantilla en las enumeraciones específicas:

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

Presumiblemente, lo único interesante que podría hacer con un tipo que lo único que lo que se debe saber es que es una enumeración, se envía a su tipo subyacente y opera sobre eso. Así es como debería parecerse, utilizando el enfoque de James sugerido (También conocido como 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)); 
} 

Como beneficio adicional relacionada, aquí hay un método similar que sólo se resuelven para un tipo específico de su elección (sustituir bool en is_same con el tipo de su elección):

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