std::unwrap_reference, std::unwrap_ref_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)

 

Objetos función

Envoltorios de funciones function (C++11) move_only_function (C++23) mem_fn (C++11) bad_function_call (C++11)	Aplicación parcial de funciones bind_front (C++20) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
Invocación de funciones invokeinvoke_r (C++17)(C++23) Objeto función identidad identity (C++20)	Envoltorios de referencias reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
Envoltorios de operadores plus minus negate multiplies divides modulus bit_and bit_or bit_not (C++14) bit_xor equal_to not_equal_to greater less greater_equal less_equal logical_and logical_or logical_not	Envoltorios de operador transparentes plus<> (C++14) minus<> (C++14) negate<> (C++14) multiplies<> (C++14) divides<> (C++14) modulus<> (C++14) bit_and<> (C++14) bit_or<> (C++14) bit_not<> (C++14) bit_xor<> (C++14) equal_to<> (C++14) not_equal_to<> (C++14) greater<> (C++14) less<> (C++14) greater_equal<> (C++14) less_equal<> (C++14) logical_and<> (C++14) logical_or<> (C++14) logical_not<> (C++14)
Negadores not_fn (C++17) Buscadores default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	Comparadores restringidos ranges::equal_to (C++20) ranges::not_equal_to (C++20) ranges::greater (C++20) ranges::less (C++20) ranges::greater_equal (C++20) ranges::less_equal (C++20) compare_three_way (C++20)
Vinculadores y adaptadores antiguos
unary_function (hasta C++17) binary_function (hasta C++17) ptr_fun (hasta C++17) pointer_to_unary_function (hasta C++17) pointer_to_binary_function (hasta C++17) mem_fun (hasta C++17) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (hasta C++17)(hasta C++17)(hasta C++17)(hasta C++17) not1 (hasta C++20) not2 (hasta C++20)	binder1stbinder2nd (hasta C++17)(hasta C++17) bind1stbind2nd (hasta C++17)(hasta C++17) mem_fun_ref (hasta C++17) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (hasta C++17)(hasta C++17)(hasta C++17)(hasta C++17) unary_negate (hasta C++20) binary_negate (hasta C++20)

 

Definido en el archivo de encabezado <type_traits>
Definido en el archivo de encabezado <functional>
template<class T > struct unwrap_reference;	(1)	(desde C++20)
template<class T > struct unwrap_ref_decay;	(2)	(desde C++20)

1) Si T es std::reference_wrapper<U> para algún tipo U, proporciona un alias de tipo miembro type que nombra { {tt|U&}}; de lo contrario, proporciona un alias de tipo miembro type que nombra T.

2) Si T es std::reference_wrapper<U> para algún tipo U, ignorando la calificación-cv y la referencialidad, proporciona un alias de tipo miembro type que nombra U&; de lo contrario, proporciona un alias de tipo miembro type que nombra std::decay_t<T>.

El comportamiento de un programa que añade especializaciones para cualquiera de las plantillas definidas en esta página no está definido.

Tipos miembro

Tipo miembro	Definición
type	1) U& si T es std::reference_wrapper<U>; T de lo contrario. 2) U& si std::decay_t<T> es std::reference_wrapper<U>; std::decay_t<T> de lo contrario.

Tipos auxiliares

template<class T> using unwrap_reference_t =typename unwrap_reference<T>::type;	(1)	(desde C++20)
template<class T> using unwrap_ref_decay_t =typename unwrap_ref_decay<T>::type;	(2)	(desde C++20)

Posible implementación

template<class T>struct unwrap_reference {using type = T;};template<class U>struct unwrap_reference<std::reference_wrapper<U>>{using type = U&;};   template<class T >struct unwrap_ref_decay : std::unwrap_reference<std::decay_t<T>>{};

Notas

std::unwrap_ref_decay realiza la misma transformación que la utilizada por std::make_pair y std::make_tuple.

Macro de Prueba de característica
__cpp_lib_unwrap_ref

Ejemplo

Ejecuta este código

#include <cassert>#include <iostream>#include <functional>#include <type_traits>   int main(){ static_assert(std::is_same_v<std::unwrap_reference_t<int>, int>); static_assert(std::is_same_v<std::unwrap_reference_t<constint>, constint>); static_assert(std::is_same_v<std::unwrap_reference_t<int&>, int&>); static_assert(std::is_same_v<std::unwrap_reference_t<int&&>, int&&>); static_assert(std::is_same_v<std::unwrap_reference_t<int*>, int*>);   {using T =std::reference_wrapper<int>;using X = std::unwrap_reference_t<T>; static_assert(std::is_same_v<X, int&>);}{using T =std::reference_wrapper<int&>;using X = std::unwrap_reference_t<T>; static_assert(std::is_same_v<X, int&>);}   static_assert(std::is_same_v<std::unwrap_ref_decay_t<int>, int>); static_assert(std::is_same_v<std::unwrap_ref_decay_t<constint>, int>); static_assert(std::is_same_v<std::unwrap_ref_decay_t<constint&>, int>);   {using T =std::reference_wrapper<int&&>;using X = std::unwrap_ref_decay_t<T>; static_assert(std::is_same_v<X, int&>);}   {auto reset =[]<typename T>(T&& z){// x = 0; // ERROR: no funciona si T es reference_wrapper<>// convierte T&& en T& para tipos ordinarios// convierte T&& en U& para reference_wrapper<U> decltype(auto) r = std::unwrap_reference_t<T>(z);std::cout<<"r: "<< r <<'\n'; r =0;// de acuerdo, r tiene tipo referencia};   int x =1; reset(x);assert(x ==0);   int y =2; reset(std::ref(y));assert(y ==0);}}

Salida:

r: 1 r: 2

Véase también

reference_wrapper (C++11)	Envoltorio de referencia CopyConstructible y CopyAssignable. (plantilla de clase)
make_pair	Crea un objeto de tipo pair, definido por los tipos de los argumentos. (plantilla de función)
make_tuple	Crea un objeto de tupla del tipo definido por los tipos de argumentos. (plantilla de función)