为什么移动构造函数需要其成员的默认构造函数?

Why does a move constructor require a default constructor for its members?

我试图在没有复制构造函数的情况下为 class 实现一个移动构造函数。我收到一个错误,指出缺少 class 成员的默认构造函数。

这里有一个简单的例子来说明这一点:

struct A {
public:
        A() = delete;
        A(A const&) = delete;
        A(A &&a) {}
};

struct B {
        A a;
        B() = delete;
        B(B const&) = delete;
        B(B &&b) {}
};

试图编译这个,我得到:

move_without_default.cc: In constructor ‘B::B(B&&)’:
move_without_default.cc:15:11: error: use of deleted function ‘A::A()’
  B(B &&b) {}
           ^
move_without_default.cc:6:2: note: declared here
  A() = delete;
  ^

为什么这是一个错误?有什么办法吗?

使用构造函数的初始化列表来初始化 A 成员。正如所写,移动构造函数使用,正如编译器所说,默认构造函数 A.

B(B&& b) : a(std::move(b.a)) {}

移动构造函数通常不必提供默认初始化。 您的 移动构造函数。

移动构造函数仍然是构造函数。因此,它必须初始化所有子对象。如果您不提供显式初始化,那么它将尝试默认初始化它们。如果它不能这样做,你会得到一个错误。

因此您可以初始化它们(也许从 b 移动),或者只是将 = default 与您的移动构造函数一起使用,让编译器完成它的工作。

Why does a move constructor requires a default constructor for its members?

您定义的移动构造函数 默认构造一个成员。如果您默认构造任何成员,则这些成员需要默认构造函数。

构造函数(无论是常规的、复制的还是移动的)默认初始化未在成员初始化列表中列出也没有默认成员初始化的成员。 B::a不在移动构造函数的成员初始化列表中(它根本没有初始化列表)并且没有默认成员初始化。

Any way around it?

最简单的,使用默认的移动构造函数:

B(B&&) = default;

默认移动构造函数移动构造成员。