类 ara::core::MemoryResource

类 ara::core::MemoryResource 的成员函数 allocate 用于分配具有指定字节大小和对齐方式的线性内存 [SWS_CORE_06503]。它参考了 C++ 标准接口 [mem.res]，但在异常处理方面存在显著差异 [SWS_CORE_06503]。

用法与参数

该调用通过参数 bytes（要请求的字节数）和可选的 alignment（默认设置为 alignof(std::max_align_t)）同步进行 [SWS_CORE_06503]。返回值带有属性 [[nodiscard]]，因此调用者必须强制评估返回的 void* 类型指针 [SWS_CORE_06503]。

错误处理与异常安全性

与标准行为相反，该函数在出错时不会抛出类型为 std::bad_alloc 的异常，而是被声明为 noexcept 且被视为具有异常安全性（exception safe）[SWS_CORE_06503]：

• 成功：根据 [mem.res] [SWS_CORE_06503] 返回指向已分配内存区域的有效指针。
• 失败：如果内存分配失败，该函数将返回 nullptr 作为替代 [SWS_CORE_06503]。因此，调用者必须始终显式检查结果是否为空指针。

并发性与交互

该函数被指定为非线程安全（not thread-safe）[SWS_CORE_06503]。因此，在 MemoryResource 的同一实例上进行并发调用需要由调用者进行外部同步。这种容错且无异常的模式在 AUTOSAR Adaptive 的其他内存组件中也始终如一：例如 ara::core::PolymorphicAllocator::allocate 采用相同的无异常方法 [SWS_CORE_06547]，特殊实例 NullMemoryResource 也通过返回 nullptr 来指示内存耗尽 [SWS_CORE_06563]。

类 ara::core::MemoryResource 的函数 deallocate 用于根据 [SWS_CORE_06504] 释放内存区域。其使用原则上遵循 [mem.res] 中的标准行为，但存在特定差异。该调用通过签名 void deallocate(void *p, std::size_t bytes, std::size_t alignment=max_align) noexcept 同步进行，其中传递了指向待释放块的指针 p、大小 bytes 以及可选的对齐方式 [SWS_CORE_06504]。

关于错误行为，该函数被指定为 noexcept 且具备异常安全性（exception safe）[SWS_CORE_06504]。如果释放失败，错误将被静默忽略（errors will be silently ignored）[SWS_CORE_06504]。既不抛出异常，也不通过 DET 或 DEM 输出错误消息。

关于并发性，该函数被明确归类为非线程安全（not thread-safe）[SWS_CORE_06504]。因此，对同一资源实例的并发访问必须由调用者在外部进行同步。

在与分配器概念的协作中，该函数对应于来自 [SWS_CORE_06548] 的类 ara::core::PolymorphicAllocator 的类型化接口 deallocate，后者在 noexcept 和静默错误处理方面具有类似的差异。

类 ara::core::MemoryResource 的纯虚方法 do_allocate 用于分配具有指定字节大小和对齐方式的内存块 [SWS_CORE_06566]。它接受字节数（bytes）以及所需的对齐方式（alignment）作为参数。分配成功时，它会同步返回一个类型为 void * 的指向保留内存区域的指针 [SWS_CORE_06566]。

在错误处理方面，该函数特意偏离了常规 C++ 标准：它被声明为 noexcept，失败时不抛出 std::bad_alloc 异常，而是返回 nullptr [SWS_CORE_06566]。因此，调用方必须始终检查分配结果是否为空指针。

关于并发性，该方法被规范为 not thread-safe [SWS_CORE_06566]。如果派生实现未提供自身保护，则通过同一实例的并发调用需要外部同步。由于其私有可见性，用户的调用通常可能通过基类的上层接口间接进行。 问题 Q-5cbdabf121ed4550 (未决)

在内存管理的协同工作中，该方法构成了 do_deallocate 的直接对应部分，后者负责释放已分配的内存并静默忽略错误 [SWS_CORE_06567]。此外，比较函数 do_is_equal 检查两个资源实例在分配和释放方面是否彼此兼容 [SWS_CORE_06568]。

类 ara::core::MemoryResource 的纯虚成员函数 do_deallocate（在 ara/core/memory_resource.h 中声明）根据 [SWS_CORE_06567] 用于释放先前保留的内存。它接收指向内存区域的指针 p 以及其大小 bytes 和所需的对齐方式 alignment。其语义原则上符合 C++ 标准 [mem.res]，但具有两个显著的 Adaptive 专有偏差 [SWS_CORE_06567]。

首先，该函数被声明为 noexcept 并保证异常安全性（exception safe）[SWS_CORE_06567]。其次，释放期间的任何错误都会被静默忽略，从而使失败的操作既不能触发错误消息，也不能中断程序流 [SWS_CORE_06567]。

关于并发性，do_deallocate 被规范为 not thread-safe 且具有 private 可见性 [SWS_CORE_06567]。作为多态内存资源的实现细节，它大概会通过上层公共调用接口同步执行。 问题 Q-3f97e122ee7fb281 (未决)对同一资源的并发释放必须由派生类在需要时独立进行同步。

在模块 core 中，该函数与分配 do_allocate [SWS_CORE_06566] 形成对应，后者在出错时提供 nullptr 而非异常。与其他资源的比较通过方法 do_is_equal [SWS_CORE_06568] 进行，与释放操作相反，该方法被显式定义为 thread-safe。

纯虚成员函数 do_is_equal 在头文件 #include "ara/core/memory_resource.h" 中于 ara::core::MemoryResource 的命名空间内声明（[SWS_CORE_06568]）。根据 C++ 规范 [mem.res]，它用于同步比较当前内存资源与传入的引用 const MemoryResource &other 是否相等（[SWS_CORE_06568]）。由于该方法被定义为具有私有可见性（private），其调用作为实现细节大概会通过类 ara::core::MemoryResource 的公共接口多态地处理（[SWS_CORE_06568]）。 问题 Q-cbe02f652b43d6ec (未决)

关于执行和错误安全性，do_is_equal 被声明为 exception safe 以及 noexcept（[SWS_CORE_06568]）。因此，它在任何情况下均不得抛出异常，并直接通过布尔返回值指示结果（[SWS_CORE_06568]）。此外，该方法被规范为 thread-safe，因此派生实现即使在并发比较时也必须保证线程安全性（[SWS_CORE_06568]）。

在与内存管理的其他虚方法协同工作中，do_is_equal 完善了派生资源类定制点的三元组（[SWS_CORE_06568]）。内存分配 do_allocate 在出错时提供 nullptr（[SWS_CORE_06566]），而 do_deallocate 静默忽略错误（[SWS_CORE_06567]），与 do_is_equal 不同的是，这两个函数都被指定为非线程安全（not thread-safe）（[SWS_CORE_06566]、[SWS_CORE_06567]）。这强调了对 do_is_equal 确保并发资源安全比较的特殊要求（[SWS_CORE_06568]）。