std::unwrap_reference, std::unwrap_ref_decay
来自 cppreference.com
< cpp | utility | functional
定义在头文件 <type_traits> 中 |
||
定义在头文件 <functional> 中 |
||
template< class T > struct unwrap_reference; |
(1) | (自 C++20 起) |
template< class T > struct unwrap_ref_decay; |
(2) | (自 C++20 起) |
2) 如果
T
是 std::reference_wrapper<U> 对于某个类型 U
,忽略 cv 限定和引用性,提供一个成员类型别名 type
,命名为 U&
; 否则,提供一个成员类型别名 type
,命名为 std::decay_t<T>.如果程序为本页描述的任何模板添加了特化,则行为未定义。
内容 |
[编辑] 成员类型
名称 | 定义 |
type
|
(1) |
[编辑] 辅助类型
template<class T> using unwrap_reference_t = unwrap_reference<T>::type; |
(1) | (自 C++20 起) |
template<class T> using unwrap_ref_decay_t = 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 使用的相同的转换。
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__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; // Error: does not work if T is reference_wrapper<> // converts T&& into T& for ordinary types // converts T&& into U& for reference_wrapper<U> decltype(auto) r = std::unwrap_reference_t<T>(z); std::cout << "r: " << r << '\n'; r = 0; // OK, r has reference type }; int x = 1; reset(x); assert(x == 0); int y = 2; reset(std::ref(y)); assert(y == 0); } }
输出
r: 1 r: 2
[编辑] 参见
(C++11) |
可复制构造 和 可复制赋值 引用包装器 (类模板) |
创建一个类型为 pair 的对象,类型由参数类型决定。(函数模板) | |
(C++11) |
创建一个类型由参数类型定义的 tuple 对象。(函数模板) |