std::set<Key,Compare,Allocator>::extract

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

容器库

顺序

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

成员函数

set::set set::~set            set::operator= set::get_allocator

迭代器 set::beginset::cbegin (C++11) set::endset::cend (C++11) set::rbeginset::crbegin (C++11)   set::rendset::crend (C++11) 容量 set::size set::max_size set::empty 观察器 set::key_comp set::value_comp 修改器 set::clear set::erase set::swap set::extract (C++17) set::merge (C++17) set::insert set::insert_range (C++23) set::emplace (C++11) set::emplace_hint (C++11) 查找 set::count set::find set::contains (C++20)    set::equal_range set::lower_bound set::upper_bound

非成员函数

operator==operator<=> (C++20) std::swap(std::set) erase_if(std::set) (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 是从 set 中取出仅可移动对象的唯一方法

std::set<move_only_type> s;
s.emplace(...);
move_only_type mot = std::move(s.extract(s.begin()).value());

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

示例

运行此代码

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

输出

Start: 1 2 3
After extract and before insert: 2 3
End: 2 3 4

参见

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