std::add_lvalue_reference, std::add_rvalue_reference - cppreference.com

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

Tipos auxiliares

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.

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

#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';
}

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.

Véase también