问题描述
在 C++20 (N4849) 中，关联容器的 extract() 和 insert(node_handle)/insert(hint,node_handle) 方法没有异常安全措辞。
但是对于merge()，有这样的措辞：
抛出：除非比较对象抛出，否则什么都没有。
位置：
22.2.6 关联容器 [associative.reqmts]
表 78：关联容器要求（除容器外）[tab:container.assoc.req]
第799页
显然最初的提议 (P0083R3) 旨在使其不被抛出（第 5 页）：
异常安全
如果容器的Compare函数是no-throw（这很常见），那么移除、修改和插入节点都是no-throw，除非修改值会抛出。如果修改该值确实抛出了异常，则它会在所涉及的容器之外进行。
但为什么在该提案后面的拟议措辞中没有发言权？
解决方法
采用节点句柄的 insert 成员有一个前提条件，即节点句柄中的分配器比较等于容器的分配器。
采用迭代器的 extract 成员有一个前提条件，即迭代器是容器中有效的可解引用迭代器。
标准库的政策是具有运行时前提条件的函数不是 noexcept。
带有 extract 参数的 key_type 成员只能在比较函数抛出时抛出，但这仍然意味着它不能是 noexcept。