std::decay

来自cppreference.com
< cpp‎ | types
 
 
 
类型支持
基本类型
基础类型
定宽整数类型 (C++11)
数值极限
C 数值极限接口
运行时类型信息
类型特性
类型类别
(C++11)
(C++11)
(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++17中过时)
(C++11)
类型特性常量
元函数
(C++17)
端序
(C++20)
受支持操作
关系与属性查询
(C++11)
(C++11)
(C++11)
(C++11)
类型修改
(C++11)
(C++11)
(C++11)
类型变换
decay
(C++11)
(C++11)
(C++17)
(C++11)(C++17中过时)
(C++17)
 
定义于头文件 <type_traits>
template< class T >
struct decay;
(C++11 起)

对类型T应用左值到右值、数组到指针及函数到指针隐式转换,移除cv限定符,并定义结果类型为成员typedef type。正式而言:

  • T指名“U的数组”或“到U的数组的引用”类型,则成员typedef typeU*
  • 否则,若T为函数类型F或到它的引用,则成员typedef typestd::add_pointer<F>::type

这些转换模仿在以值传递时,应用到所有函数参数的类型转换。

目录

[编辑] 成员类型

名称 定义
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::remove_extent<U>::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 <iostream>
#include <type_traits>
 
template <typename T, typename U>
struct decay_equiv : 
    std::is_same<typename std::decay<T>::type, U>::type 
{};
 
int main()
{
    std::cout << std::boolalpha
              << decay_equiv<int, int>::value << '\n'
              << decay_equiv<int&, int>::value << '\n'
              << decay_equiv<int&&, int>::value << '\n'
              << decay_equiv<const int&, int>::value << '\n'
              << decay_equiv<int[2], int*>::value << '\n'
              << decay_equiv<int(int), int(*)(int)>::value << '\n';
}

输出:

true
true
true
true
true
true

[编辑] 参阅

隐式转换 数组到指针、函数到指针、左值到右值转换