谈谈右值引用与移动语义

一. 右值引用和移动语义的作用：

     作用：C++11中引用了右值引用和移动语义，可以避免无谓的复制，提高了程序性能。

1. 什么是右值引用

    我们先来看看什么是右值：右值相对于左值而言，举一个例子：int number=6; 这里面number是左值（位于等号左边），6是右值，位于等号右边，更加严谨的定义是左值可以取地址，右值不能取地址的值。而引用的本质是别名，我们通过引用修改变量的值，在传参时传引用可以就避免拷贝，提高程序的性能。右值引用就是对右值的引用，如  int &&number=5， 这里对5的引用，就是右值引用，也是右值引用的写法，变为左值：const int &number=5， 这里的number依然是左值，满足左右值的定义。将右值变为左值用const限定；而将左值变为右值的方法是：移动语义。

  比如：int a=7; int &&p=7; 或者const int a =7, int && p=move(a); 

    由于左值和右值本质都是引用，所以int && p=move(a), p=8, 那么，a将变为8；

被声明出来的左、右值引用都是左值。 因为被声明出的左右值引用是有地址的，也位于等号左边。运行以下的代码，你就懂了：

#include<iostream>
using namespace std;


// 形参是个右值引用
void change(int&& right_value) {
right_value = 8;
}

int main() {
int a = 5; // a是个左值
int &ref_a_left = a; // ref_a_left是个左值引用
int &&ref_a_right = std::move(a); // ref_a_right是个右值引用
change(a); // 编译不过，a是左值，change参数要求右值
change(ref_a_left); // 编译不过，左值引用ref_a_left本身也是个左值
change(ref_a_right); // 编译不过，右值引用ref_a_right本身也是个左值
change(std::move(a)); // 编译通过
change(std::move(ref_a_right)); // 编译通过
change(std::move(ref_a_left)); // 编译通过
change(5); // 当然可以直接接右值，编译通过
cout << &a << ' ';
cout << &ref_a_left << ' ';
cout << &ref_a_right;
// 打印这三个左值的地址，都是一样的
}

从上述分析中我们得到如下结论：

1. 从性能上讲，左右值引用没有区别，传参使用左右值引用都可以避免拷贝。

2. 右值引用可以直接指向右值，也可以通过std::move指向左值；而左值引用只能指向左值(const左值引用也能指向右值)。

3. 作为函数形参时，右值引用更灵活。虽然const左值引用也可以做到左右值都接受，但它无法修 改，有一定局限性。

void f(const int& n) {
n += 1; // 编译失败，const左值引用不能修改指向变量
}
void f2(int && n) {
n += 1; // ok
}
int main() {
f(6);
f2(6);
}

所以，std::move()仅仅是把左值变为了右值，而对于程序性能的提升，没有什么作用。

2.右值引用的作用

（1）右值引用优化性能，避免深拷贝

对于含有堆内存的类，我们需要提供深拷贝的拷贝构造函数，否则使用默认构造函数，会导致堆内存的重复删除。如下面的代码：

#include <iostream>

using namespace std;

class sample {
public: 
	sample():p(new int(1)) {
		
		cout << "construction" << endl;
	}
	~sample() {
		cout << p << endl;
		cout << "deconstruction" << endl;
	}
private:
	int* p;
};

int main(void){
	  sample A;
	  sample B = A;
}

在上面的代码中，默认构造函数是浅拷贝，main函数的A和B 会指向同一个指针 p，在 析构的时候会导致重复删除该指针。正确的做法是提供深拷贝的拷贝构造函数，比如下面的代码：

#include <iostream>

using namespace std;

class sample {
public:
	sample() :p(new int(1)) {

		cout << "construction" << endl;
	}
	~sample() {
		cout << p << endl;
		cout << "deconstruction" << endl;
	}
	sample(const sample& a) :p(new int(*(a.p))) {
		cout << p << endl;
		cout << "this is the copy construction" << endl;
	}
private:
	int* p;
};

int main(void) {
	sample A;
	sample B = A;
}

这样就可以保证拷贝构造时的安全性，但有时这种拷贝构造却是不必要的，比如上面代码中的拷贝构造 就是不必要的。上面代码中的 函数会返回临时变量，然后通过这个临时变量拷贝构造了一个新的对 象 b，临时变量在拷贝构造完成之后就销毁了，如果堆内存很大，那么，这个拷贝构造的代价会很大， 带来了额外的性能损耗。有没有办法避免临时对象的拷贝构造呢？答案是肯定的。看下面的代码：

#include <iostream>

using namespace std;

class sample {
public:
	sample() :p(new int(1)) {

		cout << "construction" << endl;
	}
	~sample() {
		cout << p << endl;
		cout << "deconstruction" << endl;
	}
	sample(const sample& a) :p(new int(*(a.p))) {
		cout << p << endl;
		cout << "this is the copy construction" << endl;
	}
	sample(sample&& a) :p(a.p) {
		a.p = nullptr;
		cout << "move construction" << endl;
	}
private:
	int* p;
};

int main(void) {
	sample A;
	sample B=move(A);
}

上面的代码中没有了拷贝构造，取而代之的是移动构造（ Move Construction）。从移动构造函数的实现中可以看到，它的参数是一个右值引用类型的参数 A&&，这里没有深拷贝，只有浅拷贝，这样就避免了 对临时对象的深拷贝，提高了性能。这里的 A&& 用来根据参数是左值还是右值来建立分支，如果是临时 值，则会选择移动构造函数。移动构造函数只是将临时对象的资源做了浅拷贝，不需要对其进行深拷 贝，从而避免了额外的拷贝，提高性能。这也就是所谓的移动语义（ move 语义），右值引用的一个重 要目的是用来支持移动语义的。 移动语义可以将资源（堆、系统对象等）通过浅拷贝方式从一个对象转移到另一个对象，这样能够减少 不必要的临时对象的创建、拷贝以及销毁，可以大幅度提高 C++ 应用程序的性能，消除临时对象的维护 （创建和销毁）对性能的影响。

3.move语义

move是将对象的状态或者所有权从一个对象转移到另一个对象，只是转义，没有内存拷贝。要move语义起作用，核心在于需要对应类型的构造函数支持。

#include <iostream>

using namespace std;

class sample {
public:
	sample() :p(new int(1)) {

		cout << "construction" << endl;
	}
	~sample() {
		cout << p << endl;
		cout << "deconstruction" << endl;
	}
	sample(const sample& a) :p(new int(*(a.p))) {
		cout << p << endl;
		cout << "this is the copy construction" << endl;
	}
	sample(sample&& a) :p(a.p) {
		p = a.p;
		cout << "move construction" << endl;
		cout << p << endl;
	}
private:
	int* p;
};

int main(void) {
	sample A;
	sample B = move(A);
	sample C = A;
}

去运行一下上面这段代码就知道了move()语义的作用了，它完成的是资源的剪切，而非拷贝，当结束了对象的生命周期，又把资源还回来，不会有额外的内存开销。有了右值引用和转移语义，我们在设计和实现类时，对于需要动态申请大量资源的类，应该设计右值引 用的拷贝构造函数和赋值函数，以提高应用程序的效率。