前言
移动语义,如果想要理解它,那么你的重点不应放在“移动”,而在于“语义”。
因为移动,是由移动构造函数、移动赋值运算符决定的,是否真的发生移动了、如何实现移动,都要看具体实现。
不论是类设计者还是类使用者,关键都在于遵照语义。
下面一步步帮你理解。
一、左值引用和右值引用
左值引用只能引用左值,例如变量;
右值引用只能引用右值,例如数字字面量、字符串字面量。
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()
。