Можно ли определить, является ли тип облачным типом перечисления?

Question

Есть ли тип черта, или можно написать типа признака is_scoped_enum<T>, что:

• если T является Scoped перечисление is_scoped_enum<T>::value является true и
• если T любой другой тип, is_scoped_enum<T>::value является ложные

Answer 1

Я думаю, тестирование, если это перечисление и не неявное преобразование в базовый тип должен сделать трюк.

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