emplace真正比insert快的关键在于避免临时pair构造及后续移动,适用于键值类型构造开销大且支持就地构造的场景;try_emplace更安全,仅在key不存在时才构造value。

std::map::emplace 的核心价值不是“语法更短”,而是避免冗余拷贝和临时对象——但前提是键类型支持移动或就地构造,且你传入的参数能直接转发给键/值的构造函数。
什么时候 emplace 真正比 insert 快?
关键看键和值是否发生“隐式构造 + 拷贝/移动”:
- 如果你写
m.insert({key, value}),先构造一个std::pair临时对象,再把它 move/copy 进 map 节点 —— 至少一次移动构造(可能触发两次) - 而
m.emplace(key, value)直接在 map 内部节点内存上调用pair的完美转发构造函数,跳过临时pair - 若
Key或T是非 trivial 类型(如std::String、自定义类),且构造开销大,这个省略就明显 - 但如果
Key是int、std::string_view这类轻量类型,差异几乎不可测
emplace 参数不是“键值对”,是“键构造参数 + 值构造参数”
它不接受 std::pair,也不接受初始化列表作为整体;它把所有参数按顺序分别转发给 key 和 value 的构造函数:
std::map> m; // ✅ 正确:string 构造用 "hello",vector 构造用 3 个 0 m.emplace("hello", 3, 0); // ❌ 错误:不能传 pair(会尝试用 pair 构造 key) m.emplace(std::make_pair("hello", std::vector(3, 0))); // ❌ 错误:初始化列表会被当成单个参数,无法匹配 vector 构造 m.emplace("hello", {3, 0});
想传初始化列表给值,得显式构造:
立即学习“C++免费学习笔记(深入)”;
-
m.emplace("hello", std::vector—— 先构造 vector,再 move 进去(失去 emplace 优势){3, 0}) - 或改用
try_emplace(c++17),它只对 key 执行查找,value 只在插入时才构造
try_emplace 比 emplace 更安全常用
当 key 已存在时,emplace 仍会构造 value(浪费),而 try_emplace 完全跳过 value 构造:
std::map m; m.try_emplace("key", arg1, arg2, arg3); // key 存在 → 不调用 HeavyObject(arg1,arg2,arg3) m.emplace("key", arg1, arg2, arg3); // key 存在 → HeavyObject 仍被构造,然后丢弃
-
try_emplace第一个参数是 key(完美转发),后续参数只用于 value 构造 - key 类型需支持比较(比如
std::string),但不要求可拷贝——适合 key 是std::unique_ptr等 move-only 类型 - 若 key 不存在,行为等价于
emplace;若存在,则无副作用
真正发挥 emplace / try_emplace 效能的前提,是你清楚 key 和 value 的构造成本、是否可移动、以及插入前是否大概率已存在——否则盲目替换 insert 可能白忙活,甚至因参数匹配失败导致编译错误。