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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

deque

forward_list (C++11)

list

关联容器

set

multiset

map

multimap

无序关联容器

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

容器适配器

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表格

非成员函数表格

 

std::flat_map

成员类型
成员函数
flat_map::flat_map	flat_map::operator=
元素访问
flat_map::at	flat_map::operator[]
迭代器
flat_map::beginflat_map::cbegin flat_map::endflat_map::cend	flat_map::rbeginflat_map::crbegin flat_map::rendflat_map::crend
容量
flat_map::size flat_map::max_size	flat_map::empty
修改器
flat_map::clear flat_map::erase flat_map::swap flat_map::emplace flat_map::extract flat_map::replace	flat_map::insert flat_map::insert_range flat_map::insert_or_assign flat_map::emplace_hint flat_map::try_emplace
查找
flat_map::count flat_map::find flat_map::contains	flat_map::equal_range flat_map::lower_bound flat_map::upper_bound
观察器
flat_map::key_comp flat_map::keys	flat_map::value_comp flat_map::values
非成员函数
operator==operator<=> (C++23)(C++23)	swap(std::flat_map) (C++23) erase_if(std::flat_map) (C++23)
辅助类
uses_allocator<std::flat_map> (C++23)
标签
sorted_unique (C++23)	sorted_unique_t (C++23)
推导指引

 

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 的键，则不做任何事。否则，以键 k 和从 args 构造的值向底层容器 c 插入一个新元素。

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>>。此外，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 ? "插入: " : "忽略: ");
    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);
}

输出：

插入: [a] = a
插入: [b] = abcd
插入: [c] = cccccccccc
忽略: [c] = cccccccccc
[a] = a
[b] = abcd
[c] = cccccccccc

参阅

emplace	原位构造元素 (公开成员函数)
emplace_hint	使用提示原位构造元素 (公开成员函数)
insert	插入元素 (公开成员函数)
insert_or_assign	插入元素，或若键已存在则赋值给当前元素 (公开成员函数)