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

来自cppreference.com
< cpp‎ | container‎ | set

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 合法并指代类型,且 iteratorconst_iterator 均不可从 K 隐式转换才参与重载决议。它允许无需构造 Key 的实例就调用此函数。

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

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

参数

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

返回值

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

复杂度

1) 均摊常数
2,3) log(a.size())

注解

extract 是从 set 带走仅移动对象的唯一方式:

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

示例

#include <algorithm>
#include <iostream>
#include <set>
 
int main()
{
    std::set<int> cont{1, 2, 3};
 
    auto print = [](const int& n) { std::cout << " " << n; };
 
    std::cout << "Start:";
    std::for_each(cont.begin(), cont.end(), print);
    std::cout << '\n';
 
    // 释出结点柄并更改键
    auto nh = cont.extract(1);
    nh.value() = 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 2 3
After extract and before insert: 2 3
End: 2 3 4

参阅

(C++17)
从另一容器接合结点
(公开成员函数)
插入元素或结点 (C++17 起)
(公开成员函数)
擦除元素
(公开成员函数)