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

來源：簡書

著作權歸作者所有。商業轉載請聯系作者獲得授權，非商業轉載請注明出處。