std::is_scoped_enum
Материал из cppreference.com
Определено в заголовочном файле <type_traits> | ||
template<class T > struct is_scoped_enum; | (начиная с C++23) | |
std::is_scoped_enum
является UnaryTypeTrait.
Проверяет, является ли T
типом перечисления с областью видимости. Предоставляет константу-элемент value
, которая равна true, если T
является типом перечисления с областью видимости. В противном случае value
равна false.
Поведение программы, добавляющей специализации для std::is_scoped_enum
или std::is_scoped_enum_v
не определено.
Содержание |
[править]Параметры шаблона
T | — | тип для проверки |
[править]Шаблон вспомогательной переменной
template<class T > inlineconstexprbool is_scoped_enum_v = is_scoped_enum<T>::value; | (начиная с C++23) | |
Унаследован от std::integral_constant
Константы элементы
value [static] | true, если T тип перечисления с областью видимости, false иначе (public static константа-элемент) |
Функции-элементы
operator bool | преобразует объект в bool, возвращает value (public функция-элемент) |
operator() (C++14) | возвращает value (public функция-элемент) |
Типы элементы
Тип | Определение |
value_type | bool |
type | std::integral_constant<bool, value> |
[править]Примечание
Макрос Тестирования функциональности | Значение | Стандарт | Функциональность |
---|---|---|---|
__cpp_lib_is_scoped_enum | 202011L | (C++23) | std::is_scoped_enum |
[править]Возможная реализация
template<typename E>struct is_scoped_enum :std::bool_constant<requires { requires std::is_enum_v<E>; requires !std::is_convertible_v<E, std::underlying_type_t<E>>;}>{}; |
[править]Пример
Запустить этот код
#include <type_traits> class A {}; enum E {}; enumstruct Es { oz }; enumclass Ec :int{}; int main(){ static_assert(std::is_scoped_enum_v<A>==false); static_assert(std::is_scoped_enum_v<E>==false); static_assert(std::is_scoped_enum_v<Es>==true); static_assert(std::is_scoped_enum_v<Ec>==true); static_assert(std::is_scoped_enum_v<int>==false);}
[править]Смотрите также
(C++11) | проверяет, является ли тип целочисленным типом (шаблон класса) |
(C++11) | проверяет, является ли тип арифметическим типом (шаблон класса) |
(C++11) | проверяет, является ли тип целочисленным типом (шаблон класса) |
(C++11) | проверяет, является ли тип типом перечисления (шаблон класса) |