0

Как в 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, как это сделать?

0

1 ответ 1

2

А если не усложнять, то годится?

template<typename T>
struct get_type
{
    static constexpr type_t type = is_integral_v<T> ? integer : other;
};

См. https://ideone.com/S2Ix3b - там, правда, в связи с более старой версией использован is_integral<T>::value.

7
  • приведенный пример достаточно очевиден, а как быть для других типов? UPD: пополню перечисления. enum type_t { integer, float, bool, other };
    – badcast
    5 янв в 7:47
  • Что вы имеете в виду? Это работает для любых типов.
    – Harry
    5 янв в 7:48
  • пополню перечисления. enum type_t { integer, float, bool, other };
    – badcast
    5 янв в 7:51
  • Для этого нужно использовать соответствующие свойства типов... См. ideone.com/26GB5C - только надо самые конкретные вперед выносить, чтоб более общие не перебивали...
    – Harry
    5 янв в 7:57
  • при использование спецификатора constexpr, данный вопрос закрыт. А что если я использую более прошедшую версию языка?
    – badcast
    5 янв в 9:37

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.