类 ara::core::Result< void, E >

用法与调用上下文

来自 ara/core/result.h 的特化 ara::core::Result<void, E> 的成员函数 Bind 在没有结果值的成功实例上执行后续计算 [SWS_CORE_00870]。如果存在值，则同步且无参数地调用传入的 Callable f。该 Callable 必须满足接口 Result<XXX, E> f() 或 XXX f()，其中 XXX 必须是 Result 允许的类型 [SWS_CORE_00870]。如果 Callable 返回 Result，则返回类型对应于 decltype(f())；如果它直接返回 XXX，则结果将被封装为 Result<decltype(f()), E> [SWS_CORE_00870]。

错误处理与并发

如果实例不包含值，则返回一个新的 Result<XXX, E>，原始错误会被复制到其中 [SWS_CORE_00870]。理解：在这种情况下，推测不应执行 Callable f。 问题 Q-6288a7106d2730c3 (未决)关于执行安全性，该函数被视为 not exception safe [SWS_CORE_00870]。线程安全性是有条件的（conditional），完全取决于传入的 Callable f 的线程安全性 [SWS_CORE_00870]。

与相关要求的交互

与来自 [SWS_CORE_00768] 和 [SWS_CORE_00941] 的主 Result<T, E> 函数不同（在那些函数中，Callable 通过 f(const T&) 接收实例的值），本重载 [SWS_CORE_00870] 将操作绑定到 void 结果，因此需要一个无参 Callable。

特化 ara::core::Result<void, E> 的成员函数 EmplaceError 根据传入实参 args [SWS_CORE_00844]，同步地在现有实例中直接原位构造一个新的错误值。通过头文件 ara/core/result.h 提供的模板函数没有返回值，并在就地立即初始化 E 类型的错误对象 [SWS_CORE_00844]。

在错误处理和异常安全性方面，该操作被归类为有条件异常安全（conditionally exception safe）[SWS_CORE_00844]。通过说明符 noexcept(std::is_nothrow_constructible<E, Args...>::value) 保证无异常，前提是类型 E 可以使用类型 Args... 进行构造而不会产生 Exception [SWS_CORE_00844]。

关于并发性和边界条件，该成员函数被定义为非线程安全（not thread-safe）[SWS_CORE_00844]。如果多个线程竞态访问同一 Result 实例，推测需要外部同步机制以防止未协调的状态更改。 问题 Q-ffcb8ced860f6080 (未决)

在模块 core 的整体上下文中，[SWS_CORE_00844] 直接对应于同一函数的其他变体：对于主模板 ara::core::Result，在 [SWS_CORE_00744] 下指定了相同的行为，而对于引用类型 ara::core::Result<T&, E>，需求 [SWS_CORE_00916] 规定了相同的签名和语义。

用法与调用上下文

模板成员函数 EmplaceValue 属于模块 core，并通过头文件 #include "ara/core/result.h" 针对特化 ara::core::Result<void, E> 进行定义 [SWS_CORE_00843]。其目的在于根据传入的实参直接在现有实例中生成或设置新值 args [SWS_CORE_00843]。执行过程是同步的，且不返回任何返回值（void）[SWS_CORE_00843]。由于特化的值类型为 void，该调用会将实例转换为成功状态；作为一种理解，接收 args 大概主要是为了与主模板类保持泛型签名兼容性。 问题 Q-b53ca5908f2517fb (未决)

错误处理与异常安全性

该函数被声明为 noexcept，并具有规范 exception safe [SWS_CORE_00843]。它不返回错误码，也不抛出异常。如果 Result 对象此前处于错误状态，该状态将被写入的值覆盖。

并发性与限制

该操作被标明为非线程安全（not thread-safe）[SWS_CORE_00843]。在对同一 ara::core::Result 实例进行潜在并发读或写访问时，调用方强制需要进行外部同步。

与相关规范的相互作用

相比于 [SWS_CORE_00743] 中针对 ara::core::Result<T, E> 的 EmplaceValue 通用实现（该实现仅为有条件异常安全，且其 noexcept 特性取决于 std::is_nothrow_constructible<T, Args...>::value），根据 [SWS_CORE_00843] 的 void 特化提供了无限制的 noexcept 和异常安全性保证。

类特化 ara::core::Result<void, E> 的成员函数 Err() const & 允许同步查询可能包含的错误状态（[SWS_CORE_00868]）。它通过头文件 ara/core/result.h 声明，且在调用时不需要传入参数（[SWS_CORE_00868]）。该函数返回一个 ara::core::Optional<E> 作为返回值，若对象表示一个错误，则该返回值包含具体的错误值（[SWS_CORE_00868]）。

