c++ - 获取要使用的移动构造函数/赋值运算符

Question

考虑以下代码：

#include <iostream>

#define P_(x) std::cout << x << std::endl

class B {
public:
    B() { P_("B::B()"); }
    B(const B&) { P_("B::B(const B&)"); }
    B(B&&) { P_("B::B(B&&)"); }
    ~B() { P_("B::~B()"); }

    B& operator=(const B&) { P_("B::op=(const B&)"); return *this; }
    B& operator=(B&& b) { P_("B::op=(B&&)"); return *this; }
};

class Foo {
public:
    void setB(const B& b) { mB = b; }
private:
    B mB;
};

B genB() {
    return B();
}

int main() {
    Foo f;
    f.setB(genB());
}

假设B是一种难以复制构造的类型。我想生成一些B（使用函数genB）并将其存储在Foo. 由于genB返回一个临时结果，我希望使用移动构造函数。

但是，当我运行代码时，会得到以下输出：

B::B()
B::B()
B::op=(const B&)
B::~B()
B::~B()

这清楚地表明，两个 B 被创建和销毁，但第二个是副本，而不是第一个的移动。

尽可能使用移动构造函数的最佳方法是什么？

• 我需要在某处调用 std::move() 吗？
• 我需要为 aB&和 a单独重载吗B&&单独重载吗？
• 还有其他我完全想念的东西吗？

Answer 1

您可以重载该setB功能：

class Foo {
public:
    void setB(const B& b) { mB = b; }
    void setB(B&& b) { mB = std::move(b); }
private:
    B mB;
};

或者，您可以使用“按值传递”方式：

class Foo {
public:
    void setB(B b) { mB = std::move(b); }
private:
    B mB;
};

在这里，参数b将在可能的情况下被移动构造，否则将被复制构造。

Answer 2

第一个B实例是创建实例时创建的Foo实例：

Foo f;

这是因为您的Foo班级有一个B名为mB.

第二个B实例是genB()调用创建的实例。

由于您在函数中执行的赋值，调用了赋值运算符Foo::setB：

mB = b;

任何地方都没有机会使用复制或移动构造函数。