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

node_type extract( const_iterator position );	(1)	(C++17 起)
node_type extract( const key_type& x );	(2)	(C++17 起)

1) 解链含 position 所指向元素的结点并返回占有它的结点柄。

2) 若容器拥有元素而其关键等于 x ，则从容器解链该元素并返回占有它的结点柄。否则，返回空结点柄。

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

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

position	-	指向此容器中的合法迭代器
x	-	鉴别要被释出的结点的键

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

1) 均摊常数

2) log(a.size())

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

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

成员函数
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::empty
set::size
set::max_size
修改器
set::clear
set::insert
set::emplace (C++11)
set::emplace_hint (C++11)
set::erase
set::swap
set::extract (C++17)
set::merge (C++17)
查找
set::count
set::find
set::contains (C++20)
set::equal_range
set::lower_bound
set::upper_bound
观察器
set::key_comp
set::value_comp
非成员函数
std::swap
erase_if (C++20)
operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)
推导指引(C++17)

CppDS.com