在并发性和边界条件方面，该操作被显式指定为 thread-safe（[SWS_CORE_00868]）。关于异常安全性，该方法被视为有条件异常安全（conditionally exception safe）（[SWS_CORE_00868]）。当且仅当满足 std::is_nothrow_constructible<Optional<E>, const E&>::value 时，noexcept 保证才会生效（[SWS_CORE_00868]）。

在接口组合中，右值重载 Err() &&（[SWS_CORE_00869]）在 ara::core::Result<void, E> 内部补充了该函数。类似的左值与右值重载对也适用于主模板 ara::core::Result<T, E>（[SWS_CORE_00772]、[SWS_CORE_00773]）以及引用特化 ara::core::Result<T&, E>（[SWS_CORE_00931]、[SWS_CORE_00932]）。

特化 ara::core::Result< void, E > 的成员函数 Err() && 提取可能存在的错误并将其作为 ara::core::Optional< E > 返回 [SWS_CORE_00869]。它通过头文件 ara/core/result.h 包含 [SWS_CORE_00869]。

关于用法和语义，以下属性适用：

• 调用上下文与参数：该函数不接受任何参数，并且作为右值限定方法仅绑定到 ara::core::Result< void, E > 的右值实例 [SWS_CORE_00869]。Interpretation：通过右值语义（&&），调用时错误对象很可能会被移动到返回的 Optional 中。 问题 Q-b5a0098f77686ca6 (未决)
• 返回值：生成的 ara::core::Optional< E > 包含错误值（如果对象中存在该错误值）[SWS_CORE_00869]。
• 异常安全性与并发性：该操作被归类为有条件异常安全（conditionally exception safe），并在满足 std::is_nothrow_constructible< Optional< E >, E && >::value 时不抛出异常 [SWS_CORE_00869]。此外，该函数被指定为线程安全（thread-safe）[SWS_CORE_00869]。

在接口的相互协作中，该右值变体补充了同一特化 [SWS_CORE_00868] 的相应左值重载 Err() const &。主模板 ara::core::Result（[SWS_CORE_00772]、[SWS_CORE_00773]）以及引用特化 ara::core::Result< T &, E >（[SWS_CORE_00931]、[SWS_CORE_00932]）也存在类似的左值与右值方法对。

特化 ara::core::Result<void, E> 的模板成员函数 ErrorOr 用于根据 [SWS_CORE_00863] 同步检索所包含的错误或备选默认错误。如果该实例已包含类型为 E 的错误值，则将其原样返回；否则，传入的参数 defaultError 将通过 static_cast 转换为错误类型 E 并返回 [SWS_CORE_00863]。

关于错误处理和并发性，适用以下特性：

• 异常安全性：只要 E 的复制构造以及从通用引用类型 G&& 构造 E 均不抛出异常 (std::is_nothrow_copy_constructible<E>::value && std::is_nothrow_constructible<E, G&&>::value)，该调用就是有条件异常安全的（conditionally exception safe）并声明为 noexcept [SWS_CORE_00863]。
• 线程安全性：该操作被指定为线程安全（thread-safe）[SWS_CORE_00863]。由于它是常量左值引用重载 (const &)，因此对同一实例的同时读取访问应该是安全的。 问题 Q-f95402c2e79ef590 (未决)
• 头文件：该函数通过头文件 #include "ara/core/result.h" 提供 [SWS_CORE_00863]。

在 ara::core::Result 内部的交互中，[SWS_CORE_00863] 构成了针对 void 结果的右值重载 [SWS_CORE_00864] 的左值常量对等项，在右值重载中错误通过 std::move 传递。对于主类模板 Result<T, E>（通过 [SWS_CORE_00763] 和 [SWS_CORE_00764]）以及引用类型 Result<T &, E>（通过 [SWS_CORE_00935] 和 [SWS_CORE_00936]），存在等价的重载。

用法与语义

特化 ara::core::Result<void, E> 的成员函数 ErrorOr 用于从右值实例（[SWS_CORE_00864]）中同步读取错误。调用该方法时，若 Result 对象包含错误，则会通过 std::move 将该错误移动至类型为 E 的返回值中。相反，如果存在成功结果，则传入的参数 defaultError 会通过 static_cast 转换为 E 并返回（[SWS_CORE_00864]）。

