向量移动分配与移动构造:为什么“其他”的状态不一致？

Question

移动建筑：

移动之后，其他部分保证为空()。1

对于搬迁任务，引用如下：

另一些则在之后处于有效但未指定的状态。2

为什么在这两种情况下其他情况不同呢？

Answer 1

有两种常用的方法可以在容器中实现移动，比如在内部保存指向数据的指针的向量：

• 您可以清空它，然后将指针(大小和容量)从其他复制到此，然后将其他成员设置为nullptr/零。
• 您可以交换数据成员(指针、大小和容量)。

该标准希望给实现留下回旋余地，让它们都可以完成。这些保证是它能够作出的最有力的保证，同时允许采用任何一种实施方法：

• 移动构造函数：

- 1st method: leaves other in empty state
- 2st method (swap): leaves other in empty state

• 移动任务：

- 1st method: leaves other in empty state
- 2st method (swap): leaves other as a copy of initial this