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` если не разрешено

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

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>;
    using r_ref = typename std::add_rvalue_reference_t<non_ref>;
    using void_ref = std::add_lvalue_reference_t<void>;
 
    static_assert
        (  std::is_lvalue_reference_v<non_ref> == false
        && std::is_lvalue_reference_v<l_ref> == true
        && std::is_rvalue_reference_v<r_ref> == true
        && std::is_reference_v<void_ref> == false
        );
}

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

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам 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` (шаблон класса)

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