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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

容器库

node-handle (C++17)

序列容器

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (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::count flat_map::find flat_map::contains flat_map::equal_range    flat_map::lower_bound flat_map::upper_bound 容量 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::key_comp flat_map::keys flat_map::value_comp flat_map::values

非成员函数

operator==operator<=>         swap(std::flat_map) erase_if(std::flat_map)

辅助类

uses_allocator<std::flat_map>

标签

sorted_unique       sorted_unique_t

推导指引

 

template<class M > std::pair<iterator, bool> insert_or_assign(const key_type& k, M&& obj );	(1)	(C++23 起)
template<class M > std::pair<iterator, bool> insert_or_assign( key_type&& k, M&& obj );	(2)	(C++23 起)
template<class K, class M > std::pair<iterator, bool> insert_or_assign( K&& k, M&& obj );	(3)	(C++23 起)
template<class M > iterator insert_or_assign( const_iterator hint, const key_type& k, M&& obj );	(4)	(C++23 起)
template<class M > iterator insert_or_assign( const_iterator hint, key_type&& k, M&& obj );	(5)	(C++23 起)
template<class K, class M > iterator insert_or_assign( const_iterator hint, K&& k, M&& obj );	(6)	(C++23 起)

1,2) 如果容器中已经存在等价于 k 的键，则把 std::forward<M>(obj) 赋值给对应于键 k 的 mapped_type。如果不存在这样的键，则如同以如下来插入新值：

• (1,2)try_emplace(std::forward<decltype(k)>(k), std::forward<M>(obj))
• (4,5)try_emplace(hint, std::forward<decltype(k)>(k), std::forward<M>(obj))

如果 std::is_assignable_v<mapped_type&, M> 或者 std::is_constructible_v<mapped_type, M> 为 false，则程序非良构。

3,6) 如果容器中已经存在等价于 k 的键，则把 std::forward<M>(obj) 赋值给对应于键 k 的 mapped_type。否则，等价于：

• (3)try_emplace(std::forward<K>(k), std::forward<M>(obj))
• (6)try_emplace(hint, std::forward<K>(k), std::forward<M>(obj))

从 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&, M> 为 true。
• std::is_constructible_v<mapped_type, M> 为 true。

时才会参与重载决议。

参数

k	-	用于查找也用于未找到时进行插入的键
hint	-	指向将要在其之前插入新元素的位置的迭代器
obj	-	要插入或赋值的值

返回值

1-3)bool 组分在发生了插入时为 true 而在发生了赋值时为 false。迭代器组分指向被插入或更新的元素。

4-6) 迭代器组分指向被插入或更新的元素。

复杂度

1-3) 与 emplace 的相同。

4-6) 与 emplace_hint 的相同。

注解

insert_or_assign 比 operator[] 返回更多信息，而且不要求被映射类型可默认构造。

示例

运行此代码

#include <flat_map>#include <iostream>#include <string>   void print_node(constauto& node){std::cout<<'['<< node.first<<"] = "<< node.second<<'\n';}   void print_result(autoconst& pair){std::cout<<(pair.second?"插入: ":"赋值: "); print_node(*pair.first);}   int main(){std::flat_map<std::string, std::string> map;   print_result(map.insert_or_assign("a", "apple")); print_result(map.insert_or_assign("b", "banana")); print_result(map.insert_or_assign("c", "cherry")); print_result(map.insert_or_assign("c", "clementine"));   for(constauto& node : map) print_node(node);}

输出：

插入: [a] = apple 插入: [b] = banana 插入: [c] = cherry 赋值: [c] = clementine [a] = apple [b] = banana [c] = clementine

参阅

operator[]	访问或插入指定的元素 (公开成员函数)
at	带越界检查访问指定的元素 (公开成员函数)
insert	插入元素 (公开成员函数)
emplace	原位构造元素 (公开成员函数)
try_emplace	若键不存在则原位插入，若键存在则不做任何事 (公开成员函数)