Cpp 移动构造函数的问题

这个是我的代码, 按照移动构造函数的定义, 我先创建了一个对象 a, 这个对象强制使用 move 调用移动构造函数赋值给 b, 这个时候, a, b 里面的成员变量的地址 data 应该是一样的, 为什么我这里显示的不一样?

运行结果

Constructor is called for 10 000000950D2FF7F8 // addr Move Constructor for 10 000000950D2FF818 // addr Destructor is called for 10 Destructor is called for nullptr

// C++ program with declaring the
// move constructor
#include <iostream>
#include <vector>
using namespace std;

// Move Class
class Move {

public:

    int* data;
    // Constructor
    Move(int d)
    {
        // Declare object in the heap
        data = new int;
        *data = d;
        cout << "Constructor is called for "
            << d << endl;
    };

    // Copy Constructor
    Move(const Move& source)
        : Move{ *source.data }
    {

        // Copying the data by making
        // deep copy
        cout << "Copy Constructor is called -"
            << "Deep copy for "
            << *source.data
            << endl;
    }

    // Move Constructor
    Move(Move&& source)
        : data{ source.data }
    {

        cout << "Move Constructor for "
            << *source.data << endl;
        source.data = nullptr;
    }


    // Destructor
    ~Move()
    {
        if (data != nullptr)

            // If pointer is not pointing
            // to nullptr
            cout << "Destructor is called for "
            << *data << endl;
        else

            // If pointer is pointing
            // to nullptr
            cout << "Destructor is called"
            << " for nullptr "
            << endl;

        // Free up the memory assigned to
        // The data member of the object
        delete data;
    }
};

// Driver Code
int main()
{
    // Vector of Move Class
    //vector<Move> vec;

    //// Inserting Object of Move Class
    //vec.push_back(Move{ 10 });
    //vec.push_back(Move{ 20 });
    Move a(10);
    cout << &(a.data) << endl;
    Move b = move(a);
    cout << &(b.data) << endl;
    return 0;
}

wevsty

2022-06-19 23:24:19 +08:00

@woshichuanqilz

通常约定，拷贝构造是对对象做深拷贝，移动构造尽量做移动（浅拷贝）。
对于基本数据类型（ int ，float 等）深拷贝和浅拷贝是一样的。
但是对于指针类型，浅拷贝通常只复制指针保存的地址。光拷贝指针中保存的地址显然不能保证不会产生资源的冲突，所以如果做深拷贝需要重新分配一块空间再对指针中指向的数据进行再次拷贝。

另外移动构造还有转移所有权的含义，移动之后原对象应该被视为已经废弃的对象（或者说没有管理任何资源的对象）。

sora2blue

2022-06-20 00:47:02 +08:00

可不可以这样假设：类在底层实现的时候，对内置类型的成员直接存储，对不是内置类型的成员都只存储指针；内置类型如指针的拷贝花费较少不计入，在移动构造时对这两者浅拷贝即可。相对地，在拷贝构造时对内置成员一样拷贝，对不是内置类型的成员另外拷贝一遍指针指向的成员对象，然后存储这个新的指针值在底层，而这个就是移动构造的优化对象。
所以对类的成员取地址，取到的地址都是类底层实现时内置类型成员或非内置类型成员指针的地址，比如：OP 的例子里，指针都是内置类型，直接复制即可，a.data 和 b.data 的存储位置在底层仍然是不一样的；把 data 的类型换成结构体或者类，结果是一样的，在底层指向结构体和类的指针的存储位置仍然是不一样的。