4.移动构造函数与拷贝构造函数对比

移动构造函数与拷贝构造函数对比

• 移动构造函数
• 拷贝构造函数

移动构造函数

移动构造函数的第一个参数是对该类类型的一个右值引用，额外的参数则如拷贝构造函数一样需要默认实参。

在完成资源移动后，移动构造函数需要确保移后源对象处于——销毁它无害。

1.左值引用：常规的引用，在汇编层，左值引用与指针是一样的，定义引用变量必须初始化，引用仅是一个别名，仍指向所引用的空间。所以，左值引用的必须是能够取址的，若不能取址（如立即数），可使用常引用。

2.右值引用：用来绑定到右值，绑定到右值（不能取地址的，没有名字的，临时的就是右值）以后本来会被销毁的右值的生存期会延长至与绑定到它的右值引用的生存期。

拷贝构造函数

#include <iostream>
using namespace std;

class A {
public:
    int x;
    A(int x) : x(x)
    {
        cout << "Constructor" << endl;
    }
    A(A& a) : x(a.x)
    {
        cout << "Copy Constructor" << endl;
    }
    A& operator=(A& a)
    {
        x = a.x;
        cout << "Copy Assignment operator" << endl;
        return *this;
    }
    A(A&& a) : x(a.x)
    {
        cout << "Move Constructor" << endl;
    }
    A& operator=(A&& a)
    {
        x = a.x;
        cout << "Move Assignment operator" << endl;
        return *this;
    }
};

A GetA()
{
    return A(1);
}

A&& MoveA(A& a)
{
    return std::move(a);
}

int main()
{
    cout << "-------------------------1-------------------------" << endl;
    A a(1);
    cout << "-------------------------2-------------------------" << endl;
    A b = a;
    cout << "-------------------------3-------------------------" << endl;
    A c(a);
    cout << "-------------------------4-------------------------" << endl;
    b = a;
    cout << "-------------------------5-------------------------" << endl;
    A d = A(1);
    cout << "-------------------------6-------------------------" << endl;
    A e = std::move(a);
    cout << "-------------------------7-------------------------" << endl;
    A f = GetA();
    cout << "-------------------------8-------------------------" << endl;
    A&& g = MoveA(f);
    cout << "-------------------------9-------------------------" << endl;
    d = A(1);
}
           

-------------------------1-------------------------
Constructor
-------------------------2-------------------------
Copy Constructor
-------------------------3-------------------------
Copy Constructor
-------------------------4-------------------------
Copy Assignment operator
-------------------------5-------------------------
Constructor
Move Constructor
-------------------------6-------------------------
Move Constructor
-------------------------7-------------------------
Constructor
Move Constructor
Move Constructor
-------------------------8-------------------------
-------------------------9-------------------------
Constructor
Move Assignment operator
           

我们来分析这里面的奥妙。

第1行毋庸置疑，调用构造函数。

第2行创建新对象b，使用a初始化b，因此调用拷贝构造函数。

第3行创建新对象c，使用a初始化c，因此调用拷贝构造函数。

第4行使用a的值更新对象b，因为不需要创建新对象，所以调用拷贝赋值运算符。

第5行创建新对象d，使用临时对象A(1)初始化d，由于临时对象是一个右值，所以调用移动构造函数。

第6行创建新对象e，使用a的值初始化e，但调用std::move(a)将左值a转化为右值，所以调用移动构造函数。

第7行创建新对象f，使用GetA()函数返回的临时对象初始化f，由于临时对象是右值，所以调用移动构造函数。值得注意的是，这里调用了两次移动构造函数。第一次是GetA()返回前，A(1)移动构造了一个临时对象。第二次是临时对象移动构造f。

第8行没有创建新对象，也不更新任何对象，只是将MoveA()的返回值绑定到右值引用g。因此不调用构造函数，也不调用赋值运算符。

第9行使用临时对象A(1)更新d，因为不需要创建新对象，所以调用移动赋值运算符。

作者：金戈大王

链接：https://www.jianshu.com/p/f5d48a7f5a52

来源：简书

著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。