右值引用之移动语义

本文翻译自关于右值引用解释的经典文章,如果英文还可以的话,直接去看英文原文。thbecker.net/articles/rvalue_references/section_01.html

右值引用是c++中的一个特性,并且已经入驻c++11标准,可能大家一开始接触的时候感觉有点难以理解,但是他的确是很好用的一个玩意儿。

右值引用解决了两个问题:

1.move语义 2.完美转发。

我们接下来先简单介绍一下move语义,但是介绍move语义之前,我们需要先介绍左值和右值的含义。

在C语言中,我们给出左值的定义为:左值是一个表达式e,那么他既可以出现在赋值操作符的左边,也可以出现在右边。右值是:只允许出现在赋值操作符右边的表达式。

int a = 42;
int b = 43;

// a b 都是左值
a = b; // ok
b = a; // ok
a = a * b; // ok

// a * b 是右值
int c = a * b; // ok, 右值出现在=右边
a * b = 42; // error, 右值不允许出现在=左边

那么在c++中,左右值的定义也差不多,但是有一点点变化。在c++中,左值是:你可以对它取地址(&)操作的表达式,右值是非左值的表达式。

 // 左值:
  //
  int i = 42;
  i = 43; // ok, i 是左值
  int* p = &i; // ok, i 是左值
  int& foo();
  foo() = 42; // ok, foo() 是左值
  int* p1 = &foo(); // ok, foo() 是左值

  // 右值:
  //
  int foobar();
  int j = 0;
  j = foobar(); // ok, foobar() 是右值
  int* p2 = &foobar(); // error, 不能取右值表达式的地址
  j = 42; // ok, 42 是右值

假设我们有一个类X,他有一个成员函数为一个指针,可能指向某些资源之类的。那么相应的构造、析构、拷贝等操作都是需要一些特殊的处理工作。

比如我们常见的std::vector,那么X的拷贝操作就类似下面这样:

X& X::operator=(X const & rhs)
{
  // [...]
  // 先收回资源m_pResource
  // 对rhs的m_pResource指向的资源做拷贝操作
  // 然后令m_pResource指向新的内存位置.
  // [...]
}

或者你可能会遇到下面这种代码:

X foo();
X x;
x = foo();

那么第三句,也就是最后一句要执行三个操作:

1.释放原来x的资源。

2.克隆foo返回值中的资源给x的资源。

3.销毁释放返回值中的资源。

