Namespaces
Variants

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

From cppreference.net

node_type extract ( const_iterator pos ) ;
(1) (自 C++17 起)
(自 C++26 起为 constexpr)
node_type extract ( const Key & k ) ;
(2) (自 C++17 起)
(自 C++26 起为 constexpr)
template < class K >
node_type extract ( K && x ) ;
(3) (自 C++23 起)
(自 C++26 起为 constexpr)
1) 解除包含由 pos 指向元素的节点链接,并返回拥有该节点的 node handle
2,3) 若容器中存在键等于 k x (C++23 起) 的元素,则从容器解链包含该元素的节点,并返回拥有该节点的 node handle 。否则返回空节点句柄。
3) 此重载仅在以下情况参与重载决议: Hash KeyEqual 均为 透明函数对象 ,且 iterator const_iterator 均不能从 K 隐式转换。这要求该 Hash 可同时被 K Key 类型调用,且 KeyEqual 具有透明性,共同使得无需构造 Key 的实例即可调用此函数。

无论哪种情况,都不会复制或移动元素,仅重新指向容器节点的内部指针。

提取节点只会使指向被提取元素的迭代器失效,同时保持未被擦除元素的相对顺序。指向被提取元素的指针和引用仍然有效,但在元素由节点句柄持有期间不可使用:若元素被插入到容器中,这些指针和引用将恢复可用性。

目录

参数

pos - 指向该容器的有效迭代器
k - 用于标识待提取节点的键
x - 可与标识待提取节点的键进行透明比较的任意类型值

返回值

一个 node handle ,它拥有被提取的元素,或者在 (2,3) 中未找到该元素时返回空的node handle。

异常

1) 不抛出任何异常。
2,3) Hash KeyEqual 对象抛出的任何异常。

复杂度

1-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());
功能测试 标准 功能
__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);
    // 提取节点句柄并修改键值
    auto nh = cont.extract(1);
    nh.value() = 4;
    print("After extract and before insert:", cont);
    // 将节点句柄插回容器
    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 起)
(公开成员函数)
擦除元素
(公开成员函数)