隐式声明的移动操作不会回退到复制吗？

Question

我读 N3291“12.8.(11/15/28) 复制和移动类对象 class.copy]” 是否正确，隐式声明的 move 构造函数

• 执行按元素 move 所有非静态数据成员（可能通过分别定义的 T(T&&)
• 并且如果任何非静态数据成员无法移动，则隐式移动构造函数将被标记为已删除并且不尝试复制作为“后备”？（是的，移动是为内置类型定义的，但实际上是一个副本）

，同样移动- 。分配，使用元素各自的T operator=(T&&)

示例：

struct CopyOnly {
    CopyOnly();
    CopyOnly(const CopyOnly&);
}; // declaring a copy means no implicit move.

struct Question {
    std::vector<int> data_;
    CopyOnly         copyOnly_;
};

Question 类

• 将具有隐式声明的副本。 -构造函数和分配
• 将具有隐式声明的移动构造函数和移动分配，但它们将=deleted，因为非静态数据成员 data_ 仅可复制，但不可可移动？

更新。一个附带问题：对于Question q;，std::move(q)仍然有效吗？那里会发生回退复制吗？或者隐式声明的 move-ctor 会强制编译器因错误而停止吗？ 这里它确实可以编译。

更新 2. 如果我声明 move-ctor Question(Question&&) =default，编译器会为不可移动数据成员生成什么？它然后会回退到复制这些吗？

Answer 1

你读错了。在如下情况下，这会破坏许多 C++03 类 相反

Question getQuestion();
Question q(getQuestion()); // use of deleted move constructor!

，FDIS 表示将声明移动构造函数 iff {没有用户声明 {复制构造函数，{复制，移动} 赋值运算符，析构函数}并且隐式声明的移动构造函数不会被定义为已删除}。

关于更新2。我注意到，如果您显式默认移动构造函数，它将被定义为由条件删除

对于移动构造函数，是一个非静态数据成员或者直接或虚拟基类，其类型不具有移动构造函数并且不可简单复制。

在下面，移动构造函数将被定义为已删除，因为CopyOnly 不是普通可复制的。

 struct Question 
 {
        std::vector<int> data_;
        CopyOnly         copyOnly_;

        Question(Question&&) = default;
 };