Czy można określić, czy typ jest typem wyliczenia o określonym zakresie?

Question

Czy istnieje cecha typ, czy jest to możliwe, aby napisać typu cechę is_scoped_enum<T> takie, że:

• jeśli T jest lunetą wyliczenie, is_scoped_enum<T>::value jest true i
• jeśli T jest innego typu, is_scoped_enum<T>::value jest false

Answer 1

myślę testowania, czy jest to enum i nie niejawnie zamienny do bazowego typu powinno załatwić sprawę.

template <typename T, bool B = std::is_enum<T>::value> 
struct is_scoped_enum : std::false_type {}; 

template <typename T> 
struct is_scoped_enum<T, true> 
: std::integral_constant<bool, 
    !std::is_convertible<T, typename std::underlying_type<T>::type>::value> {};