移动构造函数是自动生成的，即使成员没有移动构造函数？

Question

引用自C Primer

如果我们显式地要求编译器使用=默认生成移动操作，并且编译器无法移动所有成员，那么移动操作将被定义为删除

如果类有一个定义自己的复制构造函数的成员，但不定义移动构造函数，或者如果类有一个不定义自己的复制操作的成员，并且编译器无法合成，则移动构造函数被定义为删除移动构造函数

有些代码似乎违反了这条规则：

#include <utility>
#include <iostream>

struct X {
    X() = default;
    X(const X&) { std::cout << "X(const X&)" << std::endl; }
    int i;
};

struct hasX {
    hasX() = default;
    hasX(const hasX &) = delete;
    hasX(hasX &&) = default;
    X mem;
};


int main()
{
    hasX hx, hx2 = std::move(hx);  //output is X(const X&)
}

X没有定义移动构造函数，编译器不能为它合成一个。

根据上述规则，hasX的移动构造函数被删除。

但是，因为hasX的复制构造函数被删除，所以hx2=std::移动（hx）必须调用移动构造函数来输出"X（const X

那么，不是在C标准中定义的，还是仅仅是编译器实现？

我测试的编译器：VS2015和在线编译器

谢谢你的帮助！




Answer 1

你的书好像错了。复制是一种有效的移动操作，只要成员具有const type形式的复制构造函数

在你的例子中

hasX(hasX &&) = default;

可以替换为

hasX(hasX &&rhs) : mem(std::move(rhs.mem)) {}

因为这就是默认值所做的，它将很好地编译。