c++ - std::map emplace/insert 正在插入的移动值

Question

目前我正在阅读 C++1y 论文，现在我正在尝试理解标题为 Improved insertion interface for unique-key maps 的 n3873 论文.该论文指出 insert 和 emplace 方法存在问题，它通过以下示例说明了该问题:

std::map<std::string, std::unique_ptr<Foo>> m;
m["foo"];

std::unique_ptr<Foo> p(new Foo);
auto res = m.emplace("foo", std::move(p));

在上面的代码之后，它表达了以下内容:

What is the value of p? It is currently unspecified whether p has been moved-from. (The answer is that it depends on the library implementation.)

好吧，我在寻找前面引用的解释时遇到了麻烦，主要是因为我找不到标准中指定在上面的代码中移动或不移动的位置 p是否定义了实现；寻找 n3690 standard关于 emplace(args) 的关联容器部分 (23.2.4) (插入一个 value_type 对象 t 用 std::forward<Args>(args) 构造)和 insert(t)方法只提到插入或放置值...

... if and only if there is no element in the container with key equivalent to the key of t.

没有关于移动(或不移动)t 的消息值(value);另一方面，p托管内存无论如何都会被释放(如果它被移动 p 在不插入之后被释放，如果没有被移动被释放广告范围的末尾)不是吗？

---

介绍完后，让我提出以下问题:

• 为什么在将值插入/放置到已经具有插入键的关联容器中时移动值，将值设置为未指定状态？
• 这个操作是实现定义的在哪里？
• p 发生了什么的例子？真的解脱了吗？

如果问题看起来很愚蠢或答案很明显，请尽量原谅，这可能是因为我缺乏英语理解能力，或者因为我不习惯深入研究标准论文。任何指导将不胜感激。

Answer 1

Not a word about moving (or not)

这正是问题所在，未指定在什么条件下 mapped_type将被移动。

Why moving a value while inserting/emplacing it into an associative container which already have the inserted key, sets the value in an unspecified state?

没有什么可以阻止实现移动 unique_ptr首先进入一个临时变量，然后搜索键 "foo" .在这种情况下，无论 map 是否是否已经包含 key ，p == nullptr当调用 emplace返回。

相反，实现可以根据 key 是否存在有条件地移动。然后，如果 key 存在，p != nullptr当函数调用返回时。这两种方法同样正确，在第一种情况下，无法检索 p 的原始内容。即使插入永远不会发生，它也会在 emplace 之前被销毁返回。

建议emplace_stable()和 emplace_or_update()功能是使行为在所有情况下都可预测。

Where is worded that this operation is implementation-defined?

它未指定为实现定义的，它未指定，允许实现太多的自由度，可能导致并不总是合乎需要的行为。

What happens with the p of the example? Is it really freed?

在示例中，您显示了 p 的内容不会被插入到 map 中(因为键 "foo" 已经存在)。但是p可能会也可能不会从调用 emplace 时移动返回。

在任何情况下都不会发生资源泄漏。如果执行无条件移动p它会将其移动到本地拷贝中，如果键存在则将其销毁，如果键不存在则将其插入到映射中。

另一方面，如果执行有条件地移动p ，它要么被插入到 map 中, 或 p emplace时将拥有它返回。在后一种情况下，它当然会在 p 时被销毁。超出范围。