从右值删除移动构造函数并构造对象

Question

我试图理解“有效现代C”中关于特殊成员函数生成的第17项，所以我尝试了一些示例，并试图对一些行为进行推理。书中说：

..当我提到移动操作move构造或移动分配一个数据成员或基类时，不能保证实际会发生移动。“Memberwise移动”实际上更像Memberwise移动请求，因为未启用移动的类型（即，对移动操作不提供特殊支持的类型，例如大多数C 98遗留类）将通过其复制操作“移动”。。。此外，不会为任何显式声明复制操作的类生成移动操作。

如果我显式删除move构造函数，下面的代码会出错，但如果我不删除，则对象“s1”会在没有任何错误的情况下得到copy构造。这里有一个指向同一代码的魔杖盒链接：魔杖盒链接。我想我不明白删除移动构造函数和不定义构造函数之间的区别。

#include <iostream>

struct S
{
    S() = default;
    S(const S&) {
        std::cout << "Copying" << std::endl;
    }
   // S(S&&) = delete;
};

S return_lvalue() {
    S ret{};
    return ret;
}

int main() {
    std::cout << "Hello world" << std::endl;
    // Error here if I delete move constructor
    S s1 = return_lvalue();
}

Answer 1

删除特殊成员函数与不声明它不同。这与声明它，然后在使用它时强制编译错误是一样的。

因此，删除移动向量没有太大的好处……除非您出于某种原因也删除了复制向量，但是根本不声明移动向量。

这与引用没有太大关系，引用是说如果你确实声明了一个移动ctor，但没有在其中做任何“移动的事情”，那么最终没有任何有价值的东西真正被移动，这可能与你的用户的期望相反。

我建议你不要宣布你的行动。同样，这与被删除的内容不同。一个将不会自动生成，因为您有一个副本。

请在此处查找更多技术信息：

• “为什么删除的复制构造函数不允许使用其他多态类型的构造函数？”

请注意，由于省略，您的程序在这两种情况下都以C17模式编译。

Answer 2

我想我不明白删除移动构造函数和不定义构造函数之间的区别。

当你这么做的时候

struct S
{
    S() = default;
    S(const S&) {
        std::cout << "Copying" << std::endl;
    }
};

编译器不会生成移动构造函数。如果您尝试移动它，重载解析将只找到S（const S

struct S
{
    S() = default;
    S(const S&) {
        std::cout << "Copying" << std::endl;
    }
    S(S&&) = delete;
};

移动类型为S的对象时，重载解析将查找S（常量S

您需要记住的是，删除的构造函数不会从类中删除它们。它声明它们并使它们可用于重载解析，只有在重载解析发生后，它才会检查是否已删除。