自动生成具有不可移动成员的移动构造函数

Question

我遇到了一个非常有趣的情况，因为我正在编写的代码可以编译，尽管我很惊讶它会编译，所以我想请你接受。

情况是这样的。我有一个删除了移动和复制构造函数的类，它具有用户定义的赋值运算符：

struct A {
    A() { }
    A(const A&) = delete;
    A(A&& ) = delete;

    A& operator=(const A& ) { return *this; }
    A& operator=(A&& ) { return *this; }
};

我还有另一个班级，A 是唯一的成员。在这个类中，我定义了复制构造函数，但我将移动构造函数保持为默认值，并通过调用交换函数定义了赋值运算符：

class B{
public:
    A a;

    B()
    : a{}
    { }

    B(const B&)
    : a{}
    { }

    B(B&& other) = default;
};

int main() {
    B b1;
    B b2(std::move(b1)); // compiles??
}

考虑到它不能简单地调用移动或复制构造函数A，为什么默认移动构造函数可以工作？我正在使用 gcc 4.8.4。

Answer 1

我原来的答案是错误的，所以我重新开始。

---

在 [class.copy] 中，我们有：

默认副本/ 如果 X 具有以下属性，则将类 X 的移动构造函数定义为已删除 (8.4.3)：
— [...]
— 一个潜在构造的子对象类型 M（或其数组），不能被复制/移动，因为 应用于 M 的相应构造函数的重载决议 (13.3) 会导致歧义或 已删除或无法从默认构造函数访问的函数，
— [...]

该要点适用于B(B&& other) = default;，因此移动构造函数被定义为已删除。这似乎会破坏std::move() 的编译，但我们也有（通过defect 1402 的分辨率）：

定义为已删除的默认移动构造函数被重载决议忽略（13.3、13.4）。 [注： 否则，删除的移动构造函数会干扰从右值初始化，该右值可以使用 而是复制构造函数。 ——尾注]

忽略是关键。因此，当我们这样做时：

B b1;
B b2(std::move(b1));

即使B 的移动构造函数被删除，这段代码的格式也很好，因为移动构造函数根本不参与重载决议，而是调用了复制构造函数。因此，B 是可移动构造的 - 即使您无法通过其移动构造函数构造它。