std::unwrap_reference, std::unwrap_ref_decay

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов(C++20)

Библиотека метапрограммирования(C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов(C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения(C++11)

Атомарные операции(C++11)

Библиотека поддержки конкуренции(C++11)

Библиотека файловой системы(C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм(C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)     is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования(C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)     cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Общие лексические типы pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

Объекты функции

Функции обёртки function (C++11) move_only_function (C++23) copyable_function (C++26) function_ref (C++26) mem_fn (C++11) bad_function_call (C++11)	Применение частичных функций bind_frontbind_back (C++20)(C++23) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
Вызов функции invokeinvoke_r (C++17)(C++23) Объект идентичности функции identity (C++20)	Обёртки ссылок reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
Обёртки операторов plus minus negate multiplies    divides modulus bit_and bit_or bit_not (C++14)   bit_xor equal_to not_equal_to greater less greater_equal less_equal logical_and logical_or logical_not	Прозрачные обёртки операторов plus<> (C++14) minus<> (C++14) negate<> (C++14) multiplies<> (C++14)   divides<> (C++14) modulus<> (C++14) bit_and<> (C++14) bit_or<> (C++14) bit_not<> (C++14) bit_xor<> (C++14) equal_to<> (C++14) not_equal_to<> (C++14) greater<> (C++14) less<> (C++14) greater_equal<> (C++14) less_equal<> (C++14) logical_and<> (C++14) logical_or<> (C++14) logical_not<> (C++14)
Отрицатели not_fn (C++17) Искатели default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	Ограниченные компараторы ranges::equal_to (C++20) ranges::not_equal_to (C++20) ranges::greater (C++20) ranges::less (C++20) ranges::greater_equal (C++20) ranges::less_equal (C++20) compare_three_way (C++20)
Старые привязки и адаптеры
unary_function (до C++17*) binary_function (до C++17*) ptr_fun (до C++17*) pointer_to_unary_function (до C++17*) pointer_to_binary_function (до C++17*) mem_fun (до C++17*) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (до C++17*)(до C++17*)(до C++17*)(до C++17*) not1 (до C++20*) not2 (до C++20*)	binder1stbinder2nd (до C++17*)(до C++17*) bind1stbind2nd (до C++17*)(до C++17*) mem_fun_ref (до C++17*) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (до C++17*)(до C++17*)(до C++17*)(до C++17*) unary_negate (до C++20*) binary_negate (до C++20*)

 

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

1) Если T является std::reference_wrapper<U> для некоторого типа U, предоставляет псевдоним типа элемента type, который именуется U&; иначе предоставляет псевдоним типа элемента type с именем T.

2) Если T является std::reference_wrapper<U> для некоторого типа U, игнорируя cv-квалификацию и ссылочную принадлежность, предоставляет псевдоним типа элемента type с именем U&; иначе предоставляет псевдоним типа элемента type с именем std::decay_t<T>.

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

Типы элементы

Имя	Определение
type	(1)U&, если T равно std::reference_wrapper<U>; T иначе (2)U&, если std::decay_t<T> равно std::reference_wrapper<U>; std::decay_t<T> иначе

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

template<class T> using unwrap_reference_t =typename unwrap_reference<T>::type;	(1)	(начиная с C++20)
template<class T> using unwrap_ref_decay_t =typename unwrap_ref_decay<T>::type;	(2)	(начиная с C++20)

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

template<class T>struct unwrap_reference {using type = T;};template<class U>struct unwrap_reference<std::reference_wrapper<U>>{using type = U&;};   template<class T >struct unwrap_ref_decay : std::unwrap_reference<std::decay_t<T>>{};

Примечание

std::unwrap_ref_decay выполняет то же преобразование, что и std::make_pair и std::make_tuple.

Макрос Тестирования функциональности	Значение	Стандарт	Функциональность
__cpp_lib_unwrap_ref	201811L	(C++20)	std::unwrap_ref_decay и std::unwrap_reference

Пример

Запустить этот код

#include <cassert>#include <functional>#include <iostream>#include <type_traits>   int main(){ static_assert(std::is_same_v<std::unwrap_reference_t<int>, int>); static_assert(std::is_same_v<std::unwrap_reference_t<constint>, constint>); static_assert(std::is_same_v<std::unwrap_reference_t<int&>, int&>); static_assert(std::is_same_v<std::unwrap_reference_t<int&&>, int&&>); static_assert(std::is_same_v<std::unwrap_reference_t<int*>, int*>);   {using T =std::reference_wrapper<int>;using X = std::unwrap_reference_t<T>; static_assert(std::is_same_v<X, int&>);}{using T =std::reference_wrapper<int&>;using X = std::unwrap_reference_t<T>; static_assert(std::is_same_v<X, int&>);}   static_assert(std::is_same_v<std::unwrap_ref_decay_t<int>, int>); static_assert(std::is_same_v<std::unwrap_ref_decay_t<constint>, int>); static_assert(std::is_same_v<std::unwrap_ref_decay_t<constint&>, int>);   {using T =std::reference_wrapper<int&&>;using X = std::unwrap_ref_decay_t<T>; static_assert(std::is_same_v<X, int&>);}   {auto reset =[]<typename T>(T&& z){// x = 0; // Ошибка: не работает, если T является reference_wrapper<>// преобразует T&& в T& для обычных типов// преобразует T&& в U& для reference_wrapper<U> decltype(auto) r = std::unwrap_reference_t<T>(z);std::cout<<"r: "<< r <<'\n'; r =0;// OK, r имеет ссылочный тип};   int x =1; reset(x);assert(x ==0);   int y =2; reset(std::ref(y));assert(y ==0);}}

Вывод:

r: 1 r: 2

Смотрите также

reference_wrapper (C++11)	обёртка ссылок CopyConstructible и CopyAssignable (шаблон класса)
make_pair	создаёт объект типа pair, определённого типами аргументов (шаблон функции)
make_tuple (C++11)	создаёт объект tuple типа, определённого типами аргументов (шаблон функции)