std::flat_map<Key,T,Compare,KeyContainer,MappedContainer>::try_emplace

template< class... Args > std::pair<iterator, bool> try_emplace( const key_type& k, Args&&... args );	(1)	(自 C++23 起)
template< class... Args > std::pair<iterator, bool> try_emplace( key_type&& k, Args&&... args );	(2)	(自 C++23 起)
template< class K, class... Args > std::pair<iterator, bool> try_emplace( K&& k, Args&&... args );	(3)	(自 C++23 起)
template< class... Args > iterator try_emplace( const_iterator hint, const key_type& k, Args&&... args );	(4)	(自 C++23 起)
template< class... Args > iterator try_emplace( const_iterator hint, key_type&& k, Args&&... args );	(5)	(自 C++23 起)
template< class K, class... Args > iterator try_emplace( const_iterator hint, K&& k, Args&&... args );	(6)	(自 C++23 起)

如果容器中已经存在与 k 等效的键，则不执行任何操作。否则，将一个新元素插入到底层容器 c 中，该元素的键为 k，其值由 args 构造。

1,2,4,5) 等同于

auto key_it = ranges::upper_bound(c.keys, k, compare);
auto value_it = c.values.begin() + std::distance(c.keys.begin(), key_it);
c.keys.insert(key_it, std::forward<decltype(k)>(k));
c.values.emplace(value_it, std::forward<Args>(args)...);

3,6) 等同于

auto key_it = ranges::upper_bound(c.keys, k, compare);
auto value_it = c.values.begin() + std::distance(c.keys.begin(), key_it);
c.keys.emplace(key_it, std::forward<K>(k));
c.values.emplace(value_it, std::forward<Args>(args)...);

从 k 到 key_type 的转换必须构造一个对象 u，对于该对象，find(k) == find(u) 为 true。否则，行为未定义。

这些重载仅在以下情况下参与重载解析：

限定标识符 Compare::is_transparent 有效，并表示一个类型。
std::is_constructible_v<key_type, K> 为 true。
std::is_assignable_v<mapped_type&, Args...> 为 true。
对于 (3) 而言，std::is_convertible_v<K&&, const_iterator> 和 std::is_convertible_v<K&&, iterator> 均为 false。

[编辑] 参数

k	-	用于查找和插入（如果未找到）的键
hint	-	指向将要插入新元素之前的位的迭代器
args	-	要转发到元素构造函数的参数

[编辑] 返回值

1-3) 与 emplace 相同。

4-6) 与 emplace_hint 相同。

[编辑] 复杂度

1-3) 与 emplace 相同。

4-6) 与 emplace_hint 相同。

[编辑] 备注

与 insert 或 emplace 不同，这些函数在插入未发生的情况下不会从右值参数移动，这使得操作其值为仅限移动类型的映射变得容易，例如 std::flat_map<std::string, std::unique_ptr<foo>>。此外，与 emplace 不同的是，try_emplace 对键和 mapped_type 的参数进行单独处理，而 emplace 则要求参数来构造一个 value_type（即一个 std::pair）。

重载 (3,6) 可以在不构造 key_type 类型对象的情况下调用。

[编辑] 示例

运行此代码

#include <flat_map>
#include <iostream>
#include <string>
#include <utility>
 
void print_node(const auto& node)
{
    std::cout << '[' << node.first << "] = " << node.second << '\n';
}
 
void print_result(auto const& pair)
{
    std::cout << (pair.second ? "inserted: " : "ignored:  ");
    print_node(*pair.first);
}
 
int main()
{
    using namespace std::literals;
    std::map<std::string, std::string> m;
 
    print_result(m.try_emplace( "a", "a"s));
    print_result(m.try_emplace( "b", "abcd"));
    print_result(m.try_emplace( "c", 10, 'c'));
    print_result(m.try_emplace( "c", "Won't be inserted"));
 
    for (const auto& p : m)
        print_node(p);
}

输出

inserted: [a] = a
inserted: [b] = abcd
inserted: [c] = cccccccccc
ignored:  [c] = cccccccccc
[a] = a
[b] = abcd
[c] = cccccccccc

[编辑] 另请参见

emplace	就地构造元素 (公共成员函数) [编辑]
emplace_hint	使用提示就地构造元素 (公共成员函数) [编辑]
insert	插入元素 (公共成员函数) [编辑]
insert_or_assign	插入元素或如果键已存在则分配给当前元素 (公共成员函数) [编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
命名需求
功能测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用实用程序库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

序列
数组 (C++11)
向量
向量<bool>
就地向量 (C++26)
双端队列
单向链表 (C++11)
链表
关联
集合
多重集合
映射
多重映射
无序关联
无序集合 (C++11)
无序多重集合 (C++11)
无序映射 (C++11)
无序多重映射 (C++11)
适配器
栈
队列
优先队列
扁平化集合 (C++23)
扁平化多重集合 (C++23)
扁平化映射 (C++23)
扁平化多重映射 (C++23)
视图
跨度 (C++20)
md跨度 (C++23)
表格
迭代器失效
成员函数表
非成员函数表

cppreference.com

命名空间

变体

视图

操作