类 ara::core::FutureException

类 ara::core::FutureException 用作在与 ara::core::Future 和 ara::core::Promise 相关的错误发生时抛出的特定异常类型 [SWS_CORE_00412]。它封装了一个 ara::core::ErrorCode，并通过显式构造函数创建 [SWS_CORE_00412]。为了在异步和并发环境中安全使用，其实例化被指定为 noexcept、线程安全且异常安全 [SWS_CORE_00412]。

更多 ›

上下文

类 ara::core::FutureException 在模块 core 内充当异步通信和同步原语的专用异常类型。根据其设计目的，该异常类型由 ara::core::Future 以及 ara::core::Promise 触发，以便向调用者指示异步操作上下文中的错误状态。在结构上，ara::core::FutureException 继承自基类 Exception 并封装了一个领域特定的错误码。

在协作场景中，ara::core::FutureException 构成了生成异步端点（如 ara::core::Promise）、消费端点（ara::core::Future）与应用端错误处理之间的桥梁。这三方的相互作用阐明了传递异常以进行错误处理的结构框架。

上下文图：ara::core::FutureException 在 Promise、Future 与应用线程之间的嵌入。来源：[SWS_CORE_00412]

生命周期

ara::core::FutureException 的实例化显式通过构造函数进行，并传入 ara::core::ErrorCode 类型的错误码 [SWS_CORE_00412]。通过带有 explicit 的声明，阻止了从 ara::core::ErrorCode 的隐式类型转换。该构造函数被标明为 noexcept，从而确保构造本身不会抛出进一步的异常 [SWS_CORE_00412]。

关于执行安全性，该类被规范为异常安全（exception safe）[SWS_CORE_00412]。针对并发运行，规范还将该构造显式标明为线程安全（thread-safe）[SWS_CORE_00412]。这使得异步操作能够跨线程边界安全地实例化异常并将其传递给等待的接收者。

使用路径

典型使用流程包括异步操作期间错误的产生直至消费方调用者捕获异常。通常通过头文件 ara/core/future_error_domain.h [SWS_CORE_00412] 提供。

时序图：从错误产生经由 ara::core::FutureException 实例化直至捕获的流程。来源：[SWS_CORE_00412]

使用流程分为以下步骤：

• 检测与 ara::core::Promise 或 ara::core::Future 相关的异步处理中的失败或非法状态。
• 通过构造函数指定具体的 ara::core::ErrorCode 来创建 ara::core::FutureException [SWS_CORE_00412]。
• 将异常传递给消费线程，在该线程中于 try-catch 块的上下文中捕获该异常并分析所包含的错误。

错误场景

由于 ara::core::FutureException 本身即是错误信号传递的载体，因此错误场景仅限于其自身产生时的条件。通过构造函数带有 noexcept 标记，保证了在对象创建时不会发生次生异常形式的执行错误 [SWS_CORE_00412]。构造的前置条件是将有效的 ara::core::ErrorCode 类型对象作为参数传入 err [SWS_CORE_00412]。若在操作 ara::core::Future 或 ara::core::Promise 时发生错误，该异常用于将此错误码原样传递给上层调用的目的。