为什么std::set::extract()和std::set::insert(nh)的标准中没有不抛出保证?

在 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,除非修改值会抛出。如果修改值确实抛出,它会在所涉及的容器之外进行。

但为什么在该提案后面的拟议措辞中没有发言权?

以上是为什么std::set::extract()和std::set::insert(nh)的标准中没有不抛出保证?的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>