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());