仅限枚举的模板类

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!" );
};

^{(取自这个答案.)}
演示.