更多课程 选择中心

C/C++培训
达内IT学院

400-111-8989

C++11中右值引用与移动构造函数

  • 发布:C++培训
  • 来源:学习笔记
  • 时间:2017-08-25 15:48

C++11中引入了很多令人激动的新特性,右值引用与移动构造函数便是其中之一,作为一个刚刚接触C++11标准的初学者,要理解这些东西还真不是一件简单的事,我就在这上面花了不少时间,还好总算是对其有了一定的认识,于是就将自己的理解记录下来,一来加深自己的理解,二来希望能够对后面需要接触这块内容的朋友有所帮助。文章如有遗漏或理解不恰当之处,还希望指出。

左值和右值

在切入主题右值引用和移动构造函数之前,我们还是先理解两个概念:左值和右值。对此,早期C语言给出的定义是:左值是一个表达式,可以出现在=的左边或右边;但右值只能出现在右边。 那么问题来了,哪些表达式可以出现在=的左边呢?我回答不上,估计给出这个定义的大神也不好回答,这个定义实在太模糊,不好理解。

到了C++中,可以这么理解:对于一个表达式,凡是对其取地址(&)操作可以成功的都是左值,否则就是右值。好了,下面我们看几个例子来加深下理解:

int x = 4;int* p = &x; //ok, x 是左值int& fun();fun() = 42; // ok, fun() 是左值int* p1 = &fun(); // ok, fun() 是左值int foo();int j = 0;j = foo(); // ok, foo() 是右值int* p2 = &foobar(); // 错误,不能获取右值的地址j = 42; // ok, 42 是右值

此外需要注意的是:临时对象是右值

左值引用和右值引用

在理解了左值和右值之后,再来看与之相关的两个概念,左值引用和右值引用。其实我们早就接触过左值引用这个概念了,只不过在C++11之前,不存在右值引用,因此将左值引用直接称为“引用”。也就是说,我们曾经一直用的int& x = y事实上是对于int类型左值的引用。

右值引用 是 C++ 11中引入的新特性 ,可以理解为对右值的引用,我们知道在C++中右值不能被修改。但右值引用的出现,打破了这个限制,它允许我们获取右值的引用,并修改之,关于右值引用这个特点,在后面我们实现移动构造函数的时候会用到,这里先知道这个概念即可。

右值引用的形式为:类型 && a= 被引用的对象 ,此外需要注意的是右值引用只能绑定到右值,如int && x = 3;而形如 int x = 3; int && y = x则是错误的,因为x是一个左值。

引用作为函数参数

我们早就知道,C++中的(左值)引用可以用作函数的参数,并且也建议尽可能用引用作为函数的参数,主要原因是传引用比传值效率更高。其实不光左值引用可以作为函数参数,在C++中,右值引用也能作为函数参数,下面看两个函数。

void fun(int & i) //函数(1) ,左值引用作参数{

cout << "int & " << endl; }void fun(int && i) //函数(2), 右值引用作参数{

cout << "int && " << endl; }

对于以下语句的调用及输出如下:

int i = 12;foo(i); //输出 int &foo(22); //输出 int &&

这是因为,左值引用只能绑定左值(const左值引用除外),因此foo(i)调用的是函数(1),右值引用只能绑定右值,因此foo(22)调用的是函数(2)。

拷贝构造函数的局限性

我们来考虑一个例子,我们定义了一个工厂函数获得Test对象,然后在main()函数中创建了一个Test对象 t ,然后将调用工厂函数获得Test对象初始化 t ,运行程序,看看发生了什么。



从运行结果来看,这个示例中调用了两次拷贝构造函数构造了两个临时对象,一次是在instance函数返回时,一次在对t的初始化。其实这两个临时对象并没有什么意义,构造完了马上就析构了。但是就是因为这么两个无用的东西,在拷贝构造函数中执行了不必要的内存拷贝,这里还好,只是拷贝了100个int类型的对象,如果是拷贝100000个甚至更多了,可想而知效率是多么的低了。

移动构造函数

C++是个追求效率的语言,因此绝不容许那么低效的设计出现,于是C++标准委员会那帮大胡子就在想,有没有可能将 在工厂函数当中所构造对象的成员变量(m_p)所指向的那块内存“偷”过来,而不是重新开辟一块内存,然后再将之前的内容复制过来呢? 这就是移动构造函数设计的思想。

所谓移动构造函数,大家从名字上应该可以猜到:它应该就是一种构造函数,只不过它接受的参数是一个本类对象的右值引用,对于本例,移动构造函数的定义如下:

Test(Test && rhs):m_p(rhs.m_p){

rhs.m_p = nullptr;}

可以看到,在移动构造函数的初始化列表中,只做了一个浅拷贝m_p(rhs.m_p),将rhs对象已经申请的内存据为己用,同时将rhs的指针赋值为nullptr。这就避免了拷贝构造函数内存复制导致的效率问题。拷贝构造函数和移动构造函数在实现时其内存的变化如下图所示。

移动构造函数在用来构造临时变量或者用临时变量来构造对象的时候被调用,比如说,如果上面的例子在类中定义了移动构造函数,那么例中调用拷贝构造函数的那两处地方则应该调用移动构造函数。代码如下。

从程序运行结果来看,我们的Test对象除了在工厂函数当中被使用默认构造函数构造一次之后,其余调用的全部都是移动构造函数,避免了内存的无谓拷贝。

std::move

现在我们来看另外一种场景,在下面的情况下,我们知道在Test t2(t1)处会调用拷贝构造函数(t1是左值,因此不会调用移动构造函数),那么有没有一种办法在此处也调用移动构造函数而不是拷贝构造函数呢?

int main() {

Test t1;

// ......

Test t2(t1);// ......}

答案是肯定的,C++11标准中给我们提供了std::move来解决这个问题,如下,只需将Test t2(t1)换成下面的语句即可:

Test t2(std::move(t1));

这个std::move的作用就是将左值转换为右值,以便调用移动构造函数。这里有一点特别需要注意的是,在Test t2(std::move(t1))语句后,不能再对t1进行操作了,因为在移动构造函数中,已经将t1的成员变量m_p置为nullptr了。


预约申请免费试听课

填写下面表单即可预约申请免费试听!怕钱不够?可就业挣钱后再付学费! 怕学不会?助教全程陪读,随时解惑!担心就业?一地学习,可全国推荐就业!

上一篇:提升 C++ 技能的 7 种方法
下一篇:C语言学习之知识点“数据类型”学习

C语言创建windows窗口实例

C++回调函数是什么?

C++ shared_ptr和动态数组

C语言有哪些关键词,C语言44个关键词大全

  • 扫码领取资料

    回复关键字:视频资料

    免费领取 达内课程视频学习资料

  • 搜索抖音号

    搜索抖音号:1821685962

    免费领取达内课程视频学习资料

Copyright © 2021 Tedu.cn All Rights Reserved 京ICP备08000853号-56 京公网安备 11010802029508号 达内时代科技集团有限公司 版权所有

选择城市和中心
黑龙江省

吉林省

河北省

湖南省

贵州省

云南省

广西省

海南省