在前面分析过类型的萃取，说的直白一些就是得到某些表达式或者变量的类型。这个如果在普通的编程里没啥难度，但在模板编程里或者一些特殊情况下就比较麻烦了，毕竟c++还是一门看上去高级其实仍然有些低级的语言（没有RTTI，Run-Time Type Identification）。这个结果就是c++没有办法从设计上得到运行期的类别类型。但是有困难压不领到英雄汉，在c++中还是有办法得到这些类型的，最典型的方法就是萃取。这个在前面介绍过，可以回头翻翻一下前面的公众号。
在c++中，其实有些情况下并不需要纯粹的获得这个类型的情况，比如CV限制等等可以不用考虑，那么在c++的库中，还是提供一些其它的获取类型的方式，下面介绍的std::decay就是如此，它定义在
看一下定义：
template< class T >struct decay; (C++11 起)
对类型 T 应用左值到右值、数组到指针及函数到指针隐式转换，移除 cv 限定符，并定义结果类型为成员 typedef type 。正式而言：
若 T 指名“ U 的数组”或“到 U 的数组的引用”类型，则成员 typedef type 为 U* 。
否则，若 T 为函数类型 F 或到它的引用，则成员 typedef type 为std::add_pointer::type 。
否则，成员 typedef type 为 std::remove_cv::type>::type 。
这些转换模仿在以值传递时，应用到所有函数参数的类型转换。
添加 decay 的特化的程序行为未定义。
成员类型
名称 定义
type 应用退化类型转换到 T 的结果 其实这上面的说明就很好的解释了刚刚的情况，也就是说，这是可能会引起退化的操作，它会移除cv限定符并将数组退化为指针并消除引用（指针特性除外，如果想移除可使用std::remove_pointer）。type其实更详细的解释就是：T是引用类型，decay::type返回T引用的元素类型；当T是非引用类型，decay::type返回T的类型。
三、例程看一下相关例程：
#include#includetemplatestruct decay_equiv :
std::is_same::type, U>::type
{};
int main()
{
std::cout<< std::boolalpha
<< decay_equiv::value<< '\n'
<< decay_equiv::value<< '\n'
<< decay_equiv::value<< '\n'
<< decay_equiv::value<< '\n'
<< decay_equiv::value<< '\n'
<< decay_equiv::value<< '\n';
} 这个程序的运行结果全是True。再回头对比一下相关的定义，就明白了。其实配合着上面提到的std::add_pointer和std::remove_pointer就可以实现把指针也退化掉的情况，根据工作中的实际应用来处理吧。其实这个东西单纯用在普通程序里意义不是多大。更多还是用在模板编程上。看下面的例子：
templatestatic void MyFunc(Data& d, T&& s)
{
using U = typename std::decay::type;
if (sizeof(U)<= size)
new ((U*)&d) U(std::forward(s));//new定位运算，即从指定的内存位置分配
else
*(U**)&d = new U(std::forward(s));
} 不要小看每个小的细节的应用，这些应用一旦组合起来，可能产生一种无法想象的威力，这也是c++的魅力所在。如果在看一些开源框架中有些代码一看就头大时，不要害怕，把它拆开来分解学习，很快就明白他们的用处。如果无法全新的创新，那么组合的创新也不失为一种技术的进步。
打好基础，紧跟技术前进的脚步，这才是学好c++的前提。
你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