错误处理与异常安全性

该函数本身不会触发 DET 或 DEM 等传统 AUTOSAR 错误消息。在异常处理方面，ErrorOr 属于有条件异常安全（conditionally exception safe）。只要错误类型 E 可以无异常移动（std::is_nothrow_move_constructible<E>::value），且 E 可以从默认错误的通用引用类型 G&& 无异常构造（[SWS_CORE_00864]），该函数就通过 noexcept 表达式得到保障。

并发性与交互

该方法被指定为 thread-safe（[SWS_CORE_00864]）。由于采用了右值引用限定符（rvalue-ref-qualifier）&&，调用该方法的前提是将 Result 对象作为右值传递。

在模块 core 中，该右值变体与其他形式组合存在：

• 对于 ara::core::Result<void, E>，存在作为左值对应项的 const & 重载 [SWS_CORE_00863]，它会复制错误而不是移动错误。
• 对于值结果和引用结果，特化 ara::core::Result<T, E>（[SWS_CORE_00763]、[SWS_CORE_00764]）以及 ara::core::Result<T&, E>（[SWS_CORE_00935]、[SWS_CORE_00936]）为复制语义和移动语义提供了相同的双重签名结构。

使用

静态函数 FromError 是模板特化 ara::core::Result<void, E> 的组成部分，并通过头文件 ara/core/result.h 包含 [SWS_CORE_00834]。它作为同步工厂方法，用于从已存在的错误对象构造新的 Result [SWS_CORE_00834]。

• 参数：输入参数 e 接收作为常量左值引用（const E &）的错误 [SWS_CORE_00834]。
• 返回值：返回 Result 的实例，其中包含传入的错误 e [SWS_CORE_00834]。

错误处理与异常安全性

该规范未定义特定错误码，也未规定向 DET 或 DEM 发送报告 [SWS_CORE_00834]。该函数具有条件异常安全性（conditionally exception safe）：当且仅当错误类型 E 可无抛异常复制（std::is_nothrow_copy_constructible<E>::value）时，它才保证为 noexcept [SWS_CORE_00834]。

并发性

该调用被归类为 thread-safe [SWS_CORE_00834]。解释：线程安全性可能涉及对象创建的内部流程，但前提是在复制过程中引用的源对象 e 不会被其他线程修改。 问题 Q-639cbb5cf8a64a0c (未决)

相互作用

在特化 ara::core::Result<void, E> 内，用于右值引用（E&&）[SWS_CORE_00835] 以及通过参数包进行就地构造 [SWS_CORE_00836] 的重载对该函数进行了补充；与此不同的是，这两者均被声明为 not thread-safe。针对未完全特化类型 ara::core::Result（[SWS_CORE_00734]、[SWS_CORE_00735]、[SWS_CORE_00736]）和引用特化（[SWS_CORE_00905]、[SWS_CORE_00906]、[SWS_CORE_00907]）也存在对应的重载。

使用

静态函数 FromError 从作为右值传递的错误对象 e 同步创建 ara::core::Result<void, E> 的新实例 [SWS_CORE_00835]。该函数在头文件 ara/core/result.h 中定义，并返回包含错误值的 ara::core::Result [SWS_CORE_00835]。

错误处理与并发

该操作提供条件异常安全性（conditionally exception safe）：如果错误类型 E 具有不抛出异常的移动构造函数（std::is_nothrow_move_constructible<E>::value），则它通过 noexcept 保证无异常 [SWS_CORE_00835]。该函数被归类为非线程安全（not thread-safe）[SWS_CORE_00835]。解释：这可能意味着必须保护要移动的右值对象免受来自其他线程的并发访问。 问题 Q-be29e8c3a7412b7a (未决)

相互作用

在特化 ara::core::Result<void, E> 内，此重载构成了左值复制函数 [SWS_CORE_00834] 和通过参数包就地构造 [SWS_CORE_00836] 的移动对应项。模块 core 中对于值类型 [SWS_CORE_00735] 和引用 [SWS_CORE_00906] 也存在类似的右值重载，并分别补充了左值变体（[SWS_CORE_00734]、[SWS_CORE_00905]）和就地变体（[SWS_CORE_00736]、[SWS_CORE_00907]）。

根据 [SWS_CORE_00836] 的静态模板函数 FromError 用于在特化 ara::core::Result<void, E> 内创建一个包含错误状态的 Result 对象，其类型为 E 的错误实例直接根据传入的参数 args 就地（“in-place”）构造。仅当 std::is_constructible<E, Args&&...>::value 为真，解包参数包的第一个类型既不匹配 E 也不是 Result 的特化时，该函数才参与重载决议 [SWS_CORE_00836]。

