std::set::find 异常保证

Question

我目前正在编写异常安全代码，我的设计不需要任何抛出保证 set::find 方法。 我假设比较器对象总是成功的。 这是否意味着 set::find 方法总是会成功？

在我看到根据http://en.cppreference.com/w/cpp/container/set/erase，set::erase 方法，在相同的假设下，我想到了这种可能性，应该总是成功，也许其中有一个发现（那么它绝对值得评论在文档中！）

问题的直接根源是我需要检查一个元素是否在集合中并将其从集合中删除——所有这些都没有抛出保证（它在一个 catch 块中）。

Answer 1

std::set::find:

返回值

迭代器到带有键 key 的元素。如果没有找到这样的元素，则返回结束后（参见end()）迭代器。

文档和 C++ 标准都没有明确列出任何异常安全保证。但是，此处适用于 std::set::erase 的相同规则（§23.2.4.1 异常安全保证 [associative.reqmts.except]）：

erase(k) 不会引发异常，除非该异常是由容器的 Compare 对象（如果有）引发的。

本质上，除非Compare 对象抛出异常，否则std::set::find 不会抛出异常。 Bjarne Stroustrup 在The C++ Programming Language, Special Edition - Appendix E 中有以下话要说：

幸运的是，谓词很少做任何可能引发异常的事情。但是，在考虑异常安全时，必须考虑用户定义的 <、== 和 != 谓词。

如果您没有提供任何用户定义的谓词，您可以假设std::set::find 不会引发异常。如果是，则应将它们标记为 noexcept 以在您的场景中安全工作。

Answer 2

C++11 §23.2.4.1 异常安全保证 [associative.reqmts.except] 列出了关联容器的所有异常安全要求（包括set）并且没有提及find。所以不，标准不保证find 永远不会抛出。

在没有未定义的行为并假设不抛出比较器的情况下，我发现 C++ 标准库的实现极不可能存在会从 set::find 抛出异常。我个人对 (a) 将 set::find 包装在 noexcept 转发函数中感到满意，这样如果发生这种“不可能”的事情，程序就会崩溃，或者 (b) 包装特定的 set::find 调用

auto it = foo.end();
try {
  it = foo.find(bar);
} catch(...) {}

并简单地将异常视为“未找到”。

请注意，关联容器的排序关系是一个容易被忽视的未定义行为的来源：第 23.2.4/2 节要求排序关系在关键元素上引入严格的弱排序（如第 25.4 节所述）。使用非严格弱排序的排序关系实例化的关联容器没有定义的行为，其一种可能的结果是从find 引发异常。