移动物体怎么办？

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));第1行呢？)

Answer 1

17.6.5.15 [lib.types.movedfrom]

可以从(12.8)移动C++标准库中定义的类型的对象.可以显式指定或隐式生成移动操作.除非另有规定,否则此类移动物体应置于有效但未指定的状态.

当对象处于未指定状态时,您可以对没有前提条件的对象执行任何操作.如果存在您希望执行前提条件的操作,则无法直接执行该操作,因为您不知道对象的未指定状态是否满足前提条件.

通常没有先决条件的操作示例:

• 毁坏
• 分配
• 常量观察员如get,empty,size

通常具有前提条件的操作示例:

• 提领
• pop_back

此答案现在以视频格式显示在此处:http://www.youtube.com/watch？v = vLinb2fgkHk&t = 47m10s

Answer 2

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

旁注:我相信T c = std::move(a)如果移动构造函数(或复制构造函数,如果没有提供移动)是显式的,则函数将失败.