命名空间
变体
操作

std::decay

来自 cppreference.com
< cpp‎ | types
 
 
元编程库
类型特征
类型类别
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(直到 C++20*)
(C++11)(在 C++20 中弃用)
(C++11)
类型特征常量
元函数
(C++17)
支持的操作
关系和属性查询
类型修改
(C++11)(C++11)(C++11)
类型转换
(C++11)(在 C++23 中弃用)
(C++11)(在 C++23 中弃用)
decay
(C++11)
(C++11)
(C++17)

(C++11)(直到 C++20*)(C++17)
编译时有理数运算
编译时整数序列
 
定义在头文件 <type_traits>
template< class T >
struct decay;
(自 C++11)

执行与按值传递 函数参数 时执行的类型转换等效的类型转换。形式上

  • 如果 T 是“U 的数组”或对它的引用,则成员类型定义 typeU*
  • 否则,如果 T 是一个函数类型 F 或对它的引用,则成员类型定义 typestd::add_pointer<F>::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)>
    );
}

[编辑] 另请参阅

组合了 std::remove_cvstd::remove_reference
(类模板) [编辑]
隐式转换 数组到指针、函数到指针、左值到右值转换