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

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

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

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

参数

返回值

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

复杂度

1) 均摊常数

2) log(a.size())

注意

extract 是更换 map 的关键而不重分配的唯一方式：

map<int, string> m{{1, "mango"}, {2, "papaya"}, {3, "guava"}};
auto nh = m.extract(2);
nh.key() = 4;
m.insert(move(nh));
// m == {{1, "mango"}, {3, "guava"}, {4, "papaya"}}

示例

参阅