std::unwrap_reference, std::unwrap_ref_decay

< cpp‎ | utility‎ | functional
 
C++
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
(C++14)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++20)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)

初等字符串转换
(C++17)
(C++17)
(C++17)
 
函数对象
函数包装
(C++11)
(C++11)
(C++11)
部分函数应用
(C++11)
(C++20)
(C++11)
(C++11)
(C++11)
函数调用
(C++17)
恒等函数对象
(C++20)
引用包装
(C++11)
(C++11)(C++11)
unwrap_referenceunwrap_ref_decay
(C++20)(C++20)
运算符包装
取反器
(C++17)
搜索器
(C++17)
(C++17)
(C++17)
有制约的比较器
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
旧绑定器与适配器
(C++17 前)
(C++17 前)
(C++17 前)
(C++17 前)
(C++17 前)
(C++17 前)
(C++17 前)(C++17 前)(C++17 前)(C++17 前)
(C++20 前)
(C++20 前)
(C++17 前)(C++17 前)
(C++17 前)(C++17 前)

(C++17 前)
(C++17 前)(C++17 前)(C++17 前)(C++17 前)
(C++20 前)
(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 为某类型 U 的 std::reference_wrapper<U> ，则提供指名 U& 的成员 typedef type ；否则提供指名 T 的成员 typedef type 。
2) 若 T 为某类型 U 的 std::reference_wrapper<U> ，忽略 cv 限定和引用，则提供指名 U& 的成员 typedef type ；否则提供指名 std::decay_t<T> 的成员 typedef type 。

添加此页面上描述的任何模板的特化的程序行为未定义。

成员类型

 
名称 定义
type

1) 若 T 为 std::reference_wrapper<U> 则为 U& ；否则为 T

2) 若 std::decay_t<T> 为 std::reference_wrapper<U> 则为 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 所用者相同的变换。

示例

本节未完成
原因：暂无示例

参阅

(C++11)
 可复制构造 (CopyConstructible) 且可复制赋值 (CopyAssignable) 的引用包装器
(类模板)
创建一个 pair 对象，其类型根据各实参类型定义
(函数模板)
创建一个 tuple 对象，其类型根据各实参类型定义
(函数模板)