跟我学c++中级篇—

一、类型的萃取

在前面分析过类型的萃取，说的直白一些就是得到某些表达式或者变量的类型。这个如果在普通的编程里没啥难度，但在模板编程里或者一些特殊情况下就比较麻烦了，毕竟c++还是一门看上去高级其实仍然有些低级的语言（没有RTTI，Run-Time Type Identification）。这个结果就是c++没有办法从设计上得到运行期的类别类型。但是有困难压不领到英雄汉，在c++中还是有办法得到这些类型的，最典型的方法就是萃取。这个在前面介绍过，可以回头翻翻一下前面的公众号。
在c++中，其实有些情况下并不需要纯粹的获得这个类型的情况，比如CV限制等等可以不用考虑，那么在c++的库中，还是提供一些其它的获取类型的方式，下面介绍的std::decay就是如此，它定义在<type_traits>头文件中。

二、标准库中的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<F>::type 。
否则，成员 typedef type 为 std::remove_cv<std::remove_reference<T>::type>::type 。
这些转换模仿在以值传递时，应用到所有函数参数的类型转换。
添加 decay 的特化的程序行为未定义。成员类型
名称  定义
type    应用退化类型转换到 T 的结果

其实这上面的说明就很好的解释了刚刚的情况，也就是说，这是可能会引起退化的操作，它会移除cv限定符并将数组退化为指针并消除引用（指针特性除外，如果想移除可使用std::remove_pointer）。type其实更详细的解释就是：T是引用类型，decay::type返回T引用的元素类型；当T是非引用类型，decay::type返回T的类型。

三、例程

看一下相关例程：

#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。再回头对比一下相关的定义，就明白了。其实配合着上面提到的std::add_pointer和std::remove_pointer就可以实现把指针也退化掉的情况，根据工作中的实际应用来处理吧。其实这个东西单纯用在普通程序里意义不是多大。更多还是用在模板编程上。看下面的例子：

    template<typename T>static void MyFunc(Data& d, T&& s){using U = typename std::decay<T>::type;if (sizeof(U) <= size)new ((U*)&d) U(std::forward<U>(s));//new定位运算，即从指定的内存位置分配else*(U**)&d = new U(std::forward<U>(s));}

四、总结

不要小看每个小的细节的应用，这些应用一旦组合起来，可能产生一种无法想象的威力，这也是c++的魅力所在。如果在看一些开源框架中有些代码一看就头大时，不要害怕，把它拆开来分解学习，很快就明白他们的用处。如果无法全新的创新，那么组合的创新也不失为一种技术的进步。
打好基础，紧跟技术前进的脚步，这才是学好c++的前提。