目录

1、左值引用的缺陷

2、移动构造：解决临时对象的深拷贝

3、拓展：移动赋值 

1、左值引用的缺陷

左值引用作为函数参数传递，减少了参数拷贝；但是作为函数返回值，并不适用于所有场景，比如要返回一个临时对象。

直接返回临时对象的话，此时编译器就会调用拷贝构造，构造一个新的临时对象保存到main函数的栈上，然后销毁原本的临时对象。如果对象中有一个大小为10000的数组，深拷贝对程序运行效率影响较大。

class Point
{
public:Point(int x, int y): _x(x), _y(y) {}Point(const Point& p):_x(p._x), _y(p._y){cout << "Point(Point& p)被调用了 —— 深拷贝" << endl;}Point& operator=(const Point& p){_x = p._x;_y = p._y;}Point getPos() {Point p(_x, _y);        // 创建临时对象return p;               // 返回临时对象}
private:int _x;int _y;
};

2、移动构造：解决临时对象的深拷贝

移动构造是右值引用的应用之一，其本质就是将要返回的临时对象的资源移动到其他地方。下面通过示意图和案例来了解。

(1) 移动构造的本质

移动构造也是构造函数的一种，区别在于，传递的参数必须是右值，即表达式、函数返回值等。其本质是将右值保存的资源，转移到其他临时对象。以上述 getPos 函数为例。

getPos函数返回一个临时对象A，临时对象A出了作用域就被销毁，肯定不能直接返回，所以会先调用移动构造（函数返回值是右值）。

移动构造会将临时对象A的资源转移到新构造的对象B中，然后再销毁临时对象A，这样的话，就减少了深拷贝，提升程序的运行效率。

(2) 移动构造具体实现

所谓转移资源，其实就是将临时对象A和临时对象B的资源交换：

• 临时对象A：传递的右值形参 p
• 临时对象B：构造的对象 *this

// 移动构造
Point(Point&& p)
{// cout << "Point(Point&& p) 被调用了 —— 资源转移" << endl;this->swap(p);
}// 资源交换
void swap(Point& p)
{std::swap(_x, p._x);std::swap(_y, p._y);
}

(3) 移动构造测试

我们在先前的代码中加入移动构造，然后使用同样的方法测试

class Point
{
public:Point(int x, int y): _x(x), _y(y) {}Point(const Point& p):_x(p._x), _y(p._y){cout << "Point(Point& p)被调用了 —— 深拷贝" << endl;}Point& operator=(const Point& p){_x = p._x;_y = p._y;}// 移动构造Point(Point&& p){cout << "Point(Point&& p) 被调用了 —— 资源转移" << endl;swap(*this, p);}// 交换资源void swap(Point& p){std::swap(_x, p._x);std::swap(_y, p._y);}Point getPos() {Point p(_x, _y);return p;}
private:int _x;int _y;
};

3、拓展：移动赋值 

(1) 起因

当我们把一个对象赋给另一个对象的时候，其实就是把一个对象里的内容完全拷贝到另一个对象，这个时候也会发生深拷贝。

Point p(10, 20);
// Point p1 = p;        // 会被编译器优化成调用拷贝构造
Point p1(20, 30);
p1 = p;        // 赋值完毕以后打算舍弃 p

假如我们的目的是，将 p 赋给 p1 以后舍弃对象p，若对象p中包含一个大小为10000的数组，这个时候的深拷贝就比较影响效率了。

(2) 移动赋值

移动赋值借用了移动构造的思路，既然不需要对象p，那就索性将一个对象p的资源转移到对象p1

那么我们就需要新增一个 operator=() 的重载了

Point& operator=(Point&& p)
{// cout << "Point& operator=(Point&& p) 被调用了 —— 移动赋值，资源转移" << endl;this->swap(p);    // swap 函数的定义详见上面的移动构造return *this;
}

(3) 移动赋值测试

测试用的代码需要稍微改动一下，移动赋值的形参必须是一个右值，这里我们需要用move函数将对象p 转换成右值。其内部也是以特殊的方式直接返回传入的对象，这样的话返回值就变成了一个临时对象，也就是右值。

int main() {Point p(10, 20);Point p1(20, 30);p1 = move(p);return 0;
}