重用已移动容器的正确方法是什么？
std::vector<int> container;
container.push_back(1);
auto container2 = std::move(container);
// ver1: Do nothing
//container2.clear(); // ver2: "Reset"
container = std::vector<int>() // ver3: Reinitialize
container.push_back(2);
assert(container.size() == 1 && container.front() == 2);
根据我在C ++ 0x标准草案中所读的内容；ver3似乎是正确的方法，因为移动后的对象位于
“除非另有规定，否则将这些移出的对象置于有效但未指定的状态。”
我从未发现过任何“以其他方式指定”的实例。
虽然我发现ver3有点round回，并且会更喜欢ver1，但是vec3可以允许进行其他一些优化，但另一方面很容易导致错误。
我的假设正确吗？
std::vector实现，它存储了一个指向其大小的指针（看起来很傻，但是合法）。从该向量移动可能会使指针为NULL，此后clear将失败。 operator=也可能失败。
Answers:
从规范“有效但未指定状态”的第17.3.26节开始：
除了满足对象的不变量且对象上的操作按其类型指定的操作外，未指定的对象状态[示例：如果
x类型的对象std::vector<int>处于有效但未指定的状态，x.empty()则可以无条件调用，并且x.front()可以调用仅当x.empty()返回false时。—末例]
因此，对象是活动的。您可以执行不需要先决条件的任何操作（除非您先验证先决条件）。
clear，例如，没有任何先决条件。并且它将使对象返回到已知状态。因此，只需清除并正常使用即可。
clear有效。2）当容器是在未指定的状态，主叫clear放容器到指定的状态，因为它已经在标准（§23.2.3表100）授权的后置条件。std::vector<T>具有push_back()始终有效的类不变式（只要T是CopyInsertable）。
对象处于有效但未定义的状态基本上意味着虽然不能保证对象的确切状态，但它是有效的，因此只要不依赖这些成员函数（或非成员函数），就可以保证它们正常工作在具有一定状态的物体上。
所述clear()成员函数对对象，因此可以从移动对象上调用（比它是有效的，当然其他）的状态没有先决条件。另一方面，例如front()取决于容器不为空，因此不能被调用，因为不能保证容器为非空。
因此，ver2和ver3都应该很好。
front()仅针对声明了的前提条件std::array，甚至在表中也没有。
front()是*a.begin()，§23.2.1/ 6说“如果容器是空的，则begin() == end()”，和§24.2.1/ 5表示“图书馆从未假定过去-最终值是可取消引用的。因此，我认为front()可以推断出前提条件，尽管可以肯定地将其弄清楚。
我认为您不能对移出的对象做任何事情（除了销毁它）。
您不能使用它swap来获得移动的所有优势，但将容器保持在已知状态吗？
std::swap具有2个移动分配，这些分配的目标从值中移出。对我而言，这算是“对移出的物体做些什么”
clear，因为它没有先决条件（因此也不依赖于对象的状态）。