Пространства имён
Варианты
Действия

std::is_scoped_enum

Материал из cppreference.com
< cpp‎ | types
 
 
Библиотека метапрограммирования
Свойства типов
Категории типов
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Свойства типов
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(до C++20*)
(C++11)(устарело в C++20)
(C++11)
is_scoped_enum
(C++23)
Константы свойств типа
Метафункции
(C++17)
Поддерживаемые операции
Запросы отношений и свойств
Модификации типов
Преобразования типов
(C++11)(устарело в C++23)
(C++11)(устарело в C++23)
(C++11)
(C++11)
(C++17)

(C++11)(до C++20*)(C++17)
Рациональная арифметика времени компиляции
Целочисленные последовательности времени компиляции
 
Определено в заголовочном файле <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_typebool
typestd::integral_constant<bool, value>

[править]Примечание

Макрос Тестирования функциональностиЗначениеСтандартФункциональность
__cpp_lib_is_scoped_enum202011L(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)
проверяет, является ли тип типом перечисления
(шаблон класса)[править]
close