仅枚举模板化类

Question

如果为特定模板参数提供的不是强类型枚举（即枚举类），是否有任何方法可以确保模板化类无法编译？

Answer 1

使用特征和static_assert。

即

template <class T>
using is_scoped_enum = std::integral_constant<bool, !std::is_convertible<T, int>{}
                                                  && std::is_enum<T>{}>;

template <typename T>
struct myTemplate
{
   static_assert( is_scoped_enum<T>{}, "Invalid type argument!" );
};

^{（取自this answer。）}
Demo。