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

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

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