关于异常安全性，该函数被指定为具有条件异常安全性（“conditionally exception safe”）：它被声明为 noexcept(std::is_nothrow_constructible<E, Args...>::value) [SWS_CORE_00836]。关于并发性，该调用被视为非线程安全（“not thread-safe”）[SWS_CORE_00836]。

在与类中其他函数配合使用时，此方法补充了通过已存在的左值（[SWS_CORE_00834]）或右值错误对象（[SWS_CORE_00835]）进行创建的重载。解释：关于 E 和 Result 的 SFINAE 限制可能旨在确保在传递已创建的错误或 Result 实例时优先选择各自的复制或移动运算符，并避免歧义。 问题 Q-2796f954bcaececa (未决)泛型类型 Result（[SWS_CORE_00736]）以及 Result<T&, E> 中的引用类型（[SWS_CORE_00907]）也存在类似的就地工厂函数。

使用

静态成员函数 FromValue() 用于为模板特化 ara::core::Result<void, E> 生成一个成功的 ara::core::Result 对象 [SWS_CORE_00831]。由于结果类型 void 不传递有效数据，该函数不接受任何传入参数。该调用同步执行，并返回一个表示 void 值的 Result [SWS_CORE_00831]。其声明位于头文件 ara/core/result.h [SWS_CORE_00831] 中。

错误处理与异常安全性

该函数带有规范 noexcept，并被归类为完全异常安全（exception safe）[SWS_CORE_00831]。由于 FromValue() 按定义表示成功操作，因此它不会产生错误状态，也不返回错误码。针对此调用，未定义通过 DET 或 DEM 发送的特定错误消息。

并发性

根据规范，该函数被归类为线程安全（thread-safe）[SWS_CORE_00831]。无需额外的同步措施即可从多个线程中并行调用它。

相互作用

该无参签名专门用于 Result<void, E> [SWS_CORE_00831]。它与生成值的重载区分开来：

• 对于值类型 Result<T, E>，存在针对左值 [SWS_CORE_00731]、右值 [SWS_CORE_00732] 以及就地构造 [SWS_CORE_00733] 的变体。
• 对于引用类型 Result<T&, E>，FromValue 绑定到左值引用 [SWS_CORE_00904]。

模板类 ara::core::Result<void, E> 的成员函数 Resolve 用于泛型编程上下文中的错误处理 [SWS_CORE_00867]。当 Result 的实例包含常规值时，调用不执行任何操作 [SWS_CORE_00867]。如果实例转而包含错误，则会调用作为参数传入的 Callable f [SWS_CORE_00867]。

传入的 Callable f 必须与函数签名 void f(const E&) 兼容，其中 E 表示错误类型 [SWS_CORE_00867]。函数 Resolve 本身不提供返回值（void）[SWS_CORE_00867]。关于执行安全性，该函数被指定为非异常安全（“not exception safe”）[SWS_CORE_00867]。其线程安全性是有条件的，直接取决于传入的 Callable f 的线程安全性 [SWS_CORE_00867]。

在整个系统中，此特化不同于 ara::core::Result<T, E> [SWS_CORE_00767] 中针对值类型以及 ara::core::Result<T&, E> [SWS_CORE_00939]、[SWS_CORE_00940] 中针对引用类型的常规 Resolve 函数：那些变体返回所包含的值或 Callable 调用的结果，而无返回值的 void 重载仅作为用于统一接口调用的泛型构建块而存在 [SWS_CORE_00867]。

成员函数 Swap 将当前实例的内容与传入的引用 other 同步交换 [SWS_CORE_00845]。它属于来自头文件 ara/core/result.h 的特化 ara::core::Result<void, E> 的作用域，并且没有返回值 [SWS_CORE_00845]。

在错误处理方面，该操作被归类为有条件异常安全（conditionally exception safe）[SWS_CORE_00845]。断言 noexcept 恰好在错误类型 E 既可 nothrow 移动构造（std::is_nothrow_move_constructible<E>::value）又可 nothrow 移动赋值（std::is_nothrow_move_assignable<E>::value）时生效 [SWS_CORE_00845]。针对该调用，未规定特定错误码或向 DET 或 DEM 发送通知 [SWS_CORE_00845]。

