命名空间
变体
操作

std::unordered_set<Key,Hash,KeyEqual,Allocator>::extract

来自 cppreference.com
 
 
 
 
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) 相同。此重载仅在 Hash::is_transparentKeyEqual::is_transparent 有效且分别表示类型,并且 iteratorconst_iterator 不能隐式转换为 K 时参与重载解析。这假设这样的 Hash 可以使用 KKey 类型调用,并且 KeyEqual 是透明的,两者一起允许调用此函数而不构造 Key 的实例。

在任何一种情况下,都不会复制或移动元素,只会重新指向容器节点的内部指针。

提取节点只会使指向已提取元素的迭代器失效,并保留未擦除元素的相对顺序。指向已提取元素的指针和引用仍然有效,但元素由节点句柄拥有时无法使用:如果元素被插入到容器中,它们将变得可用。

内容

[编辑] 参数

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

[编辑] 返回值

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

[编辑] 异常

1) 不抛出任何内容。
2,3) HashKeyEqual 对象抛出的任何异常。

[编辑] 复杂度

1,2,3) 平均情况 O(1),最坏情况 O(size()).

[编辑] 备注

extract 是从集合中取出仅移动对象的唯一方法

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

[编辑] 另请参阅

(C++17)
从另一个容器中拼接节点
(公有成员函数) [编辑]
插入元素 或节点(自 C++17 起)
(公有成员函数) [编辑]
擦除元素
(公有成员函数) [编辑]