std::map insert && 重载导致复制

Question

看看这个有趣的演讲：

CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”

他在 38:32 左右提到

void Benchmark_Slow(int iters) {
    std::unordered_map<string, int> m;
    std::pair<const string, int> p = {};
    while (iters--) m.insert(p)
}

比以下变体慢约 2 倍

void Benchmark_Fast(int iters) {
    std::unordered_map<string, int> m;
    const std::pair<const string, int> p = {};
    while (iters--) m.insert(p)
}

我还在思考为什么会选择&&重载(1)。

• std::pair<iterator,bool> insert( value_type&& value ); (1)

• std::pair<iterator,bool> insert( const value_type& value ); (3)

其中value_type是std::pair<const Key, T>。

毕竟，我们并没有移动值，所以在我的理解中，表达式p 应该是左值而不是 x/prvalue，对吗？有人可以启发我吗？

Answer 1

1. 调用模板重载 (overload (2) on cppreference)
2. 模板重载等价于emplace
3. emplace 并不比 insert 慢，而且在一般情况下更快，但是...

但是，emplace 允许一种滥用，即当您反复尝试插入相同的密钥时。而基准测试正是这样做的（注意while）。我想说这只是一个基准，它显示了你故意在脚上射击自己时的行为。在现实世界中，我认为不会有人通过emplace 或insert 做到这一点。

在 C++17 中，这已通过一种需要修改代码的方式得到修复：

1. try_emplace函数https://isocpp.org/files/papers/n4279.html

Answer 2

你不要接受有问题的重载：

std::pair<iterator,bool> insert(const value_type& value); // (1)

template< class P >
std::pair<iterator,bool> insert(P&& value); // (2)

P 推导出为value_type&。