关于并发性，Swap 被明确指定为非线程安全（not thread-safe）[SWS_CORE_00845]。因此，在没有外部同步的情况下并发访问相同实例可能会导致数据竞争。 问题 Q-a8d4f130648765df (未决)

在 ara::core 内部的协作中，该方法为非成员模板函数 ara::core::swap 奠定了基础，后者的 noexcept 条件直接耦合到该成员函数 [SWS_CORE_00796]。类似的交换操作存在于泛型类型 ara::core::Result<T, E> [SWS_CORE_00745]、引用特化 ara::core::Result<T&, E> [SWS_CORE_00917] 以及 Promise 对象 [SWS_CORE_00352] [SWS_CORE_06352] 中。

特化 ara::core::Result<void, E> 的成员函数 ValueOr 主要用于简化泛型编程模式，在执行时不执行任何操作（[SWS_CORE_00861]）。该方法通过头文件 ara/core/result.h 提供，同步接收一个转发类型 U&& 的参数 defaultValue，且不返回任何返回值（void）（[SWS_CORE_00861]）。

在并发性和异常行为方面，该成员函数被指定为线程安全（thread-safe），并采用说明符语法 noexcept 进行声明，从而保证了完全的异常安全性（[SWS_CORE_00861]）。由于不进行错误状态检查且不发生任何动作，因此既不存在错误码，也不存在向 DET 或 DEM 的报告。

在与 Result 的其余形式协作中，该函数补充了 ValueOr 基于值的重载（[SWS_CORE_00761]、[SWS_CORE_00762]）和基于引用的重载（[SWS_CORE_00933]、[SWS_CORE_00934]）。当设置了值时，那些函数会返回该值，否则会转换并交付传入的替代值，而该变体则代表了不带值返回的操作的中立对应项（[SWS_CORE_00861]）。理解：传入的值 defaultValue 在实现中大概会被未加使用地丢弃。 问题 Q-6097af779219e859 (未决)这使得开发人员能够编写泛型模板算法，而无需针对 Result<void, E> 进行特殊分支处理。

模板特化 ara::core::Result<void, E> 的成员函数 ValueOrThrow 用于同步检查操作结果 [SWS_CORE_00866]。由于值类型为 void，因此该函数不带参数且不返回任何值 [SWS_CORE_00866]。该声明通过头文件 ara/core/result.h 提供 [SWS_CORE_00866]。

在成功时，该方法正常返回；如果存在错误状态，则抛出与所包含错误关联的异常类型的异常（noexcept(false)）[SWS_CORE_00866]。关于异常安全性，该操作被指定为 not exception safe [SWS_CORE_00866]。

对于调用上下文和并发性，适用以下约束条件：

• 该函数被归类为 thread-safe [SWS_CORE_00866]。
• 如果编译器工具链中禁用了 C++ 异常，则该函数不参与重载解析 [SWS_CORE_00866]。

在与模块 core 的交互中，此 void 特化补充了 ara::core::Result<T, E> 的通用重载——这些重载返回所包含值的引用（[SWS_CORE_00766]、[SWS_CORE_00769]、[SWS_CORE_00778]）——以及引用类型的特化 ara::core::Result<T&, E>（[SWS_CORE_00938]、[SWS_CORE_00949]）。

特化 ara::core::Result<void, E> 的模板成员函数 CheckError 同步检查当前实例是否包含特定错误 [SWS_CORE_00865]。为此，传入的实参 error 通过 static_cast 转换为错误类型 E，并与内部错误状态 Error() 的返回值进行比较 [SWS_CORE_00865]。调用通过头文件 #include "ara/core/result.h" [SWS_CORE_00865] 进行。

以下属性适用于使用和调用上下文：

• 参数和返回值：类型为 G&& 的通用引用参数 error 接收要检查的错误 [SWS_CORE_00865]。如果实例包含与 error 等价的错误，则该函数返回 true，否则返回 false [SWS_CORE_00865]。
• 并发性和异常安全性：该操作被声明为 const noexcept，被视为异常安全（exception safe），并且可以完全线程安全（thread-safe）地调用 [SWS_CORE_00865]。

在与模块 core 的协作中，存在 CheckError 的类似重载：主模板类 ara::core::Result 同样以线程安全且异常安全的方式通过 noexcept 提供相同的签名 [SWS_CORE_00765]。相比之下，引用特化 ara::core::Result<T&, E> 虽然具有相同的比较机制并且是线程安全的，但明确不带 noexcept，被指定为非异常安全（not exception safe）[SWS_CORE_00937]。