C++移动语义

前言

移动语义，如果想要理解它，那么你的重点不应放在“移动”，而在于“语义”。

因为移动，是由移动构造函数、移动赋值运算符决定的，是否真的发生移动了、如何实现移动，都要看具体实现。

不论是类设计者还是类使用者，关键都在于遵照语义。

下面一步步帮你理解。

一、左值引用和右值引用

左值引用只能引用左值，例如变量；
右值引用只能引用右值，例如数字字面量、字符串字面量。

int x;
int & leftRef  = x; //左值引用
int && rightRef = 999; //右值引用

左值引用和右值引用都是有名变量，都是左值。

二、拷贝构造、移动构造、拷贝赋值、移动赋值

class A{
public:
	A(const A& other){//拷贝构造
		
	}
	A(const A&& other){//移动构造
	
	}
	A& operator=(const A& other){//拷贝赋值
	
	}
	A& operator=(const A&& other){//移动赋值
	
	}
private:
	int * a = new int[10];
};

传递右值引用的参数，就会调用移动构造函数、移动赋值运算符。
例如，可以在拷贝版本进行深拷贝，在移动版本进行浅拷贝。

也完全可以让移动版本实现和拷贝版本一样，或者删去移动版本，此时的移动没有任何实际作用，与拷贝等同。

三、std::move()

std::move()并没有真的移动什么，它的作用仅仅只有一个：将左值引用强制转换为右值引用。

拿到了右值引用，就可以用它来调用移动赋值运算符、移动构造函数。

例如，某个类针对移动做了优化（区分深浅拷贝），那么就可以根据实际需求，享受到移动语义带来的性能提升。

再比如，有的类在语义上不允许拷贝，持有权只能转让，例如std::unique_ptr、std::thread，这个时候也需要std::move()。