如何為底層類型int的枚舉專門化一個類？

Question

#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 :: underlying_type這樣做，因為它只針對枚舉。 關於如何進行的任何想法？

Answer 1

這個怪癖的一個簡單的解決方案是將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
> {
    // ...
};

Answer 2

使用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
>
{
    // ...
};

我們確實只對enum執行std::underlying_type<E>::type 。

演示