¿Es posible determinar si un tipo es un tipo de enumeración con ámbito?

Question

¿Hay un rasgo tipo, o es posible escribir un rasgo tipo is_scoped_enum<T> tal que:

• si T es una enumeración restringidos, is_scoped_enum<T>::value es true y
• si T es cualquier otro tipo, is_scoped_enum<T>::value es falsa

Answer 1

Creo probando si se trata de una enumeración y no convertir implícitamente al tipo subyacente debe hacer el truco.

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