Если у меня есть нормальное (слабое) перечисление, я могу использовать его перечисляемые значения как параметры непигового шаблона, например:
enum { Cat, Dog, Horse };
template <int Val, typename T> bool magic(T &t)
{
return magical_traits<Val>::invoke(t);
}
и назовите его как: magic<Cat>(t)
насколько я могу судить, если у меня есть строго типизированное перечисление и не хочу жестко кодировать тип перечисления, я получаю:
enum class Animal { Cat, Dog, Horse };
template <typename EnumClass, EnumClass EnumVal, typename T> bool magic(T &t)
{
return magical_traits<EnumVal>::invoke(t);
}
и теперь мне нужно написать: magic<Animal, Animal::Cat>(t)
, что кажется излишним.
Есть ли способ избежать ввода как класса enum, так и значения,
#define MAGIC(E, T) (magic<decltype(E), E>(T));