移动构造函数会将内存更改为“ this”的内存。指向？

Question

我对 C++ 移动构造函数有一些困惑。如果编译器隐式合成一个移动构造函数，这个移动构造函数会做什么？它会让“this”指向用于初始化的对象吗？ 有一个例子：

struct Foo {
    int i;
    int *ptr;
};

Foo x;
Foo y(std::move(x));

隐式合成的移动构造函数会让 y 中的 this 指向 x 所在的内存吗？如果是这样，如何确保x在移动后可被破坏（如果x被破坏，y中的成员是否有效）？如果不是，y 的移动构造函数如何工作？

Answer 1

隐式合成的移动构造函数只需在y中对x的内存进行操作？

综合移动ctor Will memberwise-move 其参数的数据成员（x在此处）创建（<代码> y 在此处）。

另外，请注意，对于int之类的内置类型，移动与复制相同。

---

如何确保移动后X可破坏

因为移动与复制内置类型相同，x和y彼此独立。因此，当X被销毁时，y将不会受到影响。

---

合成的移动构造函数是否会设置ptr x to nullptr？




不，综合移动CTOR不会为您做到这一点。它将正当将数据成员移动。对于内置类型，这意味着与复制相同。

---

如果不执行此操作，则的ptr x仍将指向的ptr的内存y点，那么您不能安全销毁x。

在这种情况下，您需要编写用户定义的MOVE ，该MOVE 明确设置ptr x x to nullptr < /code>，因此当x被销毁时，y不影响。

Answer 2

隐式合成的移动构造函数会让 y 中的 this 指向 x 所在的内存吗？

正如 Anoop 所指出的，它将在要移动到目标成员（y 或 this 如果您想象自己在合成的移动构造函数“内部”）。

因此，在您的示例中：

• int xi 将移动到 yi (this->i)
• < code>int* x.ptr 将被移动到 y.ptr (this->ptr)。

请注意，这些特定的移动将通过复制来执行。

如何保证x移动后可被破坏（如果x被破坏，y中的成员是否有效）？

它总是可以被破坏的。至于是否“有效”，则要看情况。默认的移动结构实际上是一个副本。现在有两个对象指向 x.ptr 所指向的任何内容。如果该 int 是 x“拥有”的资源（也许该资源是堆上以 0 结尾的整数字符串），那么您刚刚“共享”了该资源资源。

如果您不想“共享”它，那么您可以显式地为 Foo 编写一个移动构造函数，该构造函数会重置“移出”对象的指针，或者以某种方式将其标记为无效。

struct Foo {
  ...
  Foo(Foo&& other) {
    this->i = other.i;
    this->ptr = other.ptr;
    other.ptr = nullptr;
  }
}

一般来说，最好根本不要依赖“移出”的对象，即确保它们尽快被销毁。