Question

下面的代码给出了错误：

use of deleted function ‘constexpr B::B(const B&)’

现在，我知道这是因为通过指定移动构造函数（有意）隐式删除了复制构造函数，并且复制向量会导致对（已删除）复制构造函数的调用。我想我也理解为什么使用向量的复制构造函数和赋值运算符。我显然想要使用移动构造函数和赋值运算符：移动对象，因此也移动它包含的向量。那么，如何让我的移动构造函数/赋值运算符使用向量的移动构造函数/赋值运算符？

以下是代码：

#include <vector>

class B {
private:
    /* something I don't want to copy */
public:
    B() {};
    B(B&& orig) {/* move contents */};
    B& operator=(B&& rhs) {
        /* move contents */
        return *this;
    };
};

class A {
private:
    vector<B> vec;
public:
    A() : vec() {};
    A(A&& orig) : vec(orig.vec) {};
    A& operator=(A&& rhs) {
        vec = rhs.vec;
        return *this;
    };
};

Answer 1

只需在要从中移动的表达式中的向量上调用std::move：

class A {
private:
    vector<B> vec;
public:
    A() : vec() {};
    A(A&& orig) : vec(std::move(orig.vec)) {};
    //                ^^^^^^^^^
    A& operator=(A&& rhs) {
        vec = std::move(rhs.vec);
        //    ^^^^^^^^^
        return *this;
    };
};

即使您接受右值引用，rhs和orig仍然是函数中的左值，因此您需要在它们上面调用std::move。

Answer 2

确保＆＃34;移动＆＃34;调用构造函数和赋值运算符，需要提供正确值类别的对象。值类别用于确定可以使用哪些运算符和构造函数。

使用std::move将value category（在本例中为左值）更改为xvalue（可以移动的左值）。

// ...
A(A&& orig) : vec(std::move(orig.vec)) {};
A& operator=(A&& rhs) {
    vec = std::move(rhs.vec);
    return *this;
};

move不会以任何方式复制或更改对象，它只是对参数类型的右值引用的强制转换 - 因此修改了值类别。

Answer 3

如果类的所有成员都是具有正确定义的移动构造函数/赋值运算符的类的对象，则最好使用default移动构造函数/赋值运算符。这将更容易，更不容易出错，并确保调用类成员的移动构造函数/赋值运算符。

在您的特定示例中，它将是：

class A
{
private:
    vector<B> vec;
public:
    A() : vec() {};
    A(A&&) = default;
    A& operator=(A&&) = default;
};

如何确保使用移动构造函数

3 个答案: