Специализация шаблона для перечисления

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

что-то вроде (неверный код):

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

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

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

7
c++ enums template-specialization templates

3 ответов

можно использовать std::enable_if С std::is_enum С <type_traits> для этого.

в ответ на один из моих вопросов, litb выложил очень подробное и хорошо написанное объяснение того, как это можно сделать с помощью эквивалентов Boost.

19

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

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);
}
6

предположительно, единственная интересная вещь, которую вы могли бы сделать с типом, о котором вы знаете только то, что это перечисление, это привести его к базовому типу и оперировать им. Вот как это может выглядеть, используя предложенный Джеймсом подход (он же 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));
}

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

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