我可以用移出的对象做什么？

Question

该标准是否准确定义了一个对象一旦被移出后我可以对它做什么？我曾经认为你可以对移动对象做的所有事情就是破坏它，但这还不够。

以标准库中定义的函数模板swap为例：

template <typename T>
void swap(T& a, T& b)
{
    T c = std::move(a); // line 1
    a = std::move(b);   // line 2: assignment to moved-from object!
    b = std::move(c);   // line 3: assignment to moved-from object!
}

显然，必须可以分配给已移动的对象，否则第 2 行和第 3 行将失败。那么我还能对移动的对象做什么呢？在标准中我究竟在哪里可以找到这些细节？

（对了，为什么第一行是T c = std::move(a);而不是T c(std::move(a));？）

Answer 1

17.6.5.15 [lib.types.movedfrom]

在 C++ 标准库中定义的类型的对象可以从 (12.8)。移动操作可以显式指定或隐式指定 生成。除非另有规定，此类搬离对象应 被置于有效但未指定的状态。

当一个对象处于未指定状态时，你可以对该对象进行任何没有前置条件的操作。如果您希望执行带有前提条件的操作，则不能直接执行该操作，因为您不知道对象的未指定状态是否满足前提条件。

一般没有前置条件的操作示例：

• 破坏
• 作业
• 常量观察者，例如get、empty、size

一般确实有前置条件的操作示例：

• 取消引用
• pop_back

这个答案现在以视频格式显示在这里：http://www.youtube.com/watch?v=vLinb2fgkHk&t=47m10s

Answer 2

已移出的对象以未指定但有效的状态存在。这表明虽然该对象可能无法再做很多事情，但它的所有成员函数仍应表现出定义的行为——包括operator=——以及它的所有成员处于定义的状态——并且它仍然需要销毁。该标准没有给出具体定义，因为它对于每个 UDT 都是唯一的，但您可能能够找到标准类型的规范。一些类似的容器是相对明显的——它们只是移动它们的内容，一个空的容器是一个定义明确的有效状态。基元不会修改移出的对象。

旁注：我相信它是T c = std::move(a)，因此如果移动构造函数（或复制构造函数，如果没有提供移动）是显式的，则函数将失败。