std::decay

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica(C++20) Servicios del programa Apoyo de corrutinas(C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits(C++20) bitset hash (C++11) Operadores relacionales(en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Intercambio y operaciones de tipos swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Tipos vocabulario comunes pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

Apoyo de tipos

Tipos básicos
Tipos fundamentales
Tipos enteros de anchura fija(C++11)
ptrdiff_t size_t max_align_t (C++11) byte (C++17)	nullptr_t (C++11) offsetof NULL
Límites numéricos
numeric_limits
Interfaz de C de límites numéricos
Información de tipo en tiempo de ejecución
type_info type_index (C++11)	bad_typeid bad_cast
Rasgos de tipos
Categorías de tipos
is_void (C++11) is_null_pointer (C++14) is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11)	is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11) is_fundamental (C++11) is_arithmetic (C++11)
is_reference (C++11)
is_lvalue_reference (C++11)
is_rvalue_reference (C++11)
is_member_pointer (C++11)
is_member_object_pointer (C++11)
is_member_function_pointer (C++11)

Propiedades de tipos
is_const (C++11) is_volatile (C++11) is_empty (C++11) is_polymorphic (C++11) is_final (C++14) is_abstract (C++11) is_aggregate (C++17) is_trivial (C++11)	is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11)(hasta C++20) is_pod (C++11)(en desuso en C++20) is_signed (C++11) is_unsigned (C++11) is_bounded_array (C++20) is_unbounded_array (C++20)
has_unique_object_representations (C++17)
Constantes de rasgos de tipos
integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11)
Metafunciones
conjunction (C++17)
disjunction (C++17)
negation (C++17)
Contexto de evaluación constante
is_constant_evaluated (C++20)

Operaciones soportadas
is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)
is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)
is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)
has_virtual_destructor (C++11)
is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17)
Relaciones y consultas de propiedades
is_same (C++11) is_base_of (C++11) is_convertibleis_nothrow_convertible (C++11)(C++20) is_layout_compatible (C++20) is_pointer_interconvertible_base_of (C++20) is_pointer_interconvertible_with_class (C++20) is_corresponding_member (C++20)	alignment_of (C++11) rank (C++11) extent (C++11) is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17)
Modificaciones de tipos
remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11)	remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11)
Transformaciones de tipos
aligned_storage (C++11) aligned_union (C++11) decay (C++11) remove_cvref (C++20) enable_if (C++11) void_t (C++17)	conditional (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) result_ofinvoke_result (C++11)(hasta C++20)(C++17) type_identity (C++20)

 

Definido en el archivo de encabezado <type_traits>
template<class T > struct decay;		(desde C++11)

Aplica conversiones implícitas de lvalue a rvalue, array a puntero y función a puntero al tipo T, elimina los calificadores-cv y define el tipo resultante como el miembro typedef type. Formalmente:

• Si T nombra el tipo "array de U" o "referencia al array de U", el miembro typedef type es U*.

• De lo contrario, si T es un tipo función F o una referencia al mismo, el miembro typedef type es std::add_pointer<F>::type.

• De lo contrario, el miembro typedef type es std::remove_cv<std::remove_reference<T>::type>::type.

Estas conversiones modelan la conversión de tipo aplicada a todos los argumentos de función cuando se pasan por valor.

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

Tipos miembro

Nombre	Definición
type	El resultado de aplicar las conversiones de decadencia de tipo a T

Tipos auxiliares

template<class T > using decay_t =typename decay<T>::type;		(desde C++14)

Posible implementación

template<class T >struct decay {private:typedeftypenamestd::remove_reference<T>::type U;public:typedeftypenamestd::conditional<std::is_array<U>::value, typenamestd::remove_extent<U>::type*, typenamestd::conditional<std::is_function<U>::value, typenamestd::add_pointer<U>::type, typenamestd::remove_cv<U>::type>::type>::type type;};

Ejemplo

Ejecuta este código

#include <iostream>#include <type_traits>   template<typename T, typename U>struct decay_equiv :std::is_same<typename std::decay<T>::type, U>::type{};   int main(){std::cout<<std::boolalpha<< decay_equiv<int, int>::value<<'\n'<< decay_equiv<int&, int>::value<<'\n'<< decay_equiv<int&&, int>::value<<'\n'<< decay_equiv<constint&, int>::value<<'\n'<< decay_equiv<int[2], int*>::value<<'\n'<< decay_equiv<int(int), int(*)(int)>::value<<'\n';}

Salida:

true true true true true true

Véase también

remove_cvref (C++20)	Combina std::remove_cv y std::remove_reference. (plantilla de clase)
Conversión implícita	Conversiones de array a puntero, de función a puntero, de l-valor a r-valor.