作者:潘多拉多宝_712 | 来源:互联网 | 2022-11-25 11:19
C++ 17介绍了try_emplace
方法std::map
,所以现在我可以编写如下代码:
struct Test
{
Test(int i, int j){}
};
std::map tmap;
tmap.try_emplace(10, 10, 10);
但是没有try_emplace
了std::multimap
,所以piecewise_construct
仍然需要.
这有技术原因吗?
1> Barry..:
有这个技术原因吗?
是.try_emplace()
如果密钥已经存在于地图中,则目的是不做任何事情.但是std::{unordered_,}multi{map,set}
,对于每个键,您可以拥有多个值.实际上,这就是这些容器的重点:为给定的密钥设置多个值.
因此,try_emplace()
这些容器不会失败 - 因此提供这样的功能会让人感到困惑和毫无意义.
根据评论,似乎动机只是其中的一部分,try_emplace()
这使得更容易放置价值.您可以为此编写一个辅助函数:
template
auto emplace_value(Map& map, Key&& key, Args&&... args) {
return map.emplace(std::piecewise_construct,
std::forward_as_tuple(std::forward(key)),
std::forward_as_tuple(std::forward(args)...));
}
哪个会让你写emplace_value(tmap, 10, 10, 10)
,即使是{unordered_,}multimap
.
2> Shafik Yaghm..:
因为对于multimap情况没有必要,因为没有唯一的密钥,所以try_emplace
永远不会失败.添加try_emplace
到map 的理由是处理密钥已经存在的情况所需的所有容易出错的代码,请参阅提议n4279(强调我的):
唯一键控映射容器(std :: map,std :: unordered_map)的现有接口略有不足,这使得某些容器突变的编写更加复杂,并且容易出错.本文介绍了填补这一空白的新成员函数模板.
新界面的理由和基本原理在N3873中给出.Issaquah对N3873的初步反应是现有的地图界面应该是固定的,而不是添加新的界面.我们在拉珀斯维尔的N4006中探索了这个想法,并决定最初的提案是可取的(有一些名称更改).本文仅总结了提议的扩展,而不重复原始讨论.我们只在此处重述激励性代码片段以获取动机:
std::map> m;
m["foo"] = nullptr;
auto ptr = std::make_unique_ptr;
auto res = m.emplace("foo", std::move(ptr));
assert(ptr); // ??? (may or may not fire)