为何std::unordered_map::emplace方法采用多参数签名？

emplace的可变参数签名是为了实现就地构造std::pair<key_type, mapped_type>，同时兼顾灵活性和性能，具体原因如下：

• 避免额外拷贝/移动开销
  emplace会把传入的参数完美转发给std::pair的构造函数，直接在unordered_map的内存空间里构造键值对对象，不需要先在外部创建std::pair再插入。比如可以直接写：

  std::unordered_map<int, std::string> my_map;
  my_map.emplace(1, "test"); // 直接就地构造pair<int, string>
  

  而不用先构造std::pair<int, std::string>(1, "test")再插入，减少了一次对象的创建和移动操作。

• 适配std::pair的所有构造场景
  std::pair拥有多种构造方式，包括从两个元素构造、拷贝/移动构造、分段构造（借助std::piecewise_construct）等。可变参数的设计可以适配所有这些构造逻辑，比如需要构造包含复杂对象的键值对时：

  std::unordered_map<int, std::vector<int>> my_map;
  // 用分段构造直接初始化vector
  my_map.emplace(std::piecewise_construct,
                 std::forward_as_tuple(2),
                 std::forward_as_tuple(5, 100));
  

  这种场景下，emplace的参数直接传递给pair的构造函数，实现了高度灵活的对象构造。

• 和try_emplace的核心差异
  try_emplace把键和mapped_type的构造参数分开处理，只有当键不存在时才会构造mapped_type对象，避免了无效的对象构造开销。而emplace的逻辑是先构造pair（哪怕键已经存在），插入失败后再销毁这个临时pair，这会造成不必要的资源浪费——这也是try_emplace被引入的核心原因之一。

内容的提问来源于stack exchange，提问作者Zebrafish