std::map<Key,T,Compare,Allocator>::extract

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

数组 (C++11)

向量

vector<bool>

inplace_vector (C++26)

双端队列

单向链表 (C++11)

链表

关联

集合

多重集合

映射

多重映射

无序关联

无序集合 (C++11)

无序多重集合 (C++11)

无序映射 (C++11)

无序多重映射 (C++11)

适配器

堆栈

队列

优先队列

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

跨度 (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表

非成员函数表

 

std::map

成员函数

map::map map::~map               map::operator= map::get_allocator

元素访问 map::at map::operator[] 迭代器 map::beginmap::cbegin (C++11) map::endmap::cend (C++11) map::rbeginmap::crbegin (C++11)      map::rendmap::crend (C++11) 容量 map::size map::max_size map::empty 观察者 map::key_comp map::value_comp 修饰符 map::clear map::insert map::erase map::swap map::extract (C++17) map::merge (C++17) map::insert_range (C++23) map::insert_or_assign (C++17) map::emplace (C++11) map::emplace_hint (C++11) map::try_emplace (C++17) 查找 map::count map::find map::contains (C++20) map::equal_range map::lower_bound map::upper_bound

非成员函数

operator==operator<=> (C++20) std::swap(std::map) erase_if(std::map) (C++20)   operator!=operator<operator>operator<=operator>= (直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)

推导指南 (C++17)

 

node_type extract( const_iterator position );	(1)	(自 C++17 起)
node_type extract( const Key& k );	(2)	(自 C++17 起)
template< class K > node_type extract( K&& x );	(3)	(自 C++23 起)

1) 解除包含 position 指向的元素的节点的链接，并返回一个拥有该节点的 节点句柄。

2) 如果容器包含键等效于 k 的元素，则解除包含该元素的节点与容器的链接，并返回一个拥有该节点的 节点句柄。 否则，返回一个空节点句柄。

3) 与 (2) 相同。 此重载仅在限定标识符 Compare::is_transparent 有效且表示一个类型，并且 iterator 或 const_iterator 无法从 K 隐式转换时才参与重载解析。 它允许在不构造 Key 实例的情况下调用此函数。

在这两种情况下，都不会复制或移动元素，只会重新指向容器节点的内部指针（可能会发生重新平衡，就像 erase() 一样）。

提取节点只会使指向已提取元素的迭代器失效。 指向已提取元素的指针和引用仍然有效，但在元素被节点句柄拥有时不可用：如果元素被插入容器，则它们变为可用。

参数

position	-	一个指向此容器的有效迭代器
k	-	用于识别要提取的节点的键
x	-	任何类型的值，可以与识别要提取的节点的键进行透明比较

返回值

一个拥有已提取元素的 节点句柄，或者在 (2,3) 中找不到元素时为空节点句柄。

异常

1) 不抛出任何内容。

2,3) 由 Compare 对象抛出的任何异常。

复杂度

1) 均摊常数。

2,3) log(size())

注释

extract 是唯一可以在不重新分配的情况下更改映射元素键的方法

std::map<int, std::string> m{{1, "mango"}, {2, "papaya"}, {3, "guava"}};
auto nh = m.extract(2);
nh.key() = 4;
m.insert(std::move(nh));
// m == {{1, "mango"}, {3, "guava"}, {4, "papaya"}}

特性测试 宏	值	Std	特性
__cpp_lib_associative_heterogeneous_erasure	202110L	(C++23)	在 关联容器 和 无序关联容器 中的异构擦除，(3)

示例

运行此代码

#include <algorithm>
#include <iostream>
#include <string_view>
#include <map>
 
void print(std::string_view comment, const auto& data)
{
    std::cout << comment;
    for (auto [k, v] : data)
        std::cout << ' ' << k << '(' << v << ')';
 
    std::cout << '\n';
}
 
int main()
{
    std::map<int, char> cont{{1, 'a'}, {2, 'b'}, {3, 'c'}};
 
    print("Start:", cont);
 
    // Extract node handle and change key
    auto nh = cont.extract(1);
    nh.key() = 4;
 
    print("After extract and before insert:", cont);
 
    // Insert node handle back
    cont.insert(std::move(nh));
 
    print("End:", cont);
}

输出

Start: 1(a) 2(b) 3(c)
After extract and before insert: 2(b) 3(c)
End: 2(b) 3(c) 4(a)

另请参见

merge (C++17)	从另一个容器中拼接节点 (公共成员函数)
insert	插入元素 或节点(自 C++17 起) (公共成员函数)
erase	擦除元素 (公共成员函数)