Espacios de nombres
Variantes
Acciones

std::is_scoped_enum

De cppreference.com
< cpp‎ | types
 
 
Biblioteca de metaprogramación
Rasgos de tipo
Categorías de tipo
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
Propiedades de tipos
(C++11)
(C++11)
(C++14)
(C++11)(en desuso en C++26)
(C++11)(hasta C++20*)
(C++11)(en desuso en C++20)
(C++11)
is_scoped_enum
(C++23)
Constantes de rasgos de tipo
Metafunciones
(C++17)
Operaciones admitidas
Relaciones y consultas de propiedades
Modificaciones de tipos
Transformaciones de tipos
(C++11)(en desuso en C++23)
(C++11)(en desuso en C++23)
(C++11)
(C++11)(hasta C++20*)(C++17)

Aritmética racional en tiempo de compilación
Secuencias de enteros en tiempo de compilación
 
Definido en el archivo de encabezado <type_traits>
template<class T >
struct is_scoped_enum;
(desde {std})

std::is_scoped_enum es un UnaryTypeTrait.

Comprueba si T es un tipo enumeración con ámbito. Proporciona la constante miembro value, que es igual a true, si T es un tipo enumeración con ámbito. De lo contrario, value es igual a false.

El comportamiento de un programa que añade especializaciones para is_scoped_enum o is_scoped_enum_v no está definido.

Contenido

[editar]Parámetros de plantilla

T - Un tipo a comprobar.

[editar]Plantilla de variable auxiliar

template<class T >
inlineconstexprbool is_scoped_enum_v = is_scoped_enum<T>::value;
(desde {std})

Heredado de std::integral_constant

Constantes miembro

value
[estático]
true si T es un tipo enumeración con ámbito, de lo contrario false.
(constante miembro pública estática)

Funciones miembro

operator bool
Convierte el objeto a bool, devuelve value.
(función miembro pública)
operator()
(C++14)
Devuelve value.
(función miembro pública)

Tipos miembro

Tipo Definición
value_typebool
typestd::integral_constant<bool, value>

[editar]Posible implementación

template<class>struct is_scoped_enum :std::false_type{};   template<class T> requires std::is_enum_v<T>struct is_scoped_enum<T>:std::bool_constant<!std::is_convertible_v<T, std::underlying_type_t<T>>>{};

[editar]Ejemplo

#include <iostream>#include <type_traits>   class A {};   enum E {};   enumstruct Es { oz };   enumclass Ec :int{};   int main(){std::cout<<std::boolalpha;std::cout<< std::is_scoped_enum_v<A><<'\n';std::cout<< std::is_scoped_enum_v<E><<'\n';std::cout<< std::is_scoped_enum_v<Es><<'\n';std::cout<< std::is_scoped_enum_v<Ec><<'\n';std::cout<< std::is_scoped_enum_v<int><<'\n';}

Salida:

false false true true false

[editar]Véase también

Comprueba si un tipo T es entero.
(plantilla de clase)[editar]
Comprueba si un tipo es de tipo aritmético
Original:
checks if a type is arithmetic type
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

(plantilla de clase)[editar]
(C++11)
Comprueba si un tipo es de tipo escalar
Original:
checks if a type is scalar type
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

(plantilla de clase)[editar]
(C++11)
Comprueba si un tipo es un tipo enumeración
(plantilla de clase)[editar]
close