重用已移动的容器？

Question

重用已移动容器的正确方法是什么？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: Reinitializecontainer.push_back(2);assert(container.size() == 1 && container.front() == 2);根据我在C ++ 0x标准草案中阅读的内容；ver3似乎是正确的方法，因为移动后的对象位于“除非另有说明，否则将这些移出的对象置于有效但未指定的状态。”我从未找到任何“以其他方式指定”的实例。尽管我发现ver3有点round回，并且会更喜欢ver1，但vec3可以允许进行其他一些优化，但另一方面很容易导致错误。我的假设正确吗？

Answer 1

对象处于有效但未定义的状态基本上意味着，虽然不能保证对象的确切状态，但它是有效的，因此只要不依赖这些成员函数（或非成员函数），就可以保证它们正常工作在具有一定状态的物体上。

所述clear()成员函数对对象，因此可以从移动对象上调用（比它是有效的，当然其他）的状态没有先决条件。另一方面，例如front()取决于容器不为空，因此不能被调用，因为不能保证容器为非空。

因此，ver2和ver3都应该很好。

Answer 2

我认为您不能对移出的对象做任何事情（除了销毁它）。

您不能使用它swap来获得移动的所有优势，但将容器保持在已知状态吗？