c++ - 为什么需要唯一指针中的 move 构造函数和 move 赋值构造函数？

Question

我有一个unique_ptr 的简化示例。我想知道唯一指针中的 move 构造函数和 move 赋值运算符需要什么？ 如果我正确理解 move 构造函数(并传递右值)，这两行代码的结果应该相同。

UniquePointer<T> a(new T);
UniquePointer<T> a(UniquePointer<T>(new T));

下面是简化的 UniquePointer 代码:

template<typename T> class UniquePointer {
    T* m_ptr;
public:
    UniquePointer(const UniquePointer&) = delete;
    UniquePointer& operator=(const UniquePointer&) = delete;
    UniquePointer(UniquePointer&& rhs);
    UniquePointer& operator=(UniquePointer&& rhs);
    UniquePointer(T* ptr) : m_ptr(ptr) { }
    T* operator->() const { return m_ptr; }
    T& operator*() const { return *m_ptr; }
    T* get() const { return m_ptr; }
    ~UniquePointer() { delete m_ptr; }
};

Answer 1

首先调用常规构造函数UniquePointer(T* ptr)(不是 move 构造函数)。第二个调用 move 构造函数 UniquePointer(UniquePointer&& rhs)，当你传入类型为 UniquePointer 的右值时，复制构造函数被删除。

当你这样做的时候你还需要 move 构造函数

UniquePtr<T> ptr = std::move(some_old_unique_ptr);

在这种情况下，您需要从旧的std::move，因为旧的是左值。在已经构造的对象上调用 move 赋值运算符

ptr = std::move(yet_another_ptr); // invokes the move assignment operator

至于为什么需要它们，那是因为设计。此类对象不可复制，因此您需要 move 它们。