移动语义澄清[重复]

Question

我已经阅读了下面的文章，它对移动语义有了很好的了解：

Can someone please explain move semantics to me?

但我仍然无法理解以下有关移动语义的内容 -

1. 复制省略和 RVO 是否仍然适用于没有移动构造函数的类？

2. 即使我们的类没有移动构造函数，但 STL 容器却有。对于像

这样的操作

std::vector vt = CreateMyClassVector();

并执行排序等操作。为什么 STL 不能在内部利用移动语义在内部使用不需要移动构造函数的复制省略或 RVO 等操作来改进此类操作？

3。 在以下情况下，我们是否会从移动语义中受益 -

std::vector vt1(1000000, 5); // 创建并初始化 100 万个值为 5 的条目

std::vector vt2(std::move(vt1)); // 移动 vt1 到 vt2

由于整数是原始类型，移动整数元素不会提供任何优势。 或者在移动操作之后 vt2 只是指向堆中的 vt1 内存，并且 vt1 设置为空。实际发生了什么？如果是后者，那么即使第 2 点也认为我们的类可能不需要移动构造函数。

4。 当使用 std::move on lvalue 调用 push_back() 时，例如：

    std::vector<MyClass> vt;

    for(int i=0; i<10; ++i)
    {
        vt.push_back(MyClass());
    }

    MyClass obj;

    vt.push_back(std::move(obj));

现在，由于向量具有连续的内存分配，并且 obj 在内存中的其他位置定义，移动语义如何将 obj 内存移动到向量 vt 连续内存区域，在这种情况下不移动内存与复制内存一样好，如何move 是否通过简单地移动指向堆不同区域中内存的指针来证明向量连续内存需求的合理性？

提前感谢您的解释！ [按要求编辑问题。]

Answer 1

大多数语义不是移动内存的方式。这完全是关于将对象的所有权从一个对象实例转移到另一个对象实例。当你这样做时：

std::string str1("Some string.");
std::string str2(std::move(str1));

std::string 分配和管理字符缓冲区。因此，每个std::string拥有一个内存缓冲区，其中包含字符串本身。

调用构造str2 的移动构造函数将获取str1 分配的字符缓冲区并将其从该对象中删除。因此str2 现在拥有str1 最初分配的指针，而str1 不再拥有该指针。这就是移动语义的全部内容：转移对象拥有的内存的所有权。

如果您的类没有移动构造函数，std::vector 将不会调用它。明显地。因此，它不能利用移动构造函数可能带来的任何潜在优化。但是这些优化机会仅存在于具有值语义并且包含必须管理的资源的对象。否则，运动对你没有帮助。

一般规则是使用智能指针和容器对象，如vector、string 等，以避免编写移动构造函数。因此，（如果您的编译器正确支持生成移动构造函数）资源管理会自动发生。