前言

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

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

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

下面一步步帮你理解。

一、左值引用和右值引用

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

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_ptrstd::thread,这个时候也需要std::move()

09-15 16:01