仅限枚举的模板类

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