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

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

[编辑模板]
 
C++
 
容器库
 
std::set
 
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 所指向元素的节点的链接并返回拥有它的节点把柄。
2,3) 如果容器拥有键等价于 k 或 x (C++23 起)的元素，那么就会从容器解除该元素的节点的链接并返回拥有它的节点把柄。否则返回空节点把柄。
3) 此重载只有在 Compare 透明，且 iterator 与 const_iterator 均不可从 K 隐式转换时才会参与重载决议。它允许调用此函数时无需构造 Key 的实例。

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

提取节点只会使指向被提取元素的迭代器失效。指向被提取元素的指针和引用保持有效，但在节点把柄拥有该元素时不能使用：一旦元素被插入容器，就能使用它们。

目录

[编辑] 参数

pos - 指向此容器中的有效迭代器
k - 鉴别要提取的节点的键
x - 任何能与键透明比较的类型的值，鉴别要提取的节点

[编辑] 返回值

拥有被提取元素的节点把柄，或 (2,3) 中找不到元素的情况下为空节点把柄。

[编辑] 异常

1) 不抛出。
2,3) 由 Compare 对象所抛出的任何异常。

[编辑] 复杂度

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

[编辑] 注解

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

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 <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("开始：", cont);
 
    // 提取节点把柄并改变键
    auto nh = cont.extract(1);
    nh.value() = 4;
 
    print("extract 和 insert 之间：", cont);
 
    // 将节点把柄插回去
    cont.insert(std::move(nh));
 
    print("结束：", cont);
}

输出： 

开始：1 2 3
extract 和 insert 之间：2 3
结束：2 3 4

[编辑] 参阅

(C++17)
 从另一容器合并节点
(公开成员函数) [编辑]
插入元素或节点(C++17 起)
(公开成员函数) [编辑]
擦除元素
(公开成员函数) [编辑]
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/container/set/extract&oldid=72690”