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

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

容器库

序列

array (C++11)

vector

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

视图

span (C++20)

 

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::empty

map::size

map::max_size

修改器

map::clear

map::insert

map::insert_or_assign (C++17)

map::emplace (C++11)

map::emplace_hint (C++11)

map::try_emplace (C++17)

map::erase

map::swap

map::extract (C++17)

map::merge (C++17)

查找

map::count

map::find

map::contains (C++20)

map::equal_range

map::lower_bound

map::upper_bound

观察器

map::key_comp

map::value_comp

非成员函数

std::swap

erase_if (C++20)

operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20 前)(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_type& k );	(2)	(C++17 起)
template< class K > node_type extract( K&& x );	(3)	(C++23 起)

1) 解链含 position 所指向元素的结点并返回占有它的结点柄。

2) 若容器拥有元素而其关键等于 x ，则从容器解链该元素并返回占有它的结点柄。否则，返回空结点柄。

3) 同 (2) 。此重载仅若有限定标识 Compare::is_transparent 合法并指代类型，且 iterator 与 const_iterator 均不可从 K 隐式转换才参与重载决议。它允许无需构造 Key 的实例就调用此函数。

任何情况下，均不复制或移动元素，只重指向容器结点的内部指针（可能出现再平衡，和 erase() 一样）。

释出结点只会非法化指向被释出元素的迭代器。指向被释出元素的指针和引用保持合法，但在结点柄占有该元素时不能使用：若元素被插入容器，就能使用它们。

参数

position	-	指向此容器中的合法迭代器
k	-	鉴别要被释出的结点的键
x	-	任何能与键通透比较的类型的值，鉴别要释出的结点

返回值

占有被释出元素的结点柄，或 (2,3) 中找不到元素的情况下为空结点柄。

复杂度

1) 均摊常数

2,3) log(a.size())

注解

extract 是更换 map 的键而不重分配的唯一方式：

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

示例

运行此代码

#include <algorithm>
#include <iostream>
#include <map>
 
int main()
{
    std::map<int, char> cont{{1, 'a'}, {2, 'b'}, {3, 'c'}};
 
    auto print = [](std::pair<const int, char>& n) { 
        std::cout << " " << n.first << '(' << n.second << ')'; 
    };
 
    std::cout << "Start:";
    std::for_each(cont.begin(), cont.end(), print);
    std::cout << '\n';
 
    // 释出结点柄并更改键
    auto nh = cont.extract(1);
    nh.key() = 4; 
 
    std::cout << "After extract and before insert:";
    std::for_each(cont.begin(), cont.end(), print);
    std::cout << '\n';
 
    // 往回插入结点柄
    cont.insert(move(nh));
 
    std::cout << "End:";
    std::for_each(cont.begin(), cont.end(), print);
    std::cout << '\n';
}

输出：

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	擦除元素 (公开成员函数)