对象移动后支持哪些操作？ [复制]

Question

如果一个对象实际被移动到另一个位置，那么在原始对象上支持哪些操作？

为了详细说明，我有一个类型 T 和可用的移动构造函数。用以下语句

T x{constructor-args};
T y{std::move(x)};

对象x 可以做什么（假设对象实际上使用T 的可用移动构造函数从x 移动到y）？

具体来说，

• x 肯定可以销毁。我可以假设x 在移动后很容易被破坏吗？
• 可以将x 分配或移动分配给一个新对象（我猜是的，因为我看到很多swap 使用它）？

• 我可以构造一个新的对象对象来代替x吗？如果有任何机会允许这样做，那么是否有可能有一个 uninitialized_move 与（部分）重叠的源和目标范围一起使用，例如 std::copy 而不像 std::uninitialized_copy ？

  T z{some-args};
  x = z; //or x = std::move(z);
  T u{some-args};
  new(&x) T{std::move(u)}; // or new(&x) T{u}; etc
  

Answer 1

无论你定义它是什么。至少，结果 对象应该是可破坏的——它的析构函数是 调用，并且对象的状态应该是这样的 不会引起任何问题。

标准库保证它的对象是一些 相干状态。您可以调用任何成员函数：它是 未指定您得到的回报，但结果将是 连贯：如果您在已移动的向量上调用size， 您也可以使用小于该值的索引调用operator[] 由size 返回（但在唯一合理的实现中， size 将返回 0,)。这可能比现在更多 然而，需要有效使用；所有这一切都是真正必要的 是调用析构函数会起作用。

为了更清楚，以std::vector 为例：如果我们 假设通常的实现，带有三个指针，开始， end 和 limit （或者无论如何它们被称为：limit 意味着 一过去分配的内存结束，所以capacity() 返回limit - begin)。搬家后标准 要求所有三个指针都为空。多数情况 实现中，将不会访问限制指针 析构函数，因此可删除的宽松要求将 如果仅将开始和结束指针设置为 null，则可以满足。

Answer 2

关于库类型，标准说 (17.6.5.15)

除非另有说明，否则此类移出的对象应置于有效但未指定的状态。

这意味着它们至少应该是可破坏和可分配的。正如 James 在下面提到的，对象仍应符合其自己的接口。您自己的类型应该遵循相同的想法。

您不应该对这种事情使用placement-new。假装移动构造函数不存在，并以与以前相同的方式编写代码，使用 operator=。您示例中的最后一行应为x=std::move(u); 或x=u;。