类 ara::core::PolymorphicAllocator

类 ara::core::PolymorphicAllocator 的成员函数 allocate 用于为 n 个类型为 Tp 的对象同步请求未初始化的内存 [SWS_CORE_06547]。它参考了 [mem.poly.allocator.class] 的功能，但通过声明为 noexcept 和属性 [[nodiscard]] 特意偏离了 C++ 标准 [SWS_CORE_06547]。

在出错时，allocate 不会抛出诸如 std::bad_alloc 之类的异常，而是返回一个 nullptr [SWS_CORE_06547]。由于 [[nodiscard]] 的存在，调用者在必须显式接收返回值并在使用该内存区域之前检查 nullptr [SWS_CORE_06547]。关于并发性，该函数被归类为 Exception-Safe，但被视为非线程安全（not thread-safe）[SWS_CORE_06547]。解释：因此，从不同线程通过同一分配器进行同步调用可能需要调用者进行外部保护。 问题 Q-b00116faadf930fe (未决)

这种无异常的容错行为直接对应于接口 ara::core::MemoryResource::allocate [SWS_CORE_06503]，后者同样被定义为 noexcept 并在出错时返回 nullptr。预定义的实例（如 NullMemoryResource [SWS_CORE_06563]）也采用该原则，并在分配调用时一贯返回 nullptr。在更高层面上，该机制与诸如 ara::core::Vector [SWS_CORE_01315] 之类的容器进行交互，其赋值运算符根据此类分配特性进行了调整。

使用

类 ara::core::PolymorphicAllocator 的成员函数 allocate_bytes 以指定的对齐方式 alignment 保留大小为 nbytes 的原始内存 [SWS_CORE_06549]。对齐方式的默认值对应于 alignof(std::max_align_t) [SWS_CORE_06549]。该函数通过头文件 ara/core/memory_resource.h 引入并同步执行 [SWS_CORE_06549]。

错误处理与语义

与遵循 [mem.poly.allocator.class] 的标准行为不同，该实现表现出两项偏差 [SWS_CORE_06549]：

• 该函数被声明为 noexcept 且不抛出异常 [SWS_CORE_06549]。
• 如果分配失败，函数将返回 nullptr，而不是触发异常 [SWS_CORE_06549]。

由于属性 [[nodiscard]]，调用方必须评估返回值，特别是在访问内存区域之前检查 nullptr [SWS_CORE_06549]。

并发性与限制

关于线程安全性，该方法被指定为 not thread-safe [SWS_CORE_06549]。因此，在同一实例上的并行调用推测需要外部同步 [SWS_CORE_06549]。 问题 Q-85c74d55563cae38 (未决)关于异常安全性，该操作被视为 exception safe [SWS_CORE_06549]。

使用

模板成员函数 allocate_object 是类 ara::core::PolymorphicAllocator 的组成部分，并通过头文件 #include "ara/core/memory_resource.h" 提供 [SWS_CORE_06551]。它同步为 n 个类型为 T 的对象分配内存，其中参数 n 默认设置为值 1 [SWS_CORE_06551]。编译器属性 [[nodiscard]] 强制调用方不得忽略返回的有类型指针 T*。

错误处理

规范定义了相对于标准 [mem.poly.allocator.class] 的两项显式偏差 [SWS_CORE_06551]：

• 无异常：该函数被声明为 noexcept 并被指定为异常安全（exception safe）[SWS_CORE_06551]。
• 错误时返回空指针：如果内存分配失败，不会抛出异常，而是强制返回 nullptr [SWS_CORE_06551]。

因此，调用方必须在进一步使用之前立即检查返回的指针是否为 nullptr。

并发性与限制

该操作被指定为非线程安全（not thread-safe）[SWS_CORE_06551]。并发使用同一分配器实例时，推测可能需要外部同步以避免数据竞争。此外，该函数仅保留纯内存（解释：在保留的内存中构造对象由后续机制负责）。 问题 Q-c41df2caaeb4c503 (未决)

类 ara::core::PolymorphicAllocator（[SWS_CORE_06555]）的模板函数 construct 用于在所传递的内存地址 p 处同步创建类型为 T 的对象，同时转发参数 args...。它通过头文件 ara/core/memory_resource.h 定义，且大体遵循 [mem.poly.allocator.class] 中的规定。

与 C++ 标准的一项显式偏差涉及异常处理：根据 [SWS_CORE_06555]，该函数根据 std::is_nothrow_constructible<T, Args...>::value 是否成立而被有条件地声明为 noexcept。规范据此赋予其 conditionally exception safe 属性。解读：只要 T 无法无异常构造，任何构造函数异常都可能会不受阻碍地传播给调用方，因为未定义内部错误码或单独的捕获机制。 问题 Q-ad77510f396e59ae (未决)

关于并发性和约束条件，construct 被指定为非线程安全（not thread-safe）（[SWS_CORE_06555]）。因此，在对同一分配器实例或同一内存区域进行并发访问时，调用上下文中必须进行外部同步。

