自动生成移动构造函数

Question

#include <iostream>

using namespace std;

struct A
{
    A() {}
    A(const A &a) {
        cout << "copy constructor" << endl;
    }
    A& operator=(const A &a) {
        cout << "assigment operator" << endl;
    }
    A(A &&a) {
        cout << "move" << endl;
    }
    A& operator=(A &&a) {
        cout << "move" << endl;
    }
};

struct B {
    A a;
};

B func() {
    B b;
    return b;
}
int main() {
    B b = func();
}

这会打印“复制构造函数”。

对于 B 类，移动构造函数和移动赋值运算符应该是自动生成的，对吗？但是为什么使用A类的拷贝构造函数而不是移动构造函数呢？

Answer 1

对我来说，它根本不打印任何东西，因为复制/移动已被省略。但是，如果我通过以下方式阻止 RVO：

extern bool choice;

B func() {
    B b1, b2;
    if (choice)
      return b1;
    return b2;
}

然后打印：

move

可能是你的编译器还没有实现移动成员的自动生成。