std::add_lvalue_reference, std::add_rvalue_reference

Определено в заголовочном файле `<type_traits>`
template< class T > struct add_lvalue_reference;	(1)	(начиная с C++11)
template< class T > struct add_rvalue_reference;	(2)	(начиная с C++11)

Создаёт тип ссылки lvalue или rvalue для T.

1) Если T является типом функции без cv- или ref-квалификатора либо типом объекта, предоставляет typedef-член type, который является T&. Если T является rvalue-ссылкой на некоторый тип U, то type является U&. В противном случае type является T.

2) Если T является типом функции без cv- или ref-квалификатора либо типом объекта, предоставляет typedef-член type, который является T&&; в противном случае type является T.

Если программа добавляет специализации для любого из шаблонов, описанных на этой странице, поведение не определено.

Типы-члены

Имя	Определение
`type`	ссылка на `T` или `T`, если «ссылка на `T`» недопустима

Вспомогательные типы

template< class T > using add_lvalue_reference_t = typename add_lvalue_reference<T>::type;		(начиная с C++14)
template< class T > using add_rvalue_reference_t = typename add_rvalue_reference<T>::type;		(начиная с C++14)

Примечания

Эти преобразования типов учитывают правила свёртывания ссылок:

std::add_lvalue_reference<T&>::type является T&
std::add_lvalue_reference<T&&>::type является T&
std::add_rvalue_reference<T&>::type является T&
std::add_rvalue_reference<T&&>::type является T&&

Основное отличие от непосредственного использования T& состоит в том, что std::add_lvalue_reference<void>::type является void, тогда как void& приводит к ошибке компиляции.

Возможная реализация

namespace detail
{
    template<class T>
    struct type_identity { using type = T; }; // or use std::type_identity (since C++20)

    template<class T> // Note that `cv void&` is a substitution failure
    auto try_add_lvalue_reference(int) -> type_identity<T&>;
    template<class T> // Handle T = cv void case
    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)) {};

Пример

#include <type_traits>

int main()
{
    using non_ref = int;

    using l_ref = typename std::add_lvalue_reference_t<non_ref>;
    static_assert(std::is_lvalue_reference_v<l_ref>);

    using r_ref = typename std::add_rvalue_reference_t<non_ref>;
    static_assert(std::is_rvalue_reference_v<r_ref>);

    using void_ref = std::add_lvalue_reference_t<void>;
    static_assert(!std::is_reference_v<void_ref>);
}

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющих поведение, были применены задним числом к ранее опубликованным стандартам C++.

DR	Применяется к	Опубликованное поведение	Корректное поведение
LWG 2101	C++11	Эти признаки преобразования типов должны были создавать ссылки на типы функций с cv-/ref-квалификаторами.	Создавать сами типы функций с cv-/ref-квалификаторами.

См. также

is_reference (C++11)	проверяет, является ли тип ссылкой lvalue или rvalue (шаблон класса)
remove_reference (C++11)	удаляет ссылку из заданного типа (шаблон класса)
remove_cvref (C++20)	объединяет `std::remove_cv` и `std::remove_reference` (шаблон класса)
add_lvalue_referenceadd_rvalue_reference (C++26)(C++26)	добавляет ссылку lvalue или rvalue к отражённому типу (функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/add_reference