依赖于类型的 noexcept 声明架构模式符合 ara::core 中的约定，该约定也用于 ara::core::Result 的构造函数等（[SWS_CORE_00725]、[SWS_CORE_00726]）。

使用

类 ara::core::PolymorphicAllocator 的成员函数 deallocate 从地址 p 开始释放先前为 n 个类型为 Tp 的对象分配的内存 [SWS_CORE_06548]。通过头文件 ara/core/memory_resource.h 进行声明 [SWS_CORE_06548]。该函数原则上遵循 [mem.poly.allocator.class] 规定的标准 C++ 分配器语义，但存在两处特定差异 [SWS_CORE_06548]。

错误处理与异常安全性

作为主要差异，该操作被声明为 noexcept 并被指定为具有异常安全性（exception safe）[SWS_CORE_06548]。如果释放内存失败，发生的错误将被静默忽略（silently ignored），因此既不会抛出异常，也不会返回显式错误代码 [SWS_CORE_06548]。

并发性与交互

关于调用上下文，deallocate 被归类为非线程安全（not thread-safe）[SWS_CORE_06548]。在内存管理概念中，该函数对应于底层基类 ara::core::MemoryResource 的方法 deallocate [SWS_CORE_06504]，针对该基类同样适用关于 noexcept 和静默错误处理的相同差异。

类 ara::core::PolymorphicAllocator 的函数 deallocate_bytes 用于根据 [SWS_CORE_06550] 释放先前分配的内存区域。它通过头文件 ara/core/memory_resource.h 提供，并原则上基于 [mem.poly.allocator.class] 中的语义。

调用以同步方式进行，并根据 [SWS_CORE_06550] 期望以下参数：

• p：指向待释放内存区域的指针（void*）。
• nbytes：待释放内存的大小（以字节为单位）（std::size_t）。
• alignment：期望的对齐方式（默认值 alignof(std::max_align_t)）。

关于错误行为，该实现表现出相对于标准的特定偏差：该函数被声明为 noexcept 并被视为异常安全（exception safe）。如果释放失败，根据 [SWS_CORE_06550]，发生的错误将被静默忽略（silently ignored）。不抛出异常，也不提供返回值。

关于并发性和限制，该函数被显式指定为非线程安全（not thread-safe）[SWS_CORE_06550]。因此，在没有外部同步的情况下对同一分配器实例进行并发访问推测会导致未定义行为。 问题 Q-33c80e3bb50ed64f (未决)

类 ara::core::PolymorphicAllocator 的模板函数 deallocate_object 用于释放先前保留的对象内存 [SWS_CORE_06552]。它参考了符合 [mem.poly.allocator.class] 的相应 C++ 标准用法，但存在特定偏差 [SWS_CORE_06552]。

关于参数和调用上下文，适用以下属性 [SWS_CORE_06552]：

• 签名：template <class T> void deallocate_object (T *p, std::size_t n=1) noexcept; [SWS_CORE_06552]。
• 头文件：该函数可通过 #include "ara/core/memory_resource.h" 获取 [SWS_CORE_06552]。
• 返回值：该操作不返回任何返回值（void）[SWS_CORE_06552]。
• 空指针行为：作为显式偏差，规范规定当传入 nullptr 时该函数生效或支持空指针（“Function is nullptr”）[SWS_CORE_06552]。

关于错误处理，该函数被声明为 noexcept 并被视为异常安全（exception safe）[SWS_CORE_06552]。如果解除分配失败，发生的错误将被静默忽略（“errors will be silently ignored”），从而不会向外传播任何异常 [SWS_CORE_06552]。

作为一项主要限制，deallocate_object被归类为非线程安全（not thread-safe）[SWS_CORE_06552]。因此，在从多个线程对同一分配器实例进行并发访问时，必须通过外部同步机制来保护调用。

根据 [SWS_CORE_06554]，类 ara::core::PolymorphicAllocator 的成员函数 delete_object 用于销毁并释放由所传递指针 p 指向的 T 类型对象。该函数通过头文件 #include "ara/core/memory_resource.h" 提供，并遵循 [mem.poly.allocator.class] 中的行为，但存在特定偏差。

关于调用上下文和语义，适用以下特性：

• 返回值与异常：该函数没有返回值（void）。它具有条件异常安全性（conditionally noexcept），规范为 noexcept(std::is_nothrow_destructible<T>::value)，即只要 T 的析构函数声明为不抛出异常，它就不会抛出任何异常 [SWS_CORE_06554]。
• 错误处理：如果操作失败，发生的错误将被静默忽略（errors will be silently ignored）[SWS_CORE_06554]。解读：因此，调用方在发生错误时既不会收到错误消息，也不会收到错误码或异常。 问题 Q-9393b0f68a055e4b (未决)
• 线程安全性：该操作被指定为非线程安全（not thread-safe）[SWS_CORE_06554]。跨多个线程并发使用同一分配器时，同步由调用方负责。

使用

