Как в C++ реализовать категорию типов с примерами SFINAE (std::enable_if, std::is_integral)? Например, требуется чтобы структура при вызове get_type::type = integer имела ассоциацию из типов перечислений.
Вот код
enum type_t {
integer,
other
};
//Default
template <typename T>
struct get_type {
static constexpr type_t type = other;
};
// For integer
template <>
struct get_type<int> {
static constexpr type_t type = integer;
};
Мне например не хочется заполнять для каждого примитивного типа int, unsigned int, long (etc.) и попробую использовать std::is_integral, как это сделать?