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

std::map<Key,T,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 是更换 map 的键而不重分配的唯一方式：

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