C++11中的右值引用及move语义编程
C++0x中加入了右值引用,和move函数。右值引用出现之前我们只能用const引用来关联临时对象(右值)(造孽的VS可以用非const引用关联临时对象,请忽略VS),所以我们不能修临时对象的内容,右值引用的出现就让我们可以取得临时对象的控制权,终于可以修改临时对象了!而且书上说配合move函数,可以大大提高现有C++的效率。那么是怎样提高它的效率的呢?看段代码先!
- #include <iostream>
- #include <utility>
- #include <vector>
- #include <string>
- int main()
- {
- std::string str = "Hello";
- std::vector<std::string> v;
- // uses the push_back(const T&) overload, which means
- // we'll incur the cost of copying str
- v.push_back(str);
- std::cout << "After copy, str is \"" << str << "\"\n";
- // uses the rvalue reference push_back(T&&) overload,
- // which means no strings will copied; instead, the contents
- // of str will be moved into the vector. This is less
- // expensive, but also means str might now be empty.
- v.push_back(std::move(str)); //注意: void push_back( T&& value );
- std::cout << "After move, str is \"" << str << "\"\n";
- std::cout << "The contents of the vector are \"" << v[]
- << "\", \"" << v[] << "\"\n";
- }
- 结果:
- After copy, str is "Hello"
- After move, str is ""
- The contents of the vector are "Hello", "Hello"
看完大概明白一点儿了,加上move之后,str对象里面的内容被"移动"到新的对象中并插入到数组之中了,同时str被清空了。这样一来省去了对象拷贝的过程。所以说在str对象不再使用的情况下,这种做法的效率更高一些!但问题是str的内容在什么地方被移走的呢?move函数到底是干啥的?扣一下stl源码吧,下面是move模板的源码:
- // TEMPLATE FUNCTION move
- template<class _Ty> inline
- typename tr1::_Remove_reference<_Ty>::_Type&&
- move(_Ty&& _Arg)
- { // forward _Arg as movable
- return ((typename tr1::_Remove_reference<_Ty>::_Type&&)_Arg); //从这里到返回值的时候,发生了string的移动拷贝构造函数调用,故字符串转移到了右值引用变量中去了。
- }
好吧,看过了这段,可能有人又迷惑了,不是说有名左指变量不能绑定到右值引用上面么?为什么move函数的参数是右值引用却可以接受左值变量作为参数?难道STL错了么?事实上,C++0x在引入右值引用的时候对函数模板自动推导也加入了新的规则,简单的说,像例子中的这种情况,模板参数是_Ty而函数的参数是_Ty&&(右值引用),同时_Arg是string的左值对象的情况下,会触发一个特殊规则,_Ty会推导成string&,也就是说此事推导出来的函数与move<string&>一致。那么move(_Ty&& _Arg) 得到的应该是move(string& && _Arg)这个时候根据引用折叠原则,会变成这个样子move(string& _Arg)。详细的描述参见白云飘飘翻译的vc技术文档(http://www.cppblog.com/kesalin/archive/2009/06/05/86851.html)。函数的返回值嘛,就好说了,就是返回所持有类型的右值引用了。所以,move函数的作用很简单,不管你给什么参数,都返回对应类型的右值引用!那么,上面例子中str的不是在move函数中被移走的。综上,我们猜测str内容肯定是在构造新对象的过程中被新对象偷走的,也就是在string的参数为右值引用的构造函数中被偷走的!翻看string的源码(来自VS实现的STL),果然如此啊!如下:
- basic_string(_Myt&& _Right)
- : _Mybase(_STD forward<_Alloc>(_Right._Alval))
- { // construct by moving _Right
- _Tidy();
- assign(_STD forward<_Myt>(_Right));
- }
- _Myt& assign(_Myt&& _Right)
- { // assign by moving _Right
- if (this == &_Right)
- ;
- else if (get_allocator() != _Right.get_allocator()
- && this->_BUF_SIZE <= _Right._Myres)
- *this = _Right;
- else
- { // not same, clear this and steal from _Right
- _Tidy(true);
- if (_Right._Myres < this->_BUF_SIZE)
- _Traits::move(this->_Bx._Buf, _Right._Bx._Buf,
- _Right._Mysize + );
- else
- { // copy pointer
- this->_Bx._Ptr = _Right._Bx._Ptr;
- _Right._Bx._Ptr = ;
- }
- this->_Mysize = _Right._Mysize;
- this->_Myres = _Right._Myres;
- _Right._Tidy();
- }
- return (*this);
- }
所以,我们知道了,C++0x在STL模板库中加入了参数为右值引用的构造函数,用于把参数所关联对象中的数据移动到新对象当中,避免了深度拷贝,增加了效率。再详细翻看源码,可以发现除了构造函数,operator=也重载了一个参数为右值引用的函数,用途和构造函数类似。所以我们自定义中的类也应该增加参数为右值引用的构造函数和重载赋值运算符!原因是啥,看例子!
未定义参数为右值引用的构造函数:
- #include <iostream>
- #include <utility>
- #include <vector>
- #include <string>
- using namespace std;
- class MyPoint{
- public:
- MyPoint()
- :comment(""), x(), y()
- {
- }
- MyPoint(const MyPoint& p)
- :comment(p.comment),x(p.x),y(p.y)
- {}
- //MyPoint(MyPoint&& p)
- // :comment(move(p.comment)), x(p.x), y(p.y)
- //{
- // p.x = 0;
- // p.y = 0;
- //}
- string toString()
- {
- char buf[];
- sprintf(buf, "%s: %d %d", comment.c_str(), x, y);
- return buf;
- }
- string comment;
- int x;
- int y;
- };
- int main()
- {
- MyPoint p;
- p.comment = "First point";
- p.x = ;
- p.y = ;
- vector<MyPoint> v;
- v.push_back(p);
- cout << "After copy, str is \"" << p.toString() << "\"\n";
- v.push_back(move(p));
- cout << "After move, str is \"" << p.toString() << "\"\n";
- cout << "The contents of the vector are \"" << v[].toString()
- << "\", \"" << v[].toString() << "\"\n";
- cin.get();
- }
- 结果:
- After copy, str is "First point: 9 7"
- After move, str is "First point: 9 7"
- The contents of the vector are "First point: 9 7", "First point: 9 7"
- 定义了参数为右值引用的构造函数之后:
- After copy, str is "First point: 9 7"
- After move, str is ": 0 0"
- The contents of the vector are "First point: 9 7", "First point: 9 7"
综上所述,C++0x中的move语义编程,不仅仅是在应用的时候使用参数中加上move,对于自定义类需要增加参数为右值引用的构造函数和赋值运算符,这种构造函数我们称为move构造函数!
C++11中的右值引用及move语义编程的更多相关文章
- C++ 11 中的右值引用
C++ 11 中的右值引用 右值引用的功能 首先,我并不介绍什么是右值引用,而是以一个例子里来介绍一下右值引用的功能: #include <iostream> #include &l ...
- [转载] C++11中的右值引用
C++11中的右值引用 May 18, 2015 移动构造函数 C++98中的左值和右值 C++11右值引用和移动语义 强制移动语义std::move() 右值引用和右值的关系 完美转发 引用折叠推导 ...
- C++ 11中的右值引用以及std::move
看了很多篇文章,现在终于搞懂了C++ 中的右值以及std::move 左值和右值最重要的区别就是右值其实是一个临时的变量 在C++ 11中,也为右值引用增加了新语法,即&& 比 ...
- C++11中的右值引用
原文出处:http://kuring.me/post/cpp11_right_reference May 18, 2015 移动构造函数 C++98中的左值和右值 C++11右值引用和移动语义 强制移 ...
- 【转载】C++ 11中的右值引用
本篇随笔为转载,原博地址如下:http://www.cnblogs.com/TianFang/archive/2013/01/26/2878356.html 右值引用的功能 首先,我并不介绍什么是右值 ...
- [c++11]右值引用、移动语义和完美转发
c++中引入了右值引用和移动语义,可以避免无谓的复制,提高程序性能.有点难理解,于是花时间整理一下自己的理解. 左值.右值 C++中所有的值都必然属于左值.右值二者之一.左值是指表达式结束后依然存在的 ...
- [转][c++11]我理解的右值引用、移动语义和完美转发
c++中引入了右值引用和移动语义,可以避免无谓的复制,提高程序性能.有点难理解,于是花时间整理一下自己的理解. 左值.右值 C++中所有的值都必然属于左值.右值二者之一.左值是指表达式结束后依然存在的 ...
- 【转】C++11 标准新特性: 右值引用与转移语义
VS2013出来了,对于C++来说,最大的改变莫过于对于C++11新特性的支持,在网上搜了一下C++11的介绍,发现这篇文章非常不错,分享给大家同时自己作为存档. 原文地址:http://www.ib ...
- C++11 标准新特性: 右值引用与转移语义
文章出处:https://www.ibm.com/developerworks/cn/aix/library/1307_lisl_c11/ 新特性的目的 右值引用 (Rvalue Referene) ...
随机推荐
- POJ 1328 Radar Installation【贪心】
POJ 1328 题意: 将一条海岸线看成X轴,X轴上面是大海,海上有若干岛屿,给出雷达的覆盖半径和岛屿的位置,要求在海岸线上建雷达,在雷达能够覆盖全部岛屿情况下,求雷达的最少使用量. 分析: 贪心法 ...
- Docker+Jenkins持续集成环境(1)使用Docker搭建Jenkins+Docker持续集成环境
本文介绍如何通过Jenkins的docker镜像从零开始构建一个基于docker镜像的持续集成环境,包含自动化构建.发布到仓库\并部署上线. 0. 前置条件 服务器安装docker,并启动docker ...
- BZOJ3224 洛谷3369 Tyvj 1728 普通平衡树 splay
欢迎访问~原文出处——博客园-zhouzhendong 去博客园看该题解 题目传送门 - BZOJ3224 题意概括 您需要写一种数据结构(可参考题目标题),来维护一些数,其中需要提供以下操作:1. ...
- UVa 562 - Dividing coins 均分钱币 【01背包】
题目链接:https://vjudge.net/contest/103424#problem/E 题目大意: 给你一堆硬币,让你分成两堆,分别给A,B两个人,求两人得到的最小差. 解题思路: 求解两人 ...
- Linux学习之挂载光盘和U盘(六)
Linux下挂载光盘和U盘 挂载 linux下硬盘.U盘.软盘.移动硬盘都必须挂载后才能使用,不过硬盘的挂载是系统自动进行的. linux中每一个硬件都有一个设备文件名,就是将U盘什么的设备文件名与挂 ...
- zip&ftp命令
zip: C:\Users\IBM_ADMIN>zip -09r Oracle.zip ./Oracle/* C:\Users\IBM_ADMIN>ftp ftp> open adm ...
- VsVim - Shortcut Key (快捷键)
Enable / Disable NuGet 中提供了禁用按钮.另外还可以通过 Ctrl+Shift+F12 在 Visual Studio 中实现 Enable / Disable. 移动光标类命令 ...
- AGC 016B.Colorful Hats(思路)
题目链接 对于某个元素分类讨论一下,就可以知道n个元素的总颜色种数了. 比如对a[1]分类讨论: 若1的颜色和某个元素相同,则总颜色数为a[1].a[i]要么等于a[1](i与某个元素颜色相同,记个数 ...
- 洛谷.1919.[模板]A*B Problem升级版(FFT)
题目链接:洛谷.BZOJ2179 //将乘数拆成 a0*10^n + a1*10^(n-1) + ... + a_n-1的形式 //可以发现多项式乘法就模拟了竖式乘法 所以用FFT即可 注意处理进位 ...
- 安装 jenkins
1. 将jenkins.war包放在 tomcat 的 webapps 目录下即可 2 重启 tomcat 3. 通过浏览器访问 IP:8080/jenkins