主页 / 问题 / 1265912
Accepted
megorit
Asked:2022-04-04 18:01:36 +0000 UTC2022-04-04 18:01:36 +0000 UTC

如果要重复使用，是否需要在容器移动后调用 clear ？

  • 772

这是一个例子：

for (std::string key, value; true;)
{
    if (!std::getline(stream,key,':')) break;
    if (!std::getline(stream,value))   break;

    /* implementation */

    map.emplace(std::move(key),std::move(value));

    key.clear();   // ?
    value.clear(); // ?
}

有意见认为，该标准不保证容器移动后内部状态的有效性。在网上找不到任何答案。我想澄清这个问题。谢谢你。

c++

3 个回答

  1. Best Answer

    移动后，容器保持正确状态，但未指定它处于哪个状态（有效但未指定）。在他的回答中，@Harry提供了语言标准（ lib.types.movedfrom）的相关引用。

    这是一种什么样的状态，“正确，但未指定”，标准也有解释。defns.valid：

    有效但未指定的状态

    ⟨library⟩ 未指定对象的值，除非满足对象的不变量并且对对象的操作按照其类型的指定行为

    [示例1：如果x类型的对象std​::​vector<int>处于有效但未指定的状态，x.empty()则可以无条件调用，并且x.front()只有在x.empty()返回时才能调用false。—结束示例]

    因此，在您的情况下，对象key和value类型std::string在移动后处于正确状态。
    您甚至可以调用该方法empty()来检查字符串是否为空，它保证返回false, 或true，但没有指定具体的内容。

    为避免在重用重定位容器时出现任何意外，您必须明确将其置于某个特定状态。例如，用 为空clear()。此外，移动的字符串可以安全地传递给填充std::getline()，因为 此函数在写入任何内容之前清除字符串。

    • 3

  2. 哦找到了！[lib.types.movedfrom]. 由我突出显示。

    移动操作可以显式指定或隐式生成。除非另有说明，否则此类移出的对象应置于有效但未指定的状态。

    因此，如果移动后容器中仍有东西，那么这就像它是空的一样是允许和正常的。

    事实上，他们只承诺不会有像空容器那样的麻烦，它size()会返回一个非零数字或类似的东西。

    PS好吧，你不需要清理任何东西来阅读 - 同样，如果你正确阅读，该行将被覆盖。

    • 1

  3. 这是来自Is a move-from vector always empty?的简短摘录？用英语 SO。在那里查看详细信息。

    移动后，原始向量将为空，至少在使用标准分配器的情况下是这样。标准没有明确保证，但这是标准库的实现可以做的唯一合理的事情。

    这隐含地源于以下事实：

    • 移动构造函数和赋值运算符必须是 O(1) 复杂度。
    • 对于向量，禁止类似于短字符串优化（隐含地，因为std::swap对于向量，它不能使元素上的迭代器无效），因此，所有元素必须始终位于堆上。

    因此，移动操作的唯一合理行为是将原始向量留空。

    • 1

相关问题