std::error_code 的用例

Question

最近我一直在转换一些库以使用 C++11 中的 <system_error> 工具。

我很难理解 std::error_code 与 std::error_condition 的用例。

注意，我了解其中的区别 - 有 many questions on stackoverflow 可以解决区别。

基本区别在于std::error_code 应该表示系统或平台特定的错误，而std::error_condition 是 API 或用户界面应返回的抽象错误。

好的 - 但我无法理解为什么我们会在实践中使用 std::error_code。在我看来，你要么去：

1. 处理系统特定的错误报告机制（如 比如，errno 或者从 POSIX 调用返回的东西，或者说，一个调用 在 Linux 上使用 SO_ERROR 到 getsockopt），您可以轻松地 通过std::errc 枚举转换为std::error_condition，它们应该是可移植的。

2. 使用用户定义的错误类别，代表应用程序级别 或业务逻辑错误，例如“无效的社会安全号码”或 不管 - 这也将是一个用例 std::error_condition.

3. 处理一些定义了自己的错误报告机制的低级接口或库，例如 OpenSSL，在这种情况下，您将直接使用特定于平台的错误机制。在这种情况下，您需要将这些错误转换或映射到std::error_code。但是，如果您要将这些特定于平台的错误转换为像std::error_code 这样的通用错误，为什么不直接转换为std::error_condition？

此外，由于 POSIX 系统错误应该是可移植的，并且由于它们通过 std::errc 枚举与 std::error_condition 一对一映射，因此我找不到 std::error_code 的任何用例。大多数 Linux/UNIX 系统调用设置errno，它应该可移植地映射到std::error_condition。

所以，我在任何地方都看不到 std::error_code 的任何用例。那么，在哪些示例用例中我们希望使用 std::error_code 而不是 std::error_condition？

Answer 1

不久前我自己也在想这个问题，并找到了答案here。本质上，error_code 用于存储和传输错误代码，而error_condition 用于匹配错误代码。

void handle_error(error_code code) {
   if     (code == error_condition1) do_something();
   else if(code == error_condition2) do_something_else();
   else                              do_yet_another_thing();
}

每个error_condition 等价于一组error_code，可能来自不同的error_categories。这样一来，无论它们来自哪个子系统，您都可以一视同仁地对待某种类型的所有错误。

另一方面，error_code 恰好包含它所源自的子系统的类别。这对于调试和报告错误很有用：您可能想知道“权限被拒绝”错误是由于本地文件系统的访问权限不足还是由于您的 http-downloader-library 收到的 403 错误，并且可能希望将该详细信息放入错误消息中，但您的程序必须以任何一种方式中止。

什么构成等价是由类别定义的；如果error_code 的类别认为error_condition 等效，或error_condition 的类别认为error_code 等效，则operator== 为该对@ 返回true 987654335@ 和error_code。这样您就可以从自己的错误类别中获得error_codes，并使它们等同于某些通用或系统error_conditions。