为什么没有为std :: multimap实现try_emplace？

Question

C++ 17介绍了try_emplace方法std::map,所以现在我可以编写如下代码:

struct Test
{
    Test(int i, int j){}
};
std::map<int, Test> tmap;
tmap.try_emplace(10, 10, 10);

但是没有try_emplace了std::multimap<int, Test>,所以piecewise_construct仍然需要.

这有技术原因吗？

Answer 1

有这个技术原因吗？

是.try_emplace()如果密钥已经存在于地图中,则目的是不做任何事情.但是std::{unordered_,}multi{map,set},对于每个键,您可以拥有多个值.实际上,这就是这些容器的重点:为给定的密钥设置多个值.

因此,try_emplace()这些容器不会失败 - 因此提供这样的功能会让人感到困惑和毫无意义.

根据评论,似乎动机只是其中的一部分,try_emplace()这使得更容易放置价值.您可以为此编写一个辅助函数:

template <typename Map, typename Key, typename... Args>
auto emplace_value(Map& map, Key&& key, Args&&... args) {
    return map.emplace(std::piecewise_construct,
                       std::forward_as_tuple(std::forward<Key>(key)),
                       std::forward_as_tuple(std::forward<Args>(args)...));
}

哪个会让你写emplace_value(tmap, 10, 10, 10),即使是{unordered_,}multimap.

Answer 2

因为对于multimap情况没有必要,因为没有唯一的密钥,所以try_emplace永远不会失败.添加try_emplace到map 的理由是处理密钥已经存在的情况所需的所有容易出错的代码,请参阅提议n4279(强调我的):

唯一键控映射容器(std :: map,std :: unordered_map)的现有接口略有不足,这使得某些容器突变的编写更加复杂,并且容易出错.本文介绍了填补这一空白的新成员函数模板.

新界面的理由和基本原理在N3873中给出.Issaquah对N3873的初步反应是现有的地图界面应该是固定的,而不是添加新的界面.我们在拉珀斯维尔的N4006中探索了这个想法,并决定最初的提案是可取的(有一些名称更改).本文仅总结了提议的扩展,而不重复原始讨论.我们只在此处重述激励性代码片段以获取动机:

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

auto ptr = std::make_unique_ptr<Foo>;
auto res = m.emplace("foo", std::move(ptr));

assert(ptr);    // ??? (may or may not fire)