std::decay
来自 cppreference.com
定义在头文件 <type_traits> 中 |
||
template< class T > struct decay; |
(自 C++11) | |
执行与按值传递 函数参数 时执行的类型转换等效的类型转换。形式上
- 如果
T
是“U
的数组”或对它的引用,则成员类型定义type
为U*
。
- 否则,如果
T
是一个函数类型F
或对它的引用,则成员类型定义type
为 std::add_pointer<F>::type.
- 否则,成员类型定义
type
为 std::remove_cv<std::remove_reference<T>::type>::type.
如果程序为 std::decay
添加了特殊化,则行为未定义。
内容 |
[编辑] 成员类型
名称 | 定义 |
type
|
将衰减类型转换应用于 T 的结果 |
[编辑] 辅助类型
template< class T > using decay_t = typename decay<T>::type; |
(自 C++14) | |
[编辑] 可能的实现
template<class T> struct decay { private: typedef typename std::remove_reference<T>::type U; public: typedef typename std::conditional< std::is_array<U>::value, typename std::add_pointer<typename std::remove_extent<U>::type>::type, typename std::conditional< std::is_function<U>::value, typename std::add_pointer<U>::type, typename std::remove_cv<U>::type >::type >::type type; }; |
[编辑] 示例
运行此代码
#include <type_traits> template<typename T, typename U> constexpr bool is_decay_equ = std::is_same_v<std::decay_t<T>, U>; int main() { static_assert ( is_decay_equ<int, int> && ! is_decay_equ<int, float> && is_decay_equ<int&, int> && is_decay_equ<int&&, int> && is_decay_equ<const int&, int> && is_decay_equ<int[2], int*> && ! is_decay_equ<int[4][2], int*> && ! is_decay_equ<int[4][2], int**> && is_decay_equ<int[4][2], int(*)[2]> && is_decay_equ<int(int), int(*)(int)> ); }
[编辑] 另请参阅
(C++20) |
组合了 std::remove_cv 和 std::remove_reference (类模板) |
隐式转换 | 数组到指针、函数到指针、左值到右值转换 |