Item28 Understand reference collapsing
来源:互联网 发布:java定时器timer 编辑:程序博客网 时间:2024/05/17 00:19
这个系列的文章来自于Effective Modern C++的读书笔记,我抽取了其中比较重要的,不容易理解的,平常我们开发过程中也不太在意的一些Item进行分析。
在Item23中详细的介绍了std::move和std::forward的实现原理,并给出了std::move一种典型实现,但是在介绍std::forward的时候,我承认我偷懒了,我只是简单的提到std::forward类似std::move,相比于std::move而言,它是一种有条件的类型cast,并且我也没有给出std::forward的典型实现。而本文则是专门来探讨std::forward背后的实现原理。首先我们还是先来回顾一下通用引用的类型推导,请看下面这个例子:
template<typename T>void func(T&& param);
上面是一个通用引用模版,根据传入参数类型的不同,T
被推导后的类型也不同,但整个推导的机制比较简单,当传入的是一个左值的时候,T
被推导为左值引用类型,当传入是一个右值的时候,T
和传入的参数类型相同,可以使用下面的方法进行测试(也可以参考Item1)。
template <typename T>void func1(T&& data) { if (std::is_lvalue_reference<T>::value) { std::cout << "data is lvalue reference" << "\n"; } else if (std::is_same<T, int>::value) { std::cout << "data is int" << "\n"; }}int data = 100;func1(data); // 会输出 data is lvalue reference ,T被推导成左值引用func1(100); // 会输出 data is int T被推导成和100的类型相同也就是int
本文其实是在探讨std::forward的底层实现机制,但是我却花了一定的篇幅来讲通用引用类型的推导,其实这两者在底层实现机制上是相同,也是本文真正要探讨的东西。
上文在介绍通用引用类型推导的时候介绍到,当传入的类型是一个左值的时候,最终会被推导到一个左值引用类型,然后结合&&
最终还是一个左值引用类型。整个过程如下:
template <typename T>void func1(T&& data);Setp1: 传入一个int型的左值,那么T被推导成int&Setp2: 实例化后变成 void func1(int& && data);Setp3: 经过某种机制转换后变成 void func1(int& data);
上面说到的某种机制其实就是本文要探讨的,它被称为引用折叠。这种机制就是用来支撑通用引用的类型推导和std::forward的核心。引用折叠规定了两种类型折叠,一种就是左值引用和&&
发生折叠后就是左值引用,除此之外折叠后的结果都是右值引用。介绍完引用折叠后,我相信接下来解释std::forward的工作原理将会变的越发轻松,下面是std::forward的典型实现。
template<typename T>T&& forward<typename remove_reference<T>::type& param){ return static_cast<T&&>(param);}
当传入的类型是一个左值的时候,比如int,按照模版的推导规则T
会被推导成T&
(参考上文或者Item1),然后整个模版就变成了如下这种形式:
int& && forward<typename remove_reference<int&>::type& param){ return static_cast<int& &&>(param);}
上面是模版实例化后的状态,这个时候引用折叠机制开始派上用场了,经过引用折叠机制后,变成了如下这种形式,并最终返回一个左值引用类型(左值引用本质上就是左值)。这完全符合std::forward的预期,传入左值那么std::forward则返回左值,实际上并没有做任何类型cast。
int& forward<int& param){ return static_cast<int&>(param);}
接着测试另外一种场景,当用户传入的是一个右值的情况下,按照模版的推导规则T
会被推导成传入的参数的类型本身,然后整个模版实例化成如下这种形式:
int&& forward<int& param){ return static_cast<int&&>(param);}
最终返回的是一个右值引用类型,符合std::forward的预期,和前文中提到的std::forward本质上是一个有条件的类型cast,只有当传入的是右值时才会进行类型的cast这一理念不谋而合。
到此为此本文所要描述的核心内容已经结束,但是总的来说上文只总结了引用折叠在模版类型推导这一场景下的应用,其实引用折叠除了这个场景外,还广泛应用在其他地方,总结来说有四个应用场景。
模版类型推导
生成auto变量
Widget w;auto&& w1 = w; // w是一个左值,按照模版类型推导的规则,会被推导成Widget&Widget& && w1 = w; 经过引用折叠后变成了Widget& w1 = w;auto&& w2 = Widget(); // 传入的是一个右值,按照模版类型推导的规则,会被推导成Widgetwidget&& w2 = Widget();
typedef类型别名
template<typename T>class Widget {public: typedef T&& RvalueRefToT; ....};Widget<int&> w; //T在这里是直接被实例化成int&,没有经过推导typedef int& && RvalueRefToT; 发生引用折叠后变成了typedef int& RvalueRefToT;
decltype类型推导
具体细节可以参见[Item3 Understand decltype]
- Item28 Understand reference collapsing
- C++11 reference collapsing and perfect forward (引用折叠以及完美转发)
- C++11 reference collapsing and perfect forward (引用折叠以及完美转发)
- Effective Objective-C 2.0: Item 29: Understand Reference Counting
- Collapsing Control
- Collapsing Margins
- Collapsing margins
- Margin Collapsing
- Collapsing Margins
- Collapsing ToolbarLayout
- EffectiveC++ Item28 test case
- Item28代码测试
- Collapsing Multiple Progress Bars
- margin collapsing现象
- css collapsing margins问题
- Understand inline
- Serialization: Understand
- understand学习
- linux内核的整体架构介绍
- Spring Data REST入门(四):自定义查询(上)
- python print 按逗号或空格分隔
- 长三角铁路春运预计发送6500万人 首趟加开列车始发
- [Azure]Linux虚拟机使用rc.local启动脚本进行磁盘挂在
- Item28 Understand reference collapsing
- C#编程命名规范
- hibernate4-基于主键的单(双)向多对多的关联映射
- java中File类的使用方法
- 煤改气加剧雾霾”“石油焦是祸首”等谣言,你中招了吗?
- python学习之缩进
- JavaScript
- 翻转链表
- 日常学习记录