Outcome 2.2 库

介绍

Outcome 是一套用于在**不适合直接使用 C++ 异常处理**的场景下报告和处理函数失败的工具。此类场景包括：

• 程序或其部分被编译为禁用异常；

• 程序部分存在大量依赖于失败类型的分支，此时 `if` 语句比 `try-catch` 块更清晰；

• 硬性要求执行的失败路径不应比成功的路径成本更高；

• 存在一些情况，例如在 filesystem 库中，失败应远程处理（使用 C++ 异常抛出）还是本地处理无法在函数内部确定，需要由调用者决定，而在后一种情况下，出于上述原因，抛出 C++ 异常并非理想选择；

• 程序/框架的部分内容本身实现了异常处理，并倾向于不使用异常在线程、任务、协程等之间传播失败报告；

• 需要通过不实现异常抛出安全的层来传播异常；

• 存在外部要求（如公司范围的政策）要求在代码中明确指示失败处理路径。

• 在与 C 代码互操作很重要，而无需诉诸 C++ 异常包装器的情况。

• 您的主要是 C 代码库需要类似异常的错误处理，并且 C 中可用的 Outcome 功能子集已满足您的需求。

Outcome 通过从函数返回一个特殊类型来处理失败，该类型能够存储成功计算的值（或 `void`）或失败信息。Outcome 还附带了一套处理此类类型的惯用法。

特别注意确保 Outcome 对构建时间的影响尽可能小，使其适用于非常大的代码库的全局头文件中。`result` 的存储布局已获保证且与 C 兼容¹，这使得基于 Outcome 的代码具有长期的 ABI 稳定性。

Outcome 对完全确定的、全部 `noexcept` 的 C++ 协程支持尤其强大，我们提供了 Outcome 优化的 eager<T, Executor = void>/atomic_eager<T, Executor = void>、lazy<T, Executor = void>/atomic_lazy<T, Executor = void> 和 generator<T, Executor = void> 协程，它们适用于任何用户类型。

示例用法（C++）

Outcome 库中的主要工作是 `result`：它代表类型为 `T` 的成功计算值，或代表失败原因的 `std::error_code`/`boost::system::error_code`²。您在函数的返回类型中使用它。

outcome::result<string> data_from_file(string_view path) noexcept;

可以手动检查状态

if (outcome::result<string> rslt = data_from_file("config.cfg"))
  use_string(rslt.value());                   // returns string
else
  throw LibError{rslt.error(), "config.cfg"}; // returns error_code

或者，如果此函数在另一个也返回 `result` 的函数中调用，您可以使用专门的控制语句。

outcome::result<int> process(const string& content) noexcept;

outcome::result<int> int_from_file(string_view path) noexcept
{
  BOOST_OUTCOME_TRY(auto str, data_from_file(path));
  // if control gets here data_from_file() has succeeded
  return process(str);  // decltype(str) == string
}

BOOST_OUTCOME_TRY 是一个控制语句。如果返回的 `result` 对象包含错误信息，则当前函数将立即返回，并带有包含相同失败信息的 `result`；否则，作用域内将可用类型为 `T` 的自动对象。

BOOST_OUTCOME_C_DECLARE_RESULT_SYSTEM(result_string, const char *)

BOOST_OUTCOME_C_RESULT_SYSTEM(result_string) data_from_file(const char *path);

  BOOST_OUTCOME_C_RESULT_SYSTEM(result_string) rslt = data_from_file("config.cfg");
  if(BOOST_OUTCOME_C_RESULT_HAS_VALUE(rslt))
    use_string(rslt.value);  // returns string
  else
    fprintf(stderr, "%s\n", outcome_status_code_message(&rslt.error));

BOOST_OUTCOME_C_DECLARE_RESULT_SYSTEM(result_int, int)

BOOST_OUTCOME_C_RESULT_SYSTEM(result_int) process(const char *content);

BOOST_OUTCOME_C_RESULT_SYSTEM(result_int) int_from_file(const char *path)
{
  BOOST_OUTCOME_C_RESULT_SYSTEM_TRY(const char *str, result_int, /* cleanup on fail */, data_from_file(path));
  // if control gets here data_from_file() has succeeded
  return process(str);  // decltype(str) == string
}