std::unwrap_reference, std::unwrap_ref_decay
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <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) |
Вспомогательные типы
<tbody> </tbody> 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<const int>, const 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&&>);
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<const int>, int>);
static_assert(std::is_same_v<std::unwrap_ref_decay_t<const int&>, 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
Смотрите также
(C++11) |
обёртка ссылок CopyConstructible и CopyAssignable (шаблон класса) |
создаёт объект типа pair, определённого типами аргументов (шаблон функции) | |
(C++11) |
создаёт объект tuple типа, определённого типами аргументов (шаблон функции) |
