std::add_lvalue_reference, std::add_rvalue_reference
De cppreference.com
<tbody>
</tbody>
| 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.
Tipos miembro
| Nombre | Definición |
type
|
Referencia a T, o T si no se permite.
|
Tipos auxiliares
<tbody> </tbody> 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) | |
Notas
Estas transformaciones de tipo honran las reglas de colapso de referencias:
std::add_lvalue_reference<T&>::typeisT&std::add_lvalue_reference<T&&>::typeisT&std::add_rvalue_reference<T&>::typeisT&std::add_rvalue_reference<T&&>::typeisT&&
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.
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)) {};
|
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
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. |
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) |