std::map::extract不能直接move元素值，因为value_type是const Key参与的pair，无法move构造；extract返回node_type，需用std::move(node.value().second)手动提取mapped_type。
std::map::extract 为什么不能直接 move 元素值
因为 std::map 的 value_type 是 std::pair<const key t></const>，其中 key 是 const 的，整个 pair 无法被移动构造（const Key 成员阻止了 move 构造函数生成）。调用 extract() 拿到的是 node_type，它封装了节点的内存和所有权，但不提供对 mapped_type（即 value）的独立移动能力 —— 你移动的是整个节点，不是里面的 T。
extract 后怎么安全获取并移动 mapped_type
node_type 提供 value() 方法返回一个 std::pair<const key t>&</const>，但它返回的是左值引用，不能直接 std::move 出来；必须先复制或交换。常见做法是：先用 std::move(node.value().second) 提取 value，再显式销毁原节点（通过丢弃 node 或调用 node.destroy()）——但注意：这不等价于“移动元素”，只是手动拆解节点内容。
-
node_type node = m.extract(key);→ 节点从 map 中移出，node持有所有权 -
T val = std::move(node.value().second);→ 安全转移 value（前提是T可移动） - 之后
node仍有效，但不能再用于插入（因 key 已 const，无法修改），通常直接让其析构
extract 插入到另一个 map 时的 key 冲突处理
用 insert(node_type&&) 插入到另一 std::map 时，若目标 map 已存在相同 key，该 node 会被自动销毁，且 insert 返回 pair<iterator bool></iterator> 中 bool 为 false，iterator 指向已存在的元素。不会抛异常，也不会覆盖 —— 这和 insert_or_assign 有本质区别。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 检查返回值：
auto res = other_map.insert(std::move(node));，若!res.second，说明插入失败，node已释放 - 如果需要强制替换，得先
erase再insert，或者改用other_map[key] = std::move(val);（但会触发默认构造+赋值） -
node_type不支持修改 key，所以无法“重绑定”后插入
extract 在自定义比较器或非默认分配器下的注意事项
node_type 类型依赖于 map 的完整类型，包括 Compare 和 Allocator。两个 std::map 要能互相接收对方的 node_type，它们的 key_type、mapped_type、Compare 和 Allocator 必须完全一致（same type，不只是可比较）。否则编译失败，错误信息类似：no matching member function for call to 'insert'。
立即学习“C++免费学习笔记（深入）”；
- 即使两个 map 的 key/mapped 类型相同，若一个用
std::less，另一个用std::greater，node_type就不兼容 - 使用
std::pmr::map时，allocator 必须来自同一std::pmr::memory_resource才能保证 node 内存可安全转移 - 跨 map 移动节点前，务必确认
static_assert(std::is_same_v<decltype decltype>)</decltype>
std::move(m[key]) + erase 来得直观，除非你在做节点级别的容器合并或定制内存管理。 
