Можно ли определить, является ли тип перечисляемым типом?
Есть ли черта типа или можно написать черту типаis_scoped_enum<T> такой что:
T is a scoped enumeration, is_scoped_enum<T>::value is true and
if T is any other type, is_scoped_enum<T>::value is false
Ответы на вопрос(1)
Решение Вопроса
Я думаю, что тестирование, если это перечислениеand неявно преобразуемый в базовый тип должен делать свое дело.
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> {};
@JamesMcNellis: Вы правы. Извините за недопонимание. (Я думал о
is_convertible делать неявное преобразование.)Это хорошее решение, за исключением того, что с последним редактированием логика теперь обратная:
::value верно, еслиT перечисление с незаданной областью. :-)Лучше использовать
std::underlying_type<T> вместоint,enum class в C ++ 11 может основываться на чем-то не конвертируемом вint.@KennyTM: какой тип? C ++ 11 "7.2 / 2 состояния"enum-base должен назвать целочисленный тип; & quot; есть ли целочисленный тип, не преобразуемый в
int?@KennyTM хорошая мысль. Ред.
enum classвызывается в C ++ 11, да.