std::add_lvalue_reference, std::add_rvalue_reference
De cppreference.com
| Definido en el archivo de encabezado <type_traits>
|
||
| template< class T > struct add_lvalue_reference; |
(1) | (desde C++11) |
| template< class T > struct add_rvalue_reference; |
(2) | (desde C++11) |
Crea un tipo referencia lvalue o rvalue de T.
1) Si
T es un tipo función que no tiene calificadores-cv o calificadores-ref o un tipo objeto, proporciona la definición de tipo (typedef) type que es T&. Si T es una referencia rvalue a algún tipo U, entonces type es U&. De lo contrario, type es T.2) Si
T es un tipo función que no tiene calificadores-cv o calificadores-ref o un tipo objeto, proporciona la definición de tipo (typedef) type que es T&&; de lo contrario, type es T.El comportamiento de un programa que añade especializaciones para cualquiera de las plantillas definidas en esta página no está definido.
Contenido |
[editar] Tipos miembro
| Nombre | Definición |
type
|
Referencia a T, o T si no se permite.
|
[editar] Tipos auxiliares
| template< class T > using add_lvalue_reference_t = typename add_lvalue_reference<T>::type; |
(desde C++14) | |
| template< class T > using add_rvalue_reference_t = typename add_rvalue_reference<T>::type; |
(desde C++14) | |
[editar] Notas
Estas transformaciones de tipo honran las reglas de colapso de referencias:
- std::add_lvalue_reference<T&>::type is T&
- std::add_lvalue_reference<T&&>::type is T&
- std::add_rvalue_reference<T&>::type is T&
- std::add_rvalue_reference<T&&>::type is T&&
La principal diferencia con el uso directo de T& es que std::add_lvalue_reference<void>::type es void, mientras que void& conduce a un error de compilación.
[editar] Posible implementación
namespace detail { template <class T> struct type_identity { using type = T; }; // o usar std::type_identity (desde C++20) template <class T> auto try_add_lvalue_reference(int) -> type_identity<T&>; template <class T> auto try_add_lvalue_reference(...) -> type_identity<T>; template <class T> auto try_add_rvalue_reference(int) -> type_identity<T&&>; template <class T> auto try_add_rvalue_reference(...) -> type_identity<T>; } // namespace detail template <class T> struct add_lvalue_reference : decltype(detail::try_add_lvalue_reference<T>(0)) {}; template <class T> struct add_rvalue_reference : decltype(detail::try_add_rvalue_reference<T>(0)) {}; |
[editar] Ejemplo
Ejecuta este código
#include <iostream> #include <type_traits> int main() { using nonref = int; using lref = typename std::add_lvalue_reference<nonref>::type; using rref = typename std::add_rvalue_reference<nonref>::type; std::cout << std::boolalpha; std::cout << std::is_lvalue_reference<nonref>::value << '\n'; std::cout << std::is_lvalue_reference<lref>::value << '\n'; std::cout << std::is_rvalue_reference<rref>::value << '\n'; }
Salida:
false true true
[editar] Informes de defectos
Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.
| ID | Aplicado a | Comportamiento según lo publicado | Comportamiento correcto |
|---|---|---|---|
| LWG 2101 | C++11 | Estos rasgos de transformación se requerían para producir una referencia a tipos función calificados-cv o calificados-ref. |
Produce los tipos función mismos calificados-cv o calificados-ref. |
[editar] Véase también
| (C++11) |
Comprueba si un tipo es o bien una referencia lvalue o una referencia rvalue (plantilla de clase) |
| (C++11) |
Elimina la referencia de un tipo dado. (plantilla de clase) |
| (C++20) |
Combina std::remove_cv y std::remove_reference. (plantilla de clase) |