很显然,这是很低效的做法,更聪明的做法是swap操作,交换x和返回值x`的资源,然后原x的资源会被自动释放。

换句话说我们想做的就是:

...swap(m_pResource,rhs.m_pResource);...

这个就叫做move语义,在c++11中,通过重载可实现这个特性:

X& X::operator=(<???> rhs)
{
  // [...]
  // swap(m_pResource,rhs.m_pResource);
  // [...]
}

那么这个???是个什么类型呢?当然首先它应该是一种引用类型,减少不必要的值拷贝,然后我们还想它和传统的引用类型分开,因为我们希望当右操作数为右值的时候,调用???这个重载,而当右操作数为左值的时候,调用原始的引用赋值构造,那么好吧,那我们就把???叫做“右值引用”好了。

时间: 2024-10-27 06:11:36

右值引用之移动语义的相关文章

[C++]右值引用和转移语义

右值引用和转移语义 本文尝试着解释何为右值引用和转移语义以及使用它们具有优势,并提供相关案例分析. 定义 左值和右值 首先我们先来理解一下什么是左值和右值. C/C++语言中可以放在赋值符号左边的变量,左值表示存储在计算机内存的对象,左值相当于地址值.右值:当一个符号或者常量放在操作符右边的时候,计算机就读取他们的"右值",也就是其代表的真实值,右值相当于数据值. C/C++语言中可以放在赋值符号左边的变量,即具有对应的可以由用户访问的存储单元,并且能够由用户去改变其值的量.左值表示存

C++11 标准新特性: 右值引用与转移语义

C++ 的新标准 C++11 已经发布一段时间了.本文介绍了新标准中的一个特性,右值引用和转移语义.这个特性能够使代码更加简洁高效. 查看本系列更多内容 | 3 评论: 李 胜利, 高级开发工程师, IBM 2013 年 7 月 10 日 内容 在 IBM Bluemix 云平台上开发并部署您的下一个应用. 开始您的试用 新特性的目的 右值引用 (Rvalue Referene) 是 C++ 新标准 (C++11, 11 代表 2011 年 ) 中引入的新特性 , 它实现了转移语义 (Move

C++11线程指南(四)--右值引用与移动语义

1. 按值传递 什么是按值传递? 当一个函数通过值的方式获取它的参数时,就会包含一个拷贝的动作.编译器知道如何去进行拷贝.如果参数是自定义类型,则我们还需要提供拷贝构造函数,或者赋值运算符来进行深拷贝.然而,拷贝是需要代价的.在我们使用STL容器时,就存在大量的拷贝代价.当按值传递参数时,会产生临时对象,浪费宝贵的CPU以及内存资源. 需要找到一个减少不必要拷贝的方法.移动语义就是其中一种. 2. 右值引用 此处介绍右值引用的目的,是为了实现后面的移动语义. 右值引用使得我们可以分辨一个值是左值

c++11 右值引用与转移语义

右值引用 (Rvalue Referene) 是 C++ 新标准 (C++11, 11 代表 2011 年 ) 中引入的新特性 , 它实现了转移语义 (Move Sementics) 和精确传递 (Perfect Forwarding).它的主要目的有两个方面: 消除两个对象交互时不必要的对象拷贝,节省运算存储资源,提高效率. 能够更简洁明确地定义泛型函数. 左值与右值的定义 C++( 包括 C) 中所有的表达式和变量要么是左值,要么是右值.通俗的左值的定义就是非临时对象,那些可以在多条语句中使

深入右值引用,move语义和完美转发

深入右值引用,move语义和完美转发 转载请注明:http://blog.csdn.net/booirror/article/details/45057689 乍看起来,move语义使得你可以用廉价的move赋值替代昂贵的copy赋值,完美转发使得你可以将传来的任意参数转发给 其他函数,而右值引用使得move语义和完美转发成为可能.然而,慢慢地你发现这不那么简单,你发现std::move并没有move任何东西,完美转发也并不完美,而T&&也不一定就是右值引用-- move语义 最原始的左值

[转][c++11]我理解的右值引用、移动语义和完美转发

c++中引入了右值引用和移动语义,可以避免无谓的复制,提高程序性能.有点难理解,于是花时间整理一下自己的理解. 左值.右值 C++中所有的值都必然属于左值.右值二者之一.左值是指表达式结束后依然存在的持久化对象,右值是指表达式结束时就不再存在的临时对象.所有的具名变量或者对象都是左值,而右值不具名.很难得到左值和右值的真正定义,但是有一个可以区分左值和右值的便捷方法:看能不能对表达式取地址,如果能,则为左值,否则为右值. 看见书上又将右值分为将亡值和纯右值.纯右值就是c++98标准中右值的概念,

[c++11]右值引用、移动语义和完美转发

c++中引入了右值引用和移动语义,可以避免无谓的复制,提高程序性能.有点难理解,于是花时间整理一下自己的理解. 左值.右值 C++中所有的值都必然属于左值.右值二者之一.左值是指表达式结束后依然存在的持久化对象,右值是指表达式结束时就不再存在的临时对象.所有的具名变量或者对象都是左值,而右值不具名.很难得到左值和右值的真正定义,但是有一个可以区分左值和右值的便捷方法:看能不能对表达式取地址,如果能,则为左值,否则为右值. 看见书上又将右值分为:将亡值和纯右值. 纯右值就是c++98标准中右值的概

C++11之右值引用(二):右值引用与移动语义

上节我们提出了右值引用,可以用来区分右值,那么这有什么用处?   问题来源   我们先看一个C++中被人诟病已久的问题: 我把某文件的内容读取到vector中,用函数如何封装? 大部分人的做法是: void readFile(const string &filename, vector<string> &words) { words.clear(); //read XXXXX } 这种做法完全可行,但是代码风格谈不上美观,我们尝试着这样编写: vector<string&

右值引用与转移语义(C++11)

参考资料: http://www.cnblogs.com/lebronjames/p/3614773.html 左值和右值定义: C++( 包括 C) 中所有的表达式和变量要么是左值,要么是右值.通俗的左值的定义就是非临时对象(可以取地址,有名字),那些可以在多条语句中使用的对象.所有的变量都满足这个定义,在多条代码中都可以使用,都是左值.右值是指临时的对象,它们只在当前的语句中有效.请看下列示例 : 1. 简单的赋值语句 如:int i = 0; 在这条语句中,i 是左值,0 是临时值,就是右

c++11的右值引用、移动语义

对于c++11来说移动语义是一个重要的概念,一直以来我对这个概念都似懂非懂.最近翻翻资料感觉突然开窍,因此记下.其实搞懂之后就会发现这个概念很简单,并无什么高深的地方. 先说说右值引用.右值一般指的是表示式中的临时变量,在c++中临时变量在表达式结束后就被销毁了,之后程序就无法再引用这个变量了.但是c++11提供了一个方法,让我们可以引用这个临时变量.这个方法就是所谓的右值引用. 那么右值引用有什么用呢?避免内存copy! 不同于其它语言,在c++里变量是值语义(在JAVA.Python变量是引