<type_traits>

Define las plantillas que proporcionan las constantes de tiempo de compilación que se proporcionan información acerca de las propiedades de sus argumentos de tipo.

#include <type_traits>

Comentarios

A predicado de tipo es una plantilla que toma uno o dos argumentos de tipo.Cuando un predicado de tipo es verdadera, al público se deriva, directa o indirectamente, de true_type Typedef.Cuando un predicado de tipo contiene false, al público se deriva, directa o indirectamente, de false_type Typedef.

A modificador de tipo es una plantilla que toma uno o más argumentos de plantilla y tiene un miembro, como sigue:

• typedef modified-type type;

A consultas de tipo es una plantilla que toma uno o más argumentos de plantilla.Una consulta de tipo público se deriva directa o indirectamente, de integral_constant<std::size_t, value>.Contiene el valor que se pasa como argumento de value.

Clases

add_const	Hace const tipo de tipo.
add_cv	Hace const/volatile tipo de tipo.
add_pointer	Convierte el puntero al tipo del tipo.
add_reference	Hace referencia al tipo de tipo.
add_volatile	Hace volatile tipo de tipo.
aligned_storage	Convierte a tipo convenientemente alineado.
alignment_of	Obtiene la alineación de tipo.
common_type	Hace que una instancia del tipo común de los dos tipos.
condicional	Hace que una instancia del tipo común de los dos tipos.
decadencia	Convierte a tipo sin referencia, no const o no volátiles o hace un puntero al tipo.
enable_if	Realiza una instancia del tipo o un tipo no definido.
extent	Obtiene una dimensión de matriz.
has_nothrow_assign	Las pruebas si el tipo no se produce asignan.
has_nothrow_constructor	Comprueba si el tipo no se produce en construcción predeterminada.
has_nothrow_copy	Comprueba si el tipo no se produce en la construcción de copias.
has_nothrow_copy_constructor	Comprueba si el tipo no genere sobre construcción de copias.
has_nothrow_default_constructor	Comprueba si el tipo no tirar de la construcción predeterminada.
has_trivial_assign	Comprueba si el tipo tiene una asignación trivial.
has_trivial_constructor	Comprueba si el tipo tiene un constructor predeterminado trivial.
has_trivial_copy	Comprueba si el tipo tiene un constructor de copias trivial.
has_trivial_copy_constructor	Comprueba si el tipo tiene un constructor de copias trivial.
has_trivial_default_constructor	Comprueba si el tipo tiene un constructor predeterminado trivial.
has_trivial_destructor	Comprueba si el tipo tiene un destructor trivial.
has_virtual_destructor	Comprueba si el tipo tiene un destructor virtual.
is_abstract	Comprueba si el tipo es una clase abstracta.
is_arithmetic	Comprueba si el tipo es aritmético.
is_array	Comprueba si el tipo es una matriz.
is_base_of	Comprueba si un tipo es la base de otra.
is_class	Comprueba si el tipo es una clase.
is_compound	Comprueba si el tipo no es escalar.
is_const	Comprueba si el tipo es const.
is_convertible	Comprueba si un tipo es convertible a otro.
is_empty	Comprueba si el tipo es una clase vacía.
is_enum	Comprueba si el tipo es una enumeración.
is_floating_point	Comprueba si el tipo de punto flotante.
is_function	Comprueba si el tipo es un tipo de función.
is_fundamental	Comprueba si el tipo es void o aritméticas.
is_integral	Comprueba si el tipo es integral.
is_lvalue_reference	Comprueba si el tipo es un lvalue referencia.
is_member_function_pointer	Comprueba si el tipo es un puntero a una función miembro.
is_member_object_pointer	Comprueba si el tipo es un puntero a un objeto de miembro.
is_member_pointer	Comprueba si el tipo es un puntero a un miembro.
is_object	Comprueba si el tipo es un tipo de objeto.
is_pod	Comprueba si el tipo es un conjunto POD.
is_pointer	Comprueba si el tipo es un puntero.
is_polymorphic	Comprueba si el tipo tiene una función virtual.
is_reference	Comprueba si el tipo es una referencia.
is_rvalue_reference	Comprueba si el tipo es un rvalue referencia.
is_same	Comprueba si dos tipos son los mismos.
is_scalar	Comprueba si el tipo es escalar.
is_signed	Comprueba si el tipo es un entero con signo.
is_standard_layout	Comprueba si el tipo es un diseño estándar.
is_union	Comprueba si el tipo es una unión.
is_unsigned	Comprueba si el tipo es un entero sin signo.
is_void	Comprueba si el tipo es void.
is_volatile	Comprueba si el tipo es volátil.
make_signed	Tipo o escriba mayor que o igual en tamaño al tipo más pequeño con signo.
make_unsigned	Tipo o escriba mayor que o iguales en tamaño para escribir más pequeño sin signo.
rango	Obtiene el número de dimensiones de la matriz.
remove_all_extents	Hace que tipo de matriz que no son de tipo de matriz.
remove_const	Convierte a tipo no const de tipo.
remove_cv	Hace que no sea const/volatile tipo de tipo.
remove_extent	Hace que el tipo de elemento de tipo de matriz.
remove_pointer	Tipo de un puntero al tipo.
remove_reference	Hace que tipo de referencia que no sean de tipo.
remove_volatile	Convierte a tipo no volátil de tipo.
integral_constant	Hace una constante integral de tipo y valor.

Typedefs

false_type	Contiene una constante integral con valor false.
true_type	Contiene una constante integral con valor true.

Vea también

Referencia

<functional>