c++11 右值引用和移动语义

什么是左值、右值

最常见的误解:
  等号左边的就是左值,等号右边的就是右值
  左值和右值都是针对表达式而言的,
  左值是指表达式结束后依然存在的持久对象
  右值是指表达式结束时就不再存在的临时对象
区分:
  能对表达式进行取地址,则为左值 ;否则为右值

为什么引入右值引用?
std::vector<String> v;
v.push_back(“hello,world”);

  • 调用 String::String(const char *);
  • 调用 String::String(const String&);
  • 调用 String::~String()

问题症结在于,临时对象的构造和析构带来了不必要的资源拷贝。
如果有一种机制,可以在语法层面识别出临时对象,在使用临时对象构造新对象(拷贝构造)的时候,将临时对象所持有的资源『转移』到新的对象中,就能消除这种不必要的拷贝。
这种语法机制就是『右值引用』。

左值引用

根据其修饰符的不同,可分为非常量左值引用和常量左值引用

int ia = 10;   int &a = ia;

const int ib = 30;   int &b = ib;

const int &ri = 20;

非常量左值引用只能绑定到非常量左值

常量左值引用可以绑定到所有类型的值,包括 非常量左值、常量左值、右值(根据语法规则,无法区分出右值)

 右值VS临时对象

vector<int> get_all_scores()
{
	vector<int> vec;
	vec.push_back(1);
	vec.push_back(2);
	return vec;
}
vector<int> vec =get_all_scores();//这里实际上调用了三次构造函数

  

右值引用

右值引用 int &&refa;
引入右值引用后,『引用』到『值』的绑定规则也得到扩充:
左值引用可以绑定到左值: int x; int &xr = x;
非常量左值引用不可以绑定到右值: int &r = 0;
常量左值引用可以绑定到左值和右值:int x; const int &cxr = x; const int &cr = 0;
右值引用可以绑定到右值:int &&r = 0;
右值引用不可以绑定到左值:int x; int &&xr = x;
常量右值引用没有现实意义(毕竟右值引用的初衷在于移动语义,而移动就意味着『修改』)。

移动语义--std::move

编译器只对右值引用才能调用转移构造函数和转移赋值函数,而所有命名对象都只能是左值引用,如果已知一个命名对象不再被使用而想对它调用转移构造函数和转移赋值函数,也就是把一个左值引用当做右值引用来使用,怎么做呢?标准库提供了函数 std::move,这个函数以非常简单的方式将左值引用转换为右值引用。

通过移动语义,我们可以在没有必要的时候避免复制。

对于右值引用而言,它本身是右值么?
示例
1. 字符串的定义

#include <stdio.h>
#include <string.h>
#include <iostream>
#include <vector>
#include <string>
using std::cout;
using std::endl;
using std::vector;
using std::string;

class String
{
public:
	String()
	: _pstr(new char[1]())
	{}

	String(const char * pstr)
	: _pstr(new char[strlen(pstr) + 1]())
	{
		cout << "String(const char *)" << endl;
		strcpy(_pstr, pstr);
	}

	//复制构造函数
	String(const String & rhs)
	: _pstr(new char[strlen(rhs._pstr) + 1]())
	{
		cout << "String(const String & rhs)" << endl;
		strcpy(_pstr, rhs._pstr);
	}
     //如果传递的是右值,而复制构造函数和移动构造函数同时存在,此时移动构造函数优先执行。
	//移动构造函数 C++11
	String(String && rhs)
	: _pstr(rhs._pstr)
	{
		cout << "String(String && rhs)" << endl;
		rhs._pstr = NULL;
	}
	//移动赋值运算符函数
	String & operator=(String && rhs)
	{
		cout << "String & operator=(String && )" << endl;
		if(this != &rhs)
		{
			delete [] _pstr;
			_pstr = rhs._pstr;
			rhs._pstr = NULL;
		}
		return *this;
	}

	//赋值运算符函数
	String & operator=(const String & rhs)
	{
		cout << "String & operator=(const String&)" << endl;
		if(this != &rhs)
		{
			delete [] _pstr;
			_pstr = new char[strlen(rhs._pstr) + 1]();
			strcpy(_pstr, rhs._pstr);
		}
		return *this;
	}

	~String()
	{
		delete [] _pstr;
		cout << "~String()" << endl;
	}

	const char * c_str() const
	{	return _pstr;	}

	friend std::ostream & operator<<(std::ostream & os, const String & rhs);

private:
	char * _pstr;
};
std::ostream & operator<<(std::ostream & os, const String & rhs)
{
	os << rhs._pstr;
	return os;
}

int test0(void)
{
	//vector<String> vec;
	//vec.push_back("hello,world");

	String s1("hello,world");
	cout << "s1 = " << s1 << endl;

	s1 = String("shenzhen");
	cout << "s1 = " << s1 << endl;
	printf("s1‘s address = %p\n", s1.c_str());
	cout << endl;

	String s2("wangdao");
	cout << "s2 = " << s2 << endl;
	s2 = std::move(s1);//显式的将一个左值转换成右值来使用
	cout << "s2 = " << s2 << endl;
	printf("s2‘s address = %p\n", s2.c_str());

	cout << "s1 = " << s1 << endl;

	cout << "......" << endl;

	return 0;
}

void test1(void)
{
	int a = 1;
	int b = 2;
	&a;
	&b;
	//&(a+b);// error, 右值
	//&(a++);// error, 右值
	&(++a);
	int * pFlag = &a;
	&pFlag;
	&(*pFlag);

	//&100;//error,字面值,右值
	//&string("hello");//error, 右值,匿名对象,
	string s1("hello");
	string s2("world");
	//&(s1 + s2);//error, 右值

	const int & m = 1;
	&m;//左值

	int && n = 1;//右值引用绑定到右值
	&n;

	//int && x = a;//error 右值引用无法绑定到左值
}

void test2(void)
{
	//const引用不仅可以绑定到左值,也可以绑定到右值,
	//const引用无法区分出传递过来的参数到底是左值还是右值
	//
	//C++11引入右值引用,解决该问题
	//
	String && ref1 = String("hello,world");
	String s1("hello");
	cout << ref1 << endl;

	const String & ref2 = s1;
	cout << ref2 << endl;
}

int main(void)
{
	test0();
	//test1();
	//test2();
	return 0;
}

  

总结:

非常量左值引用只能绑定到非常量左值,不能绑定到常量左值、非常量右值和常量右值。
  1)如果允许绑定到常量左值和常量右值,则非常量左值引用可以用于修改常量左值和常量右值,
这明显违反了其常量的含义。
  2) 如果允许绑定到非常量右值,则会导致非常危险的情况出现,因为非常量右值是一个临时对象,
非常量左值引用可能会使用一个已经被销毁了的临时对象。

原文地址:https://www.cnblogs.com/cthon/p/9226866.html

时间: 2024-10-07 04:09:35

c++11 右值引用和移动语义的相关文章

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

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

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

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

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]我理解的右值引用、移动语义和完美转发

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

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

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

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

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

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 是临时值,就是右