Upewnij się, że parametr szablonu jest klasą wyliczeniową

Question

Czy istnieje sposób zapewnienia, że ​​parametr szablonu jest typem klasy wyliczeniowej?

Wiem, że type_traits ma type_traits ma , ale nie chcę, aby dopasować regularne wyliczenia, tylko enum_classes.

Przykład efektu Poszukiwany

enum class EnumClass {}; 
enum Enum {}; 
class Class {}; 

template <typename T> 
void Example() 
{ 
    static_assert(/* T is EnumClass */, "`T` must be an enum class"); 
} 

Example<EnumClass>(); // Ok 
Example<Enum>(); // Error 
Example<Class>(); // Error 

Używam C++ 11, i niestety nie może iść wyżej (choć byłbym ciekaw rozwiązania w każdym razie, nawet jeśli wiąże się to nowe standardy).

Czy to możliwe?

Answer 1

Można to osiągnąć z:

template<typename T> 
using is_class_enum = std::integral_constant< 
    bool, 
    std::is_enum<T>::value && !std::is_convertible<T, int>::value>; 

Here demo.

---

Jeśli wolisz korzystać SFINAE, to samo można osiągnąć:

template<typename T, typename _ = void> 
struct is_class_enum : std::false_type { 
}; 

template<typename T> 
struct is_class_enum < 
    T, 
    typename std::enable_if<std::is_enum<T>::value && 
          !std::is_convertible<T, int>::value>::type> : 
    public std::true_type { 
};