综合移动构造函数的行为

Question

我正在读《C入门》第五版，遇到了以下问题。本书列出了将合成移动操作定义为已删除的几种情况。其中之一就是与复制构造函数不同，如果类有一个成员定义了自己的复制构造函数，但没有定义移动构造函数，或者类有一个成员没有定义自己的复制操作，并且编译器无法为其合成移动构造函数，则移动构造函数被定义为已删除。同样，移动分配也是如此。“并提供如下演示代码：

// assume Y is a class that defines its own copy constructor but not a move constructor
struct hasY {
    hasY() = default;
    hasY(hasY&&) = default;
    Y mem; // hasY will have a deleted move constructor
};
hasY hy, hy2 = std::move(hy); // error: move constructor is deleted

然而，对于gcc 7.2.1和clang-900.0.37，代码都是可运行的，这本书是错的吗？

以下是完整的测试代码：

#include <iostream>

struct Y {
    Y() { std::cout << "Y()" << std::endl; }
    Y(const Y&) { std::cout << "Y(const Y&)" << std::endl; }
    //Y(Y&&) { cout << "Y(Y&&)" << endl; }
};

// assume Y is a class that defines its own copy constructor but not a move constructor
struct hasY {
    hasY() = default;
    hasY(hasY&&) = default;
    Y mem; // hasY will have a deleted move constructor
};

int main() {
    hasY hy, hy2 = std::move(hy); // error: move constructor is deleted
    return 0;
} 

Answer 1

这本书正确地描述了C11标准规定的行为。但是，从C 14开始，规定的行为已经改变，它采用了缺陷报告#1402“移动功能太频繁地删除”的解决方案