Как я могу специализировать класс для перечислений базового типа int?

#include <type_traits>

enum class MyEnum
{
    Hello
};

template <typename T, typename Enable = void>
class MyClass
{
public:
    MyClass(T obj) : e(obj)
    {}

private:
    T e;
};

template <typename T>
class MyClass <T, 
    typename std::enable_if< std::is_enum<T>::value 
                             && std::is_same<typename std::underlying_type<T>::type, 
                                             int>::value>::type > 
{
public:
    MyClass(T obj) : e(obj)
    {}

private:
    T e;
};

int main()
{
    MyClass<MyEnum> c(MyEnum::Hello);
    MyClass<int> c1(1); //does not compile due to std::underlying_type
    return 0;
}

Я хотел бы иметь возможность специализировать MyClass для перечислений базового типа int. Я не могу сделать это с помощью std :: under_type, потому что он специфичен только для перечислений. Есть идеи, как я могу продолжить?

Я был удивлен, но действительно: «Если T является полным перечислимым типом, предоставляет тип определения типа члена, который именует базовый typeT. В противном случае поведение не определено».. Ну, это отстой.

— 11.04.2018 13:44

c++ c++11

11.04.2018 13:39

Стоит ли изучать PHP в 2026-2027 годах?

Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...

Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией

В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.

Приемы CSS-макетирования - floats и Flexbox

Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...

Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest

В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...

Концепция локализации и ее применение в приложениях React ⚡️

Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...

Пользовательский скаляр GraphQL

Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...

541

Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Ответ принят как подходящий

Достаточно простое решение этой причуды - изолировать std::underlying_type за вашей собственной дружественной к SFINAE чертой:

template <class T, class = void>
struct underlying_type {};

template <class T>
struct underlying_type<
    T,
    typename std::enable_if<std::is_enum<T>::value>::type
> {
    using type = typename std::underlying_type<T>::type;
};

Тогда ваша специализация может быть записана как:

template <typename T>
class MyClass<
    T, 
    typename std::enable_if<std::is_same<
        typename underlying_type<T>::type,
        int
    >::value>::type
> {
    // ...
};

11.04.2018 13:50

С одним дополнительным (отложенным) обращением к conditional<..>::type::type:

template <typename T> struct Identity { using type = T; };

template <typename E>
class MyClass <E, 
    typename std::enable_if<
        std::is_enum<E>::value 
        && std::is_same<
            int,
            typename std::conditional<
                std::is_enum<E>::value,
                std::underlying_type<E>,
                Identity<E>
            >::type::type
        >::value
    >::type
>
{
    // ...
};

Мы действительно делаем std::underlying_type<E>::type только для enum.

Демо

11.04.2018 14:13