类 ara::core::PolymorphicAllocator（[SWS_CORE_06556]）的模板成员函数 destroy 用于析构指针 p 所指向的 T 类型对象。该函数在头文件 ara/core/memory_resource.h 中声明，并基本遵循 [mem.poly.allocator.class]（[SWS_CORE_06556]）中的标准化行为。该方法调用不返回任何值，并在调用线程的上下文中同步执行。解读：此处应当假定 p 指向一个先前已实例化的有效对象。 问题 Q-a4faf7034eb683dd (未决)

错误处理与异常安全性

关于错误处理，该函数被归类为有条件异常安全（conditionally exception safe）（[SWS_CORE_06556]）。作为与标准要求 [mem.poly.allocator.class] 的特定偏差，destroy 被有条件地声明为 noexcept(std::is_nothrow_destructible<T>::value)（[SWS_CORE_06556]）。只要所传递类型 T 的析构函数不抛出异常，无异常性便适用于整个调用；否则，析构函数产生的异常可能会逃逸。

并发性与限制

关于并发行为，destroy 被指定为非线程安全（not thread-safe）（[SWS_CORE_06556]）。当多个线程同时访问 ara::core::PolymorphicAllocator 的同一实例或要销毁的对象时，必须建立适当的外部同步机制。

类 ara::core::PolymorphicAllocator（定义于 #include "ara/core/memory_resource.h" 中）的模板成员函数 new_object 同步分配内存，并使用传入的构造函数参数 ctor_args 构造类型为 T 的对象 [SWS_CORE_06553]。

使用受以下规定以及与标准 [mem.poly.allocator.class] 的偏差约束 [SWS_CORE_06553]：

• 调用与返回值：对象创建成功后，将返回指向新实例的有类型指针 T*。属性 [[nodiscard]] 强制调用方评估该返回值。
• 错误处理：与 [mem.poly.allocator.class] 不同，在失败情况下不会抛出异常，而是返回 nullptr。因此，调用方在访问之前必须严格检查生成的指针是否为 nullptr。
• 异常安全性：该函数被指定为有条件异常安全（conditionally exception safe）。当且仅当对象创建本身保证不抛出异常时（noexcept(std::is_nothrow_constructible<T, CtorArgs...>::value)），它才是 noexcept。
• 并发性：该函数被声明为非线程安全（not thread-safe）。解读：当并发访问 ara::core::PolymorphicAllocator 的同一实例时，调用方应当负责适当的外部同步。 问题 Q-3d0ecfe34187c91e (未决)

方法 resource 是来自头文件 #include "ara/core/memory_resource.h" 的类 ara::core::PolymorphicAllocator 的常量成员函数 [SWS_CORE_06557]。根据对 [mem.poly.allocator.class] 的规范引用，它用于同步检索关联的内存资源 [SWS_CORE_06557]。

使用与签名

函数签名是 MemoryResource * resource () const noexcept; [SWS_CORE_06557]。该调用无参数且在 ara::core::PolymorphicAllocator 的实例上同步执行。作为返回值，该函数提供一个类型为 MemoryResource* 的指针 [SWS_CORE_06557]。解读：返回的指针应当直接指向分配器用于内存操作的具体内存资源。 问题 Q-392683a38a4e490b (未决)

错误处理与并发

• 异常安全性：该函数被声明为 noexcept 并被归类为 exception safe [SWS_CORE_06557]。它不抛出异常，并且未定义特定的错误码。
• 线程安全性：规范明确将该方法指定为 thread-safe [SWS_CORE_06557]。通过限定为 const，跨多个线程的并发读取访问是安全的。

相互作用

在模块 core 中，resource 提供了用于查询由 ara::core::PolymorphicAllocator 封装的 MemoryResource 并调用其操作的接口 [SWS_CORE_06557]。

使用

成员函数 select_on_container_copy_construction 属于类 ara::core::PolymorphicAllocator 的作用域，并通过头文件 #include "ara/core/memory_resource.h" 声明（[SWS_CORE_06573]）。它被同步调用，以便在容器的复制构造过程中创建 PolymorphicAllocator 的新实例（[SWS_CORE_06573]）。功能行为遵循规范 [mem.poly.allocator.class]（[SWS_CORE_06573]）。解读：生成的分配器应当是默认构造的，因此会使用默认内存资源，而不是强制复制源容器的内存资源。 问题 Q-134ed967dc22e133 (未决)

错误处理与异常安全性

与通用 C++ 规范的核心偏差在于，该函数在 AUTOSAR 中被显式声明为 noexcept（[SWS_CORE_06573]）。其执行被定义为异常安全（exception safe）（[SWS_CORE_06573]）。该接口未设置用于指示错误的特定错误码、返回值，亦未设置发送至 DET 或 DEM 的消息，因为调用保证无差错终止。

并发性与限制

根据规范，该函数被归类为 not thread-safe（[SWS_CORE_06573]）。这意味着在没有外部同步的情况下，从多个线程对同一 PolymorphicAllocator 实例的同时调用可能会导致数据争用。在并发环境中复制容器之前，用户必须保护对分配器对象的访问。