跟我学c++中级篇——decay-创新互联
在前面分析过类型的萃取,说的直白一些就是得到某些表达式或者变量的类型。这个如果在普通的编程里没啥难度,但在模板编程里或者一些特殊情况下就比较麻烦了,毕竟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元起,快前往官网查看详情吧
当前名称:跟我学c++中级篇——decay-创新互联
URL标题:http://myzitong.com/article/coecio.html