テンプレートパラメータがenumクラスであることを確認

Question

テンプレートパラメータがenum-class型であることを確認する方法はありますか？

私はtype_traitsがstd::is_enumであることを知っていますが、通常のenumと一致するようにはしません。ちょうどenum_classesです。指名手配効果の

例：

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 

私はC++ 11を使用しています、と私はそれが新しい基準を必要とする場合でも、とにかく解決策を知りたいだろうけれども、残念ながら（任意の上位に行くことができません）。

可能ですか？

Answer 1

あなたはでそれを達成することができます：

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

Hereデモ。

---

あなたがSFINAEを使用したい場合は、同じで達成することができます：私が間違っている場合

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 { 
};