类 ara::core::Map

[SWS_CORE_01400]

template <typename Key, typename T, typename Compare = std::less<Key>, typename Allocator = {<fq-allocator>}> class Map {...};

Implementation of std::pmr::map container from [map]

Header-Datei	#include "ara/core/map.h"
Forwarding-Header	#include "ara/core/core_fwd.h"
Scope	namespace ara::core

用户指南人工智能生成

用于在可配置分配器支持下有序管理唯一的键值对。

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： ce48c351c6cf 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

用于在可配置分配器支持下有序管理唯一的键值对。

关联键值容器 ara::core::Map 实现了 std::pmr::map，并在使用多态分配器的情况下根据唯一键管理有序条目（[SWS_CORE_01404]）。应用程序使用该容器结构化地插入、搜索和移除数据对，并通过移动语义高效转移节点。作为重要特性，通过 at 进行的索引访问在缺少键时会触发 IsoStdOutOfRangeViolation 而非标准异常（[SWS_CORE_01456]）。虽然状态查询是异常安全的，但插入时的动态内存分配需要针对资源不足采取相应预防措施。

上下文

模板类 ara::core::Map 提供了一个有序的关联键值容器，其符合 C++ 标准中 std::pmr::map 的语义。类型为 key_type（[SWS_CORE_01402]）的键是唯一的，并基于类型为 key_compare（[SWS_CORE_01405]）的谓词进行排序。数据对作为 value_type 以 std::pair<const Key, T> 的形式进行管理（[SWS_CORE_01404]）。主要的交互伙伴是 Adaptive Platform 的应用软件组件，该组件可通过可配置的 allocator_type（[SWS_CORE_01406]）有针对性地集成自定义或多态内存分配器。

生命周期

ara::core::Map 的实例化可以通过默认构造函数（[SWS_CORE_01428]）、指定分配器（[SWS_CORE_01431]）或使用比较对象（[SWS_CORE_01429]）来进行。此外，还提供针对迭代器范围（[SWS_CORE_01430]、[SWS_CORE_01435]）以及初始化列表（[SWS_CORE_01434]、[SWS_CORE_01436]）的构造函数。复制构造函数（[SWS_CORE_01424]）和复制赋值运算符（[SWS_CORE_01425]）指定为 default，但通过分配器特定的重载进行了补充（[SWS_CORE_01432]）。

为了高效传递资源，存在移动构造函数（[SWS_CORE_01426]、[SWS_CORE_01433]）。如果满足 std::allocator_traits<Allocator>::is_always_equal::value 和 std::is_nothrow_move_assignable<Compare>::value，移动赋值运算符（[SWS_CORE_01427]）提供有条件的异常安全性。通过析构函数（[SWS_CORE_01437]）销毁容器时，所包含的全部节点都会被释放。通过 swap（[SWS_CORE_01484]）交换两个实例时，使用 AUTOSAR 谓词 ara::core::is_nothrow_swappable 进行保护，而非标准库。

使用路径

常规使用包括条目的插入、查找、读取和清理：

插入与更新：可以利用 emplace（[SWS_CORE_01458]）或 try_emplace（[SWS_CORE_01472]、[SWS_CORE_01473]）构造新数据对，而无需不必要的临时对象。此外，insert（[SWS_CORE_01460]）和 insert_or_assign（[SWS_CORE_01476]）允许添加或覆盖。下标运算符 operator[]（[SWS_CORE_01454]、[SWS_CORE_01455]）隐式创建缺失的条目。
搜索与范围查询：键的存在性通过 contains（[SWS_CORE_01510]）或 count（[SWS_CORE_01494]）进行检查。特定元素的查找通过 find（[SWS_CORE_01490]）进行，而 lower_bound（[SWS_CORE_01498]）和 equal_range（[SWS_CORE_01506]）获取子范围。针对所有元素的迭代使用 begin（[SWS_CORE_01440]）和 end（[SWS_CORE_01442]）。
移除与重组：条目通过 erase（[SWS_CORE_01480]、[SWS_CORE_01482]）移除，或通过 clear（[SWS_CORE_01485]）完全清除。高级操作允许通过 extract（[SWS_CORE_01470]）抽取单个节点，或通过 merge（[SWS_CORE_01486]）合并整个容器。

时序图：ara::core::Map 中从插入、查找到清除的容器操作典型流程。来源：[SWS_CORE_01472]、[SWS_CORE_01490]、[SWS_CORE_01456]、[SWS_CORE_01482]。

错误场景

相比 ISO C++ 标准，核心差异涉及访问方法 at（[SWS_CORE_01456]、[SWS_CORE_01457]）：如果在容器中未找到请求的键，实现不会抛出 std::out_of_range 异常，而是触发 IsoStdOutOfRangeViolation。尽管签名带有 noexcept，该方法仍会立即指示该违例；这大概是由于在安全相关环境中不使用传统 C++ 异常来报告错误这一全平台策略所致。问题 Q-ffaee4bddebe250a (未决)

容量查询（如 empty（[SWS_CORE_01511]）、size（[SWS_CORE_01452]）或 get_allocator（[SWS_CORE_01439]））是完全异常安全的（noexcept）。相比之下，分配和插入操作（如 insert（[SWS_CORE_01460]）、emplace（[SWS_CORE_01458]）或默认构造函数（[SWS_CORE_01428]））被归类为“非异常安全”（not exception safe），因为配置的内存耗尽可能会导致错误。

本类指南基于针对 core 模块的 AUTOSAR Adaptive Platform 规范 R25-11，并自动生成。

成员图

类图

Hohle Dreieckspfeile = Vererbung (zeigt zur Basisklasse); Klicken öffnet die jeweilige Klassenseite.

详细视图

请在大纲中选择一个条目。

此版本没有元素数据

构造函数和析构函数

Map 函数 11

≙ [map]

重载 Map 11

Map (const Map &x)=default; SWS_CORE_01424

Map (Map &&x)=default; SWS_CORE_01426

Map (); SWS_CORE_01428

explicit Map (const Compare &comp, const Allocator &=Allocator()); SWS_CORE_01429

template <class InputIterator> Map (InputIterator first, InputIterator last, const Compare &comp=Compare(), const Allocator &=Allocator());

SWS_CORE_01430

explicit Map (const Allocator &); SWS_CORE_01431

Map (const Map &, const Allocator &); SWS_CORE_01432

Map (Map &&, const Allocator &); SWS_CORE_01433

Map (std::initializer_list< value_type >, const Compare &=Compare(), const Allocator &=Allocator()); SWS_CORE_01434

template <class InputIterator> Map (InputIterator first, InputIterator last, const Allocator &a); SWS_CORE_01435

Map (std::initializer_list< value_type > il, const Allocator &a); SWS_CORE_01436

~Map 函数

≙ [map]

~Map ();

方法

at 函数 2

except for the following deviations: 1. if (x is not found in the container) IsoStdOutOfRangeViolation is raised instead of std::out_of_range ≙ std::out_of_range

重载 at 2

mapped_type & at (const key_type &x) noexcept; SWS_CORE_01456

const mapped_type & at (const key_type &x) const noexcept; SWS_CORE_01457

begin 函数 2

≙ [map]

重载 begin 2

iterator begin () noexcept; SWS_CORE_01440

const_iterator begin () const noexcept; SWS_CORE_01441

cbegin 函数

≙ [map]

const_iterator cbegin () const noexcept;

cend 函数

≙ [map]

const_iterator cend () const noexcept;

clear 函数

≙ [map]

void clear () noexcept;

contains 函数 2

≙ [map]

重载 contains 2

template <class K> bool contains (const K &x) const; SWS_CORE_01497

bool contains (const key_type &x) const; SWS_CORE_01510

count 函数 2

≙ [map]

重载 count 2

size_type count (const key_type &x) const; SWS_CORE_01494

template <class K> size_type count (const K &x) const; SWS_CORE_01495

crbegin 函数

≙ [map]

const_reverse_iterator crbegin () const noexcept;

crend 函数

≙ [map]

const_reverse_iterator crend () const noexcept;

emplace 函数

≙ [map]

template <class... Args> std::pair< iterator, bool > emplace (Args &&... args);

emplace_hint 函数

≙ [map]

template <class... Args> iterator emplace_hint (const_iterator position, Args &&... args);

empty 函数

≙ [map]

[[nodiscard]] bool empty () const noexcept;

end 函数 2

≙ [map]

重载 end 2

iterator end () noexcept; SWS_CORE_01442

const_iterator end () const noexcept; SWS_CORE_01443

equal_range 函数 4

≙ [map]

重载 equal_range 4

std::pair< iterator, iterator > equal_range (const key_type &x); SWS_CORE_01506

std::pair< const_iterator, const_iterator > equal_range (const key_type &x) const; SWS_CORE_01507

template <class K> std::pair< iterator, iterator > equal_range (const K &x); SWS_CORE_01508

template <class K> std::pair< const_iterator, const_iterator > equal_range (const K &x) const; SWS_CORE_01509

erase 函数 4

≙ [map]

重载 erase 4

iterator erase (iterator position); SWS_CORE_01480

iterator erase (const_iterator position); SWS_CORE_01481

size_type erase (const key_type &x); SWS_CORE_01482

iterator erase (const_iterator first, const_iterator last); SWS_CORE_01483

extract 函数 2

≙ [map]

重载 extract 2

node_type extract (const_iterator position); SWS_CORE_01470

node_type extract (const key_type &x); SWS_CORE_01471

find 函数 4

≙ [map]

重载 find 4

iterator find (const key_type &x); SWS_CORE_01490

const_iterator find (const key_type &x) const; SWS_CORE_01491

template <class K> iterator find (const K &x); SWS_CORE_01492

template <class K> const_iterator find (const K &x) const; SWS_CORE_01493

get_allocator 函数

≙ [map]

allocator_type get_allocator () const noexcept;

insert 函数 10

≙ [map]

重载 insert 10

std::pair< iterator, bool > insert (const value_type &x); SWS_CORE_01460

std::pair< iterator, bool > insert (value_type &&x); SWS_CORE_01461

template <class P> std::pair< iterator, bool > insert (P &&x); SWS_CORE_01462

iterator insert (const_iterator position, const value_type &x); SWS_CORE_01463

iterator insert (const_iterator position, value_type &&x); SWS_CORE_01464

template <class P> iterator insert (const_iterator position, P &&); SWS_CORE_01465

template <class InputIterator> void insert (InputIterator first, InputIterator last); SWS_CORE_01466

void insert (std::initializer_list< value_type >); SWS_CORE_01467

insert_return_type insert (node_type &&nh); SWS_CORE_01468

iterator insert (const_iterator hint, node_type &&nh); SWS_CORE_01469

insert_or_assign 函数 4

≙ [map]

重载 insert_or_assign 4

template <class M> std::pair< iterator, bool > insert_or_assign (const key_type &k, M &&obj); SWS_CORE_01476

template <class M> std::pair< iterator, bool > insert_or_assign (key_type &&k, M &&obj); SWS_CORE_01477

template <class M> iterator insert_or_assign (const_iterator hint, const key_type &k, M &&obj); SWS_CORE_01478

template <class M> iterator insert_or_assign (const_iterator hint, key_type &&k, M &&obj); SWS_CORE_01479

key_comp 函数

≙ [map]

key_compare key_comp () const;

lower_bound 函数 4

≙ [map]

重载 lower_bound 4

iterator lower_bound (const key_type &x); SWS_CORE_01498

const_iterator lower_bound (const key_type &x) const; SWS_CORE_01499

template <class K> iterator lower_bound (const K &x); SWS_CORE_01500

template <class K> const_iterator lower_bound (const K &x) const; SWS_CORE_01501

max_size 函数

≙ [map]

size_type max_size () const noexcept;

merge 函数 2

≙ [map]

重载 merge 2

template <class C2> void merge (Map< Key, T, C2, Allocator > &source); SWS_CORE_01486

template <class C2> void merge (Map< Key, T, C2, Allocator > &&source); SWS_CORE_01487

rbegin 函数 2

≙ [map]

重载 rbegin 2

reverse_iterator rbegin () noexcept; SWS_CORE_01444

const_reverse_iterator rbegin () const noexcept; SWS_CORE_01445

rend 函数 2

≙ [map]

重载 rend 2

reverse_iterator rend () noexcept; SWS_CORE_01446

const_reverse_iterator rend () const noexcept; SWS_CORE_01447

size 函数

≙ [map]

size_type size () const noexcept;

swap 函数

except for the following deviations: 1. ara::core::is_nothrow_swappable shall be used in place of the std:: implementation ≙ [map]

void swap (Map &) noexcept(std::allocator_traits< Allocator >::is_ always_equal::value &&ara::core::is_nothrow_swappable< Compare >::value);

try_emplace 函数 4

≙ [map]

重载 try_emplace 4

template <class... Args> std::pair< iterator, bool > try_emplace (const key_type &k, Args &&... args); SWS_CORE_01472

template <class... Args> std::pair< iterator, bool > try_emplace (key_type &&k, Args &&... args); SWS_CORE_01473

template <class... Args> iterator try_emplace (const_iterator hint, const key_type &k, Args &&... args); SWS_CORE_01474

template <class... Args> iterator try_emplace (const_iterator hint, key_type &&k, Args &&... args); SWS_CORE_01475

upper_bound 函数 4

≙ [map]

重载 upper_bound 4

iterator upper_bound (const key_type &x); SWS_CORE_01502

const_iterator upper_bound (const key_type &x) const; SWS_CORE_01503

template <class K> iterator upper_bound (const K &x); SWS_CORE_01504

template <class K> const_iterator upper_bound (const K &x) const; SWS_CORE_01505

value_comp 函数

≙ [map]

value_compare value_comp () const;

运算符

operator= 函数 3

≙ [map]

重载 = 3

Map & operator= (const Map &x)=default; SWS_CORE_01425

Map & operator= (Map &&x) noexcept(std::allocator_traits< Allocator >::is_always_equal::value &&std::is_nothrow_move_assignable< Compare >::value);

SWS_CORE_01427

Map & operator= (std::initializer_list< value_type >); SWS_CORE_01438

operator[] 函数 2

≙ [map]

重载 [] 2

mapped_type & operator[] (const key_type &x); SWS_CORE_01454

mapped_type & operator[] (key_type &&x); SWS_CORE_01455

类型别名

allocator_type 类型别名

≙ [map]

using allocator_type = Allocator;

const_iterator 类型别名

Implementation {<const-iterator-type>} shall be an implementation-defined type ≙ [map]

using const_iterator = {<const-iterator-type>};

const_pointer 类型别名

≙ [map]

using const_pointer = typename std::allocator_ traits<Allocator>::const_pointer;

const_reference 类型别名

≙ [map]

using const_reference = const value_type&;

const_reverse_iterator 类型别名

≙ [map]

using const_reverse_iterator = std::reverse_iterator<const_iterator>;

difference_type 类型别名

Implementation {<difference-type>} shall be an implementation-defined type ≙ [map]

using difference_type = {<difference-type>};

insert_return_type 类型别名

Implementation {<insert-return-type>} shall be an implementation-defined type ≙ [map]

using insert_return_type = {<insert-return-type>}<iterator, node_ type>;

iterator 类型别名

Implementation {<iterator-type>} shall be an implementation-defined type ≙ [map]

using iterator = {<iterator-type>};

key_compare 类型别名

≙ [map]

using key_compare = Compare;

key_type 类型别名

≙ [map]

using key_type = Key;

mapped_type 类型别名

≙ [map]

using mapped_type = T;

node_type 类型别名

Implementation {<node-type>} shall be an implementation-defined type ≙ [map]

using node_type = {<node-type>};

pointer 类型别名

≙ [map]

using pointer = typename std::allocator_traits<Allocator>::pointer;

reference 类型别名

≙ [map]

using reference = value_type&;

reverse_iterator 类型别名

≙ [map]

using reverse_iterator = std::reverse_iterator<iterator>;

size_type 类型别名

Implementation {<size-type>} shall be an implementation-defined type ≙ [map]

using size_type = {<size-type>};

value_type 类型别名

≙ [map]

using value_type = std::pair<const Key, T>;

嵌套类型

value_compare 类

点击条目以查看其关系。

方法文档

函数 Map [SWS_CORE_01424] Upstream: RS_AP_00145

Map (const Map &x)=default;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01424
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01424@rel:R25-11#b38ef13b
Content hash: b38ef13b
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01424

Status: valid/unmigrated Version: rel:R25-11#8787deef Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01424@rel:R25-11#8787deef

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01426] Upstream: RS_AP_00145

Map (Map &&x)=default;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01426
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01426@rel:R25-11#9ffd58ed
Content hash: 9ffd58ed
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01426

Status: valid/unmigrated Version: rel:R25-11#689e534d Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01426@rel:R25-11#689e534d

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01428]

Map ();

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01428
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01428@rel:R25-11#702dc80c
Content hash: 702dc80c
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01428

Status: valid/unmigrated Version: rel:R25-11#43f18165 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01428@rel:R25-11#43f18165

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01429]

explicit Map (const Compare &comp, const Allocator &=Allocator());

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01429
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01429@rel:R25-11#d68cd58a
Content hash: d68cd58a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01429

Status: valid/unmigrated Version: rel:R25-11#5cbdb732 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01429@rel:R25-11#5cbdb732

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01430]

template <class InputIterator> Map (InputIterator first, InputIterator last, const Compare &comp=Compare(), const Allocator &=Allocator());

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01430
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01430@rel:R25-11#574831c8
Content hash: 574831c8
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01430

Status: valid/unmigrated Version: rel:R25-11#f9ad5986 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01430@rel:R25-11#f9ad5986

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01431]

explicit Map (const Allocator &);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01431
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01431@rel:R25-11#3bbabf55
Content hash: 3bbabf55
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01431

Status: valid/unmigrated Version: rel:R25-11#64103b3a Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01431@rel:R25-11#64103b3a

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01432]

Map (const Map &, const Allocator &);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01432
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01432@rel:R25-11#6b45a8b4
Content hash: 6b45a8b4
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01432

Status: valid/unmigrated Version: rel:R25-11#98ccac5a Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01432@rel:R25-11#98ccac5a

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01433]

Map (Map &&, const Allocator &);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01433
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01433@rel:R25-11#c1a631f7
Content hash: c1a631f7
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01433

Status: valid/unmigrated Version: rel:R25-11#238610da Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01433@rel:R25-11#238610da

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01434]

Map (std::initializer_list< value_type >, const Compare &=Compare(), const Allocator &=Allocator());

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01434
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01434@rel:R25-11#039fdf8e
Content hash: 039fdf8e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01434

Status: valid/unmigrated Version: rel:R25-11#f674e4cb Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01434@rel:R25-11#f674e4cb

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01435]

template <class InputIterator> Map (InputIterator first, InputIterator last, const Allocator &a);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01435
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01435@rel:R25-11#42b3f439
Content hash: 42b3f439
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01435

Status: valid/unmigrated Version: rel:R25-11#c6b1c14d Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01435@rel:R25-11#c6b1c14d

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Map [SWS_CORE_01436]

Map (std::initializer_list< value_type > il, const Allocator &a);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01436
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01436@rel:R25-11#ae62aa60
Content hash: ae62aa60
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01436

Status: valid/unmigrated Version: rel:R25-11#df080f37 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01436@rel:R25-11#df080f37

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 at [SWS_CORE_01456]

mapped_type & at (const key_type &x) noexcept;

As per corresponding usage in [map] except for the following deviations: 1. if (x is not found in the container) IsoStdOutOfRangeViolation is raised instead of std::out_of_range

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 91afb1d880dc 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map ([SWS_CORE_01456]) 的同步元素访问函数 at 用于受控检索现有键的值。它通过头文件 ara/core/map.h 提供。它接受一个键引用 const key_type &x 作为输入参数，并返回指向关联值的可修改引用 mapped_type & ([SWS_CORE_01456])。其语义原则上符合 std::map 的常用用法；对于常量实例，提供了单独的重载 [SWS_CORE_01457]。

错误处理与边界条件

在发生错误时，该函数特意偏离了 ISO 标准行为：如果指定的元素 x 不存在于容器中，则会触发 IsoStdOutOfRangeViolation，而不是类型为 std::out_of_range ([SWS_CORE_01456]) 的传统 C++ 异常。该签名被明确声明为 noexcept，并被归类为异常安全（exception safe）([SWS_CORE_01456])。

相互作用

通过 IsoStdOutOfRangeViolation 指示越界的概念在整个模块中得到了统一实现：

在 ara::core::Map 内部，带有 const 的读取重载具有相同的错误行为 ([SWS_CORE_01457])。
带有 IsoStdOutOfRangeViolation 的对应 at 函数存在于 ara::core::Array ([SWS_CORE_01273]、[SWS_CORE_01274])、ara::core::Vector ([SWS_CORE_01354]、[SWS_CORE_01355])、ara::core::StringView ([SWS_CORE_02133]) 以及 ara::core::BasicString ([SWS_CORE_03063]、[SWS_CORE_03064])。
在整个系统中，触发的 Violation 推测可能与诸如 AddAbortHandler ([SWS_CORE_00054]) 等中止和终止机制相关。问题 Q-9427d214713f7508 (未决)

本使用说明根据规范 R25-11 自动生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe
Verletzungen (Violations)	IsoStdOut- Description as per std::out_of_range. OfRangeViolation

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01456
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01456@rel:R25-11#c440d3cd
Content hash: c440d3cd
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01456

Status: valid/unmigrated Version: rel:R25-11#ed6d6de8 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01456@rel:R25-11#ed6d6de8

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 at [SWS_CORE_01457]

const mapped_type & at (const key_type &x) const noexcept;

As per corresponding usage in [map] except for the following deviations: 1. if (x is not found in the container) IsoStdOutOfRangeViolation is raised instead of std::out_of_range

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 63bb4d175e4a 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

符合 [SWS_CORE_01457] 的成员函数 at 允许通过头文件 #include "ara/core/map.h" 对 ara::core::Map 实例内的元素进行同步读取访问。被查找的键 x 作为 const key_type & 形式的参数传入。在查找成功时，该方法返回对相应值（const mapped_type &）的常量引用。

错误处理与异常行为

该行为基本上与 std::map::at 的标准行为一致，但存在一项特定的差异：如果在容器中未找到键 x，则根据 [SWS_CORE_01457] 将触发 IsoStdOutOfRangeViolation 而非 std::out_of_range。由于该函数被指定为 noexcept，此违规不会导致常规的 C++ 异常；推测这将通过在 [SWS_CORE_00054] 上下文中可注册的错误处理机制引发受控的进程中止。问题 Q-d7dd2c332f88ed14 (未决)

并发性与交互

作为常量方法，只要不同时对同一个 map 实例进行修改性访问，该调用就适用于并发读取访问。除了此常量接口之外，还存在返回可修改引用的非常量重载 [SWS_CORE_01456]。通过 IsoStdOutOfRangeViolation 发出范围违规信号的相同策略也在其他自适应 Core 容器中一致实现，例如 ara::core::Array（[SWS_CORE_01274]）和 ara::core::Vector（[SWS_CORE_01354]）。

本文档由人工智能管护助手基于 AUTOSAR 版本 R25-11 生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe
Verletzungen (Violations)	IsoStdOut- Description as per std::out_of_range. OfRangeViolation

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01457
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01457@rel:R25-11#51cc00e8
Content hash: 51cc00e8
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01457

Status: valid/unmigrated Version: rel:R25-11#1e757950 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01457@rel:R25-11#1e757950

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 begin [SWS_CORE_01440]

iterator begin () noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01440
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01440@rel:R25-11#70da9be2
Content hash: 70da9be2
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01440

Status: valid/unmigrated Version: rel:R25-11#3494440d Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01440@rel:R25-11#3494440d

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 begin [SWS_CORE_01441]

const_iterator begin () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01441
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01441@rel:R25-11#73b6ec9b
Content hash: 73b6ec9b
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01441

Status: valid/unmigrated Version: rel:R25-11#ec35957f Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01441@rel:R25-11#ec35957f

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 cbegin [SWS_CORE_01448]

const_iterator cbegin () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01448
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01448@rel:R25-11#cdcf33e4
Content hash: cdcf33e4
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01448

Status: valid/unmigrated Version: rel:R25-11#62c2966a Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01448@rel:R25-11#62c2966a

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 cend [SWS_CORE_01449]

const_iterator cend () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01449
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01449@rel:R25-11#75db873a
Content hash: 75db873a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01449

Status: valid/unmigrated Version: rel:R25-11#de5e885b Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01449@rel:R25-11#de5e885b

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 clear [SWS_CORE_01485]

void clear () noexcept;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： caea3d46193b 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的成员函数 clear 用于根据 [SWS_CORE_01485] 中的规范完全清空容器内容。该函数需要包含头文件 #include "ara/core/map.h"。调用语义和行为参考了标准关联 map 的 ISO C++ 标准对应用法（[map]）。

关于接口和错误处理，该函数具有以下属性：

参数和返回值：该操作具有签名 void clear () noexcept;，不接收任何参数且不返回任何返回值 [SWS_CORE_01485]。
异常安全性：该函数被显式声明为 noexcept，并被指定为 exception safe [SWS_CORE_01485]。因此在发生错误时不会抛出 C++ 异常。
同步执行：该调用在实例上同步执行；返回后容器应该为空（大小为 0）。问题 Q-1d0cf2a1a33d818e (未决)

在模块 core 中，清理标准容器遵循统一的范式。例如，具有相同签名和异常安全性的类似 clear 函数可见于符合 [SWS_CORE_01375]（ara/core/vector.h）的 ara::core::Vector 中的序列容器，以及符合 [SWS_CORE_03057]（ara/core/string.h）的 ara::core::BasicString 中的字符串。开发人员可以跨容器依赖熟悉的 C++ 标准语义和保证的无异常特性。

本使用说明基于 AUTOSAR 规范自动创建。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01485
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01485@rel:R25-11#8da5a16f
Content hash: 8da5a16f
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01485

Status: valid/unmigrated Version: rel:R25-11#3cc454b0 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01485@rel:R25-11#3cc454b0

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 contains [SWS_CORE_01497]

template <class K> bool contains (const K &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： ca604ba15c6f 来源未决问题（3）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的模板方法 contains 用于同步检查关联容器中是否存在所查找的键 [SWS_CORE_01497]。它通过头文件 #include "ara/core/map.h" 提供，并作为常量成员函数（const）在 ara::core::Map 的实例上被调用 [SWS_CORE_01497]。作为调用参数，它接受对要查找的键的常量引用 const K &x，并返回类型为 bool 的返回值 [SWS_CORE_01497]。

关于其语义，规范参考了 [map] 中的相应用法 [SWS_CORE_01497]。这应解释为沿用了 std::map::contains 的行为，即当且仅当 Map 中包含等价键时，该方法返回 true，否则返回 false。问题 Q-664d5a3d099db549 (未决)

在健壮性和错误处理方面，该函数被明确归类为 not exception safe [SWS_CORE_01497]。针对此操作不存在特定的 AUTOSAR 错误代码或发往 DET 或 DEM 的消息。调用方必须考虑到，在执行过程中可能会抛出异常并向外传播，这大概是由键比较或类型 K 的转换引发的。问题 (未决)

由于 contains 作为只读的 const 操作不会改变 Map 的状态，因此通常对同一实例的同时读取访问是不成问题的，而对容器的并行写入修改可能需要外部同步。问题 Q-f3ca0e3d094f8f0a (未决)

本段文本由 AI 生成，用于技术指导。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01497
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01497@rel:R25-11#bcfa5714
Content hash: bcfa5714
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01497

Status: valid/unmigrated Version: rel:R25-11#e0c568c8 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01497@rel:R25-11#e0c568c8

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 contains [SWS_CORE_01510]

bool contains (const key_type &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： cbd6e7493a69 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

用法与语义

成员函数 contains 属于类 ara::core::Map 的作用域，并通过头文件 ara/core/map.h 提供 [SWS_CORE_01510]。该函数具有签名 bool contains (const key_type &x) const; 并同步执行。它用于检查容器中是否存在键为 x 的元素。规范参考了 [map] 中的相应行为，这大概是指 C++ 标准容器 std::map::contains 的语义，即当键存在时返回 true，否则返回 false。问题 Q-fea394bd408bf925 (未决)

错误处理与异常安全性

contains 的行为在规范中被明确归类为 not exception safe [SWS_CORE_01510]。规范范围内未定义特定错误码、错误域以及 DET 或 DEM 报告。因此，调用方必须考虑到在查找期间不提供异常安全保证，并且必须处理发生的异常。

并发性与限制

关于线程安全性，规范在 [SWS_CORE_01510] 中未作明确说明。由于它是常量成员函数（const），容器状态不会被修改。推测：并发读取访问可能是允许的，而在同一实例上同时进行的写入修改则需要外部同步。问题 Q-7d8ce1efc81ec781 (未决)

core 模块内的协作

与模块 core 中其他检查状态的函数相比——例如 ara::core::Result 中的 HasValue [SWS_CORE_00751] 或 CheckError [SWS_CORE_00765]，它们被定义为 exception safe 和 noexcept——ara::core::Map 中的 contains 不提供 noexcept 保证，并被声明为非异常安全 [SWS_CORE_01510]。

本使用说明基于 AUTOSAR R25-11 自动生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01510
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01510@rel:R25-11#722410bd
Content hash: 722410bd
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01510

Status: valid/unmigrated Version: rel:R25-11#eee2ea6e Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01510@rel:R25-11#eee2ea6e

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 count [SWS_CORE_01494]

size_type count (const key_type &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 2a35e539f92e 来源未决问题（3）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的同步成员函数 count 根据传入的类型为 const key_type& 的键 x 确定该键在容器中出现的次数，并将结果作为 size_type 返回 [SWS_CORE_01494]。通过头文件 #include "ara/core/map.h" 进行声明 [SWS_CORE_01494]。解读：根据对 [map] 中标准行为的引用，对于唯一键，返回值应该为 0 或 1。问题 Q-a713cfc1019b40d0 (未决)

关于错误处理，根据规范，该函数被明确归类为“not exception safe”[SWS_CORE_01494]。未定义特定错误码或 DET/DEM 消息；若键比较操作抛出异常，推测该异常将直接传播给调用者。问题 (未决)

关于并发性和限制，这是一个常量操作（const）[SWS_CORE_01494]。解读：对 ara::core::Map 的同一实例进行并发读取访问应该不会发生数据竞争，而并发修改操作则必须通过外部同步来保护。问题 (未决)

在与相关需求的协同中，ara::core::Map 内存在模板重载 [SWS_CORE_01495] template <class K> size_type count (const K &x) const。这使得能够使用兼容的比较类型进行异构搜索查询 K，而无需事先强制创建类型为 key_type 的临时对象，但在异常安全性方面遵循相同的分类 [SWS_CORE_01495]。

此使用说明基于 AUTOSAR Adaptive R25-11 规范自动创建。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01494
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01494@rel:R25-11#e60a8612
Content hash: e60a8612
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01494

Status: valid/unmigrated Version: rel:R25-11#e7abcaa1 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01494@rel:R25-11#e7abcaa1

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 count [SWS_CORE_01495]

template <class K> size_type count (const K &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： d72b87981018 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的模板成员函数 count 基于键同步检查元素的存在性并确定其数量 [SWS_CORE_01495]。该函数在头文件 ara/core/map.h 中声明，并将找到的元素数量作为 size_type 返回 [SWS_CORE_01495]。根据对 [map] 中用法的指定引用，对于唯一键，若存在匹配元素，则调用返回 1，否则返回 0 [SWS_CORE_01495]。

在与重载 count(const key_type&)（[SWS_CORE_01494]）的直接协作中，该变体允许传递任意兼容的键类型 const K& [SWS_CORE_01495]。Interpretation：模板化大概设计用于异构查找操作，以便在不预先转换为临时 key_type 对象的情况下执行比较 [SWS_CORE_01495]。问题 Q-e2572768e5600da7 (未决)从而在查找查询时可以避免不必要的分配和转换开销。

关于异常安全性，该方法被声明为非异常安全（not exception safe）[SWS_CORE_01495]，类似于相关的重载 [SWS_CORE_01494]。此容器操作不存在特定的错误通道（如 DET 或 DEM）[SWS_CORE_01495]；底层比较运算符的任何异常都会穿透传递给调用者。由于该方法经过 const 限定，因此它不会修改容器 [SWS_CORE_01495]；并发读取访问是安全的，但并发写入访问需要外部同步。

本使用说明由 AI 根据 AUTOSAR Adaptive Release R25-11 规范生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01495
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01495@rel:R25-11#731d86b1
Content hash: 731d86b1
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01495

Status: valid/unmigrated Version: rel:R25-11#f1a0bc92 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01495@rel:R25-11#f1a0bc92

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 crbegin [SWS_CORE_01450]

const_reverse_iterator crbegin () const noexcept;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： e5e3687c78cf 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map 的成员函数 crbegin 通过头文件 #include "ara/core/map.h" 提供 [SWS_CORE_01450]。它不接收参数，并同步返回指向反向顺序第一个元素的 const_reverse_iterator [SWS_CORE_01450]。其功能语义遵循规范说明“As per corresponding usage in [map]”[SWS_CORE_01450]；这大概率对应于 C++ 标准中 std::map::crbegin 的语义。问题 Q-0ad5de7dada37aa8 (未决)

错误处理与异常安全性

此调用未预设特定的错误代码、DET 或 DEM 消息。根据规范，该函数使用 noexcept 声明并被归类为异常安全（“exception safe”）[SWS_CORE_01450]，因此在执行时不会发生异常。

并发性与限制

作为 const 修饰的方法，crbegin 不会修改 ara::core::Map 对象 [SWS_CORE_01450]。生成的迭代器仅允许对容器中包含的元素进行只读访问。

相互作用

迭代概念在 AUTOSAR Adaptive Core 中跨容器进行了统一协调：

ara::core::Vector [SWS_CORE_01342] 和 ara::core::BasicString [SWS_CORE_03049] 提供了功能相同的 const noexcept 方法。
对于 ara::core::Array [SWS_CORE_01260]、ara::core::Span [SWS_CORE_01978] 和 ara::core::StringView [SWS_CORE_02126]，crbegin 另外被定义为 constexpr。

本使用说明基于 AUTOSAR 规范 R25-11 自动生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01450
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01450@rel:R25-11#b47f28f6
Content hash: b47f28f6
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01450

Status: valid/unmigrated Version: rel:R25-11#91049748 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01450@rel:R25-11#91049748

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 crend [SWS_CORE_01451]

const_reverse_iterator crend () const noexcept;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： b430dfd1877e 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

模板类 ara::core::Map（[SWS_CORE_01451]）的方法 crend 可通过头文件 ara/core/map.h 获得。它同步返回一个常量反向迭代器（const_reverse_iterator），该迭代器根据 std::map 的标准行为标记反向遍历元素到达末尾。

错误处理与异常安全性

该函数具有规范 noexcept 并被归类为“exception safe”（[SWS_CORE_01451]）。该调用不抛出异常，且不需要检查错误代码。

并发性与边界条件

作为 const 修饰的方法，crend 不会修改底层 Map 实例。因此，只要该实例不同时被写入修改，跨多个线程的并发读取访问应该是安全的（解读）。问题 Q-5593deafcef41be3 (未决)

相互作用

该签名和语义契合 ara::core 库统一的迭代器接口。类似的 crend 函数存在于：

ara::core::Vector（[SWS_CORE_01343]）和 ara::core::BasicString（[SWS_CORE_03050]），各自具有相同的 const noexcept 声明，以及
容器与视图 ara::core::Array（[SWS_CORE_01261]）、ara::core::Span（[SWS_CORE_01979]）和 ara::core::StringView（[SWS_CORE_02127]），它们另外被声明为 constexpr。

本文本由 AI 基于 AUTOSAR 规范创建。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01451
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01451@rel:R25-11#7e03b70d
Content hash: 7e03b70d
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01451

Status: valid/unmigrated Version: rel:R25-11#12a4d99a Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01451@rel:R25-11#12a4d99a

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 emplace [SWS_CORE_01458]

template <class... Args> std::pair< iterator, bool > emplace (Args &&...         args);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： f4b86ded99ae 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

在 ara::core::Map 中使用 emplace

类 ara::core::Map 的模板成员函数 emplace 用于在关联容器中直接构造并插入新的键值对 [SWS_CORE_01458]。该函数在头文件 #include "ara/core/map.h" 中定义，并通过参数包 Args&&... args 接收构造函数参数 [SWS_CORE_01458]。作为结果，同步调用返回一个 std::pair<iterator, bool> [SWS_CORE_01458]。解释：对 [map] 的引用可能意味着其行为遵循 C++ 标准容器 std::map，从而使迭代器指向该元素，而布尔值指示该条目是否为新插入的。问题 Q-fa496892c1e5e15d (未决)

在错误处理和健壮性方面，规范中明确将 emplace 归类为 not exception safe [SWS_CORE_01458]。如果内存分配或对象构造失败，实现不保证容器的一致性。对于这个基础接口，未预见特定的 AUTOSAR 错误代码或向 DET 或 DEM 发送的消息。

在模块 core 中，对于其他数据类型存在类似的 emplace 操作，但它们具有不同的保证：虽然 ara::core::Vector::emplace 同样被指定为非异常安全 [SWS_CORE_01366]，但 ara::core::Optional [SWS_CORE_01119] 以及 ara::core::Variant [SWS_CORE_01661] 中的实现提供了条件异常安全性（conditionally exception safe）。

此文本由 AI 基于 AUTOSAR 规范生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01458
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01458@rel:R25-11#c8c23b9f
Content hash: c8c23b9f
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01458

Status: valid/unmigrated Version: rel:R25-11#211a56e5 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01458@rel:R25-11#211a56e5

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 emplace_hint [SWS_CORE_01459]

template <class... Args> iterator emplace_hint (const_iterator position, Args &&...        args);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 15434ae97e30 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

容器类 ara::core::Map 的模板成员函数 emplace_hint 用于使用建议的位置作为查找提示（[SWS_CORE_01459]）来插入新元素。它通过头文件 ara/core/map.h 提供，并接受迭代器 position 以及用于转发的参数包 args（[SWS_CORE_01459]）。其工作方式对应于 [map] 中的用法（[SWS_CORE_01459]）。传入的参数大概会直接用于条目的就地构造，从而在定位适当时有望实现加速插入。问题 Q-564dd9bab5c0293f (未决)

错误处理与异常安全性

关于容错性，该操作被明确归类为 not exception safe（[SWS_CORE_01459]）。如果在内存分配或键值对构造期间发生错误，关于容器状态的任何保证可能均不生效。问题 (未决)未为此接口定义特殊的错误代码或诸如 DET 或 DEM 的诊断消息（[SWS_CORE_01459]）。

并发性与限制

规范未对并发性和调用上下文作出任何陈述（[SWS_CORE_01459]）。解释：作为对 ara::core::Map 的状态修改操作，当多个线程同时访问时，emplace_hint 需要外部同步以防止数据不一致。问题 Q-04b3ab58544ceba4 (未决)

本提示由 AI 生成；专业评估由用户自行负责。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01459
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01459@rel:R25-11#a86cf3ba
Content hash: a86cf3ba
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01459

Status: valid/unmigrated Version: rel:R25-11#a8ee3139 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01459@rel:R25-11#a8ee3139

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 empty [SWS_CORE_01511]

[[nodiscard]] bool empty () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01511
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01511@rel:R25-11#c193642c
Content hash: c193642c
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01511

Status: valid/unmigrated Version: rel:R25-11#fdf72c41 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01511@rel:R25-11#fdf72c41

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 end [SWS_CORE_01442]

iterator end () noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01442
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01442@rel:R25-11#7dbd25a1
Content hash: 7dbd25a1
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01442

Status: valid/unmigrated Version: rel:R25-11#e8b974b2 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01442@rel:R25-11#e8b974b2

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 end [SWS_CORE_01443]

const_iterator end () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01443
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01443@rel:R25-11#ddf01a50
Content hash: ddf01a50
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01443

Status: valid/unmigrated Version: rel:R25-11#bf006bb3 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01443@rel:R25-11#bf006bb3

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 equal_range [SWS_CORE_01506]

std::pair< iterator, iterator > equal_range (const key_type &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： f0055ff4279d 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map 的同步成员函数 equal_range 通过头文件 #include "ara/core/map.h" 提供 [SWS_CORE_01506]。它接收类型为 const key_type & 的键 x，并返回界定所有匹配条目范围的可修改迭代器对（std::pair<iterator, iterator>）[SWS_CORE_01506]。其行为遵循 [map] [SWS_CORE_01506] 中的常规语义；由于 Map 通常具有唯一键，因此结果范围应该最多包含一个元素（解释）。问题 Q-d26df1f3ac3b6232 (未决)

错误处理与异常安全性

规范将该函数明确归类为 not exception safe [SWS_CORE_01506]。未定义特定的错误代码、用于错误信号通知的返回值或向 DET 或 DEM 发送的报告。如果未找到所查找的键，则该对中的两个迭代器应该相同并指向潜在的插入位置（根据 [map] 的解释）。问题 (未决)

并发性与限制

该操作是非常量的，并返回非常量迭代器 [SWS_CORE_01506]。由于未记录任何同步机制，对 ara::core::Map 的同一实例进行并发读取或写入访问推测不是线程安全的（解释），且需要外部同步。问题 Q-3fb76368d9de336f (未决)

相互作用

对于常量实例上的读取访问，提供了带有 const_iterator 对的重载 [SWS_CORE_01507]。此外，针对具有任意键类型 K 的异构查找过程，无论是对于非常量调用 [SWS_CORE_01508] 还是常量调用 [SWS_CORE_01509]，均存在模板变体。

此使用说明由人工智能基于规范自动生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01506
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01506@rel:R25-11#5c94c5a7
Content hash: 5c94c5a7
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01506

Status: valid/unmigrated Version: rel:R25-11#b5793b80 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01506@rel:R25-11#b5793b80

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 equal_range [SWS_CORE_01507]

std::pair< const_iterator, const_iterator > equal_range (const key_type &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 5ab6c1e53fdd 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map 的成员函数 equal_range 在常量实例上确定与给定键相对应的所有条目的范围 [SWS_CORE_01507]。它接收参数 const key_type &x 并返回表示该范围边界的 std::pair<const_iterator, const_iterator> [SWS_CORE_01507]。该函数通过头文件 ara/core/map.h 提供并同步执行 [SWS_CORE_01507]。其语义符合 [map] 的规范 [SWS_CORE_01507]；因此，对于具有唯一键的 Map，返回的范围推测至多包含一个条目。问题 Q-f2bdc3bf2c17948e (未决)

错误处理与边界条件

关于错误与异常行为，该方法被指定为非异常安全（“not exception safe”）[SWS_CORE_01507]。未规定特定的错误码、DET 消息或 DEM 事件。由于该方法被声明为 const，它不会更改调用对象的状态。

相互作用

该操作嵌入在 ara::core::Map 内部一系列相关重载中：

对于非常量实例，[SWS_CORE_01506] 提供了相同的查找，但返回可修改的迭代器。
通过模板函数 [SWS_CORE_01508] 和 [SWS_CORE_01509]，查找也可以使用类型为 K 的兼容键针对可变及常量 Map 执行。

此使用说明由系统自动创建。它完全基于 AUTOSAR Adaptive Release R25-11 的规范数据。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01507
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01507@rel:R25-11#a23c5edc
Content hash: a23c5edc
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01507

Status: valid/unmigrated Version: rel:R25-11#17637a10 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01507@rel:R25-11#17637a10

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 equal_range [SWS_CORE_01508]

template <class K> std::pair< iterator, iterator > equal_range (const K &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： b2fa7c200283 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

用法与语义

类 ara::core::Map（[SWS_CORE_01508]）的模板成员函数 equal_range 通过头文件 ara/core/map.h 提供。它用于查找其键与传入值匹配的所有元素的范围。其行为取决于 [map]（[SWS_CORE_01508]）中的对应用法。该同步调用接收泛型类型 const K& 的键参数 x，并返回 std::pair<iterator, iterator>（[SWS_CORE_01508]）作为返回值。解读：通过泛型参数类型 K，该函数推测支持异构查找，从而无需预先转换为 key_type 即可进行比较。问题 Q-19f39bf5b68f9a3c (未决)

错误处理与边界条件

根据规范，该函数被归类为非异常安全（not exception safe）（[SWS_CORE_01508]）。未规定特定的错误码、用于错误指示的返回值或向 DET 或 DEM 发送的消息。由于该函数未限定为 const，它返回允许对所包含值进行写入访问的可修改迭代器。

相互作用

该成员函数是 ara::core::Map 内部一组相关 equal_range 重载的一部分：

[SWS_CORE_01506]：用于类型为 const key_type& 的直接键的非常量变体。
[SWS_CORE_01507]：用于类型为 const key_type& 的直接键的常量变体，其返回 const_iterator。
[SWS_CORE_01509]：用于类型为 const K& 的泛型键的常量模板重载。

本文由人工智能生成，用作 AUTOSAR 标准的参考指南。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01508
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01508@rel:R25-11#4594154a
Content hash: 4594154a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01508

Status: valid/unmigrated Version: rel:R25-11#9826176d Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01508@rel:R25-11#9826176d

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 equal_range [SWS_CORE_01509]

template <class K> std::pair< const_iterator, const_iterator > equal_range (const K &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： b9ab036007bb 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

来自头文件 ara/core/map.h 的类 ara::core::Map 的模板成员函数 equal_range 确定与传入的类型为 K 的查找键 x 相对应的元素范围 [SWS_CORE_01509]。作为常量方法，它返回一对常量迭代器 std::pair<const_iterator, const_iterator> 且不修改底层容器 [SWS_CORE_01509]。根据规范，其语义取决于 [map] [SWS_CORE_01509] 中的相应使用方式。解读：模板参数 K 推测允许对键进行异构查找，从而无需构造键类型的临时对象。问题 Q-7f7a93cef3cf7d8f (未决)

错误处理与异常安全性

关于异常安全性，该函数被明确归类为非异常安全（“not exception safe”）[SWS_CORE_01509]。规范范围内未针对该函数规定特定的错误码或向诊断/错误接口（如 DET 或 DEM）的反馈 [SWS_CORE_01509]。

相互作用与重载

该函数与 ara::core::Map 中 equal_range 的其他变体直接关联：

非常量模板重载 [SWS_CORE_01508]，它返回一对可修改的迭代器。
用于 const key_type &x 的非基于模板的重载，包括非常量形式 [SWS_CORE_01506] 以及常量形式 [SWS_CORE_01507]。

本文本由 AI 基于规范数据生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01509
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01509@rel:R25-11#087858f0
Content hash: 087858f0
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01509

Status: valid/unmigrated Version: rel:R25-11#c36fae35 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01509@rel:R25-11#c36fae35

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 erase [SWS_CORE_01480]

iterator erase (iterator position);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 259948ff74a7 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的函数 erase 同步移除容器中由传入参数 position 引用的元素 [SWS_CORE_01480]。该定义通过头文件 <ara/core/map.h> 引入 [SWS_CORE_01480]。该函数返回一个迭代器，指向映射中紧接被删除元素之后的元素 [SWS_CORE_01480]。其语义遵循符合 [map] 中对应使用的规范 [SWS_CORE_01480]。

在错误处理方面，该操作被归类为非异常安全（not exception safe）[SWS_CORE_01480]。该调用未指定具体的错误码、回退通道或通过 DET 或 DEM 的错误消息 [SWS_CORE_01480]。由于行为以 [map] 为基准，传入的迭代器可能会因删除过程而失效，而指向剩余元素的迭代器可能保持有效 [SWS_CORE_01480]。由于缺乏校验，传递无效或不可解引用的迭代器可能会导致未定义行为（解释）。问题 Q-1a4a3eae317fc52e (未决)

在 ara::core::Map 内部的协作中存在替代重载：除了通过可变 iterator 进行删除外，还提供了针对 const_iterator 的重载 [SWS_CORE_01481]。同样，也可以基于键通过 key_type [SWS_CORE_01482] 或作为整个迭代器范围来移除元素 [SWS_CORE_01483]。

本使用说明基于 R25-11 的 AUTOSAR 规范自动创建。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01480
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01480@rel:R25-11#ffa768ff
Content hash: ffa768ff
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01480

Status: valid/unmigrated Version: rel:R25-11#146c1974 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01480@rel:R25-11#146c1974

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 erase [SWS_CORE_01481]

iterator erase (const_iterator position);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 6e1e13cf1691 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的成员函数 erase 用于同步删除迭代器 position 所指定位置处的单个元素 [SWS_CORE_01481]。声明通过头文件 ara/core/map.h 进行 [SWS_CORE_01481]。其行为与 [map] 中的定义一致，该函数返回指向 map 中后续元素的 iterator [SWS_CORE_01481]。

关于异常处理，该函数被指定为“not exception safe”[SWS_CORE_01481]。该操作未定义特定的错误代码、违规或错误消息 [SWS_CORE_01481]。解释：将无效或不可解引用的迭代器作为 position 传递可能会导致未定义行为，因为规范未定义任何错误检查。问题 Q-9a3242ae4773cc0b (未决)

在与 ara::core::Map 的容器接口配合使用时，还提供了其他重载：

通过可变迭代器 iterator position 进行删除 [SWS_CORE_01480]，
通过 erase(const key_type &x) 根据键进行删除，并返回移除的元素数量 [SWS_CORE_01482]，
通过两个迭代器 first 和 last 进行范围删除 [SWS_CORE_01483]。

针对单个 const_iterator 位置的相应重载也类似地针对其他容器（如 ara::core::Vector [SWS_CORE_01372] 或 ara::core::BasicString [SWS_CORE_03103]）进行了定义。

本文由 AI 基于 AUTOSAR 规范 R25-11 生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01481
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01481@rel:R25-11#ca49de48
Content hash: ca49de48
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01481

Status: valid/unmigrated Version: rel:R25-11#7a2ac2f2 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01481@rel:R25-11#7a2ac2f2

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 erase [SWS_CORE_01482]

size_type erase (const key_type &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 984e0b35e963 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map 的同步成员函数 erase 用于通过类型为 const key_type& 的指定键 x 移除条目（[SWS_CORE_01482]）。该接口通过头文件 ara/core/map.h 引入。其功能行为被定义为等同于 [map] 中的用法（[SWS_CORE_01482]）。解释：根据该 C++ 标准参考，类型为 size_type 的返回值应表示从容器中成功删除的元素数量。问题 Q-03637eb7e5efe502 (未决)

错误处理与边界条件

在规范中，该函数被归类为 not exception safe（[SWS_CORE_01482]）。对于该容器调用，未定义针对错误情况的特定返回代码或通过 DET 或 DEM 的报告途径。解释：由于缺乏异常安全性，在发生错误时可能不适用关于容器状态的保证，因此调用方在执行前应确保数据一致且调用参数有效。问题 (未决)

相互作用

该方法构成了基于键的对应项，对应于 ara::core::Map 中用于清理单个位置（[SWS_CORE_01480]、[SWS_CORE_01481]）或闭合迭代器范围（[SWS_CORE_01483]）的基于迭代器的删除操作。标准化 erase 函数的模式在 ara::core 中跨容器复现，例如针对 ara::core::Vector（[SWS_CORE_01372]）或针对 ara::core::BasicString（[SWS_CORE_03102]）。

本使用说明基于规范自动生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01482
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01482@rel:R25-11#92c5164f
Content hash: 92c5164f
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01482

Status: valid/unmigrated Version: rel:R25-11#d837721c Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01482@rel:R25-11#d837721c

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 erase [SWS_CORE_01483]

iterator erase (const_iterator first, const_iterator last);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： ed07a80cc467 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

容器 ara::core::Map 的成员函数 erase 用于移除由两个迭代器限定的值范围 [SWS_CORE_01483]。它在头文件 #include "ara/core/map.h" 中定义，并具有签名 iterator erase (const_iterator first, const_iterator last); [SWS_CORE_01483]。在功能上，该行为遵循 [map] 中的常规语义 [SWS_CORE_01483]。作为返回值，它提供指向紧随被移除范围之后的元素或容器末尾的 iterator [SWS_CORE_01483]。

错误处理与限制

在规范中，该操作被明确归类为 not exception safe [SWS_CORE_01483]。未为此函数定义特定的 AUTOSAR 错误代码或向 DET 或 DEM 发送的消息。因此，由于没有预见单独的检查，调用者可能需要自行负责确保 first 和 last 引用同一实例内的有效、格式良好的范围（解释）。问题 Q-69e88ecc6f04bb64 (未决)

相互作用

在 ara::core::Map 内部，此范围擦除补充了通过 iterator [SWS_CORE_01480]、通过 const_iterator [SWS_CORE_01481] 以及根据键 key_type [SWS_CORE_01482] 移除单个元素的重载。针对迭代器范围的同类 erase 接口也存在于 Adaptive Core 库的其他容器中，具体为 ara::core::Vector [SWS_CORE_01373] 和 ara::core::BasicString [SWS_CORE_03104]。

本使用说明由 AI 基于 AUTOSAR 规范 R25-11 生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01483
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01483@rel:R25-11#b495e4ce
Content hash: b495e4ce
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01483

Status: valid/unmigrated Version: rel:R25-11#10bf5427 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01483@rel:R25-11#10bf5427

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 extract [SWS_CORE_01470]

node_type extract (const_iterator position);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 8c6034c84048 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的成员函数 extract 取出由迭代器 position 指示位置处的元素，并返回类型为 node_type 的节点 [SWS_CORE_01470]。其声明和语义遵循 [map] 中的相应用法，从而将该节点直接从关联容器中脱离出来。该函数通过头文件 ara/core/map.h 提供。

使用与行为

该调用在 ara::core::Map 的实例上同步执行。传入 const_iterator position 作为参数，Interpretation：该参数必须指向被调用 map 内有效且可解引用的元素。通过提取，该元素将从容器中移除，而返回的 node_type 对象将接管该节点的所有权。

错误处理与异常安全性

关于异常处理，根据规范，该函数被明确归类为 not exception safe [SWS_CORE_01470]。若在执行过程中发生异常，该操作不提供确定性的容器保证，因此调用代码应采取相应的保护措施。

交互与替代方案

作为重载，除了基于位置的取出之外，还提供了基于键的变体 extract(const key_type &x) [SWS_CORE_01471]。后者允许直接根据其键值提取条目，而无需事先手动获取迭代器。

本文字由 AI 生成，用作参考文档。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01470
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01470@rel:R25-11#e8c9c275
Content hash: e8c9c275
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01470

Status: valid/unmigrated Version: rel:R25-11#bcdc040d Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01470@rel:R25-11#bcdc040d

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 extract [SWS_CORE_01471]

node_type extract (const key_type &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 2e670fb63484 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

同步成员函数 extract 在头文件 #include "ara/core/map.h" 中的类 ara::core::Map 内定义 [SWS_CORE_01471]。它接收常量键引用 const key_type &x 作为参数，并将找到的元素作为 node_type 返回 [SWS_CORE_01471]。功能语义参考了 [map] [SWS_CORE_01471] 中的对应用法；这应当符合 C++ 标准，即直接从容器中提取节点，无需复制键或值。问题 (未决)

错误处理与限制

该函数在规范中被显式归类为“not exception safe” [SWS_CORE_01471]。有效负载中未定义特定错误码、错误类或 DET 及 DEM 报告。因此在发生错误时，可能无法保证容器状态的保留或一致性，调用方应采取相应的防护措施。问题 (未决)

相互作用

该规范元素与重载 node_type extract(const_iterator position) [SWS_CORE_01470] 直接相关。当前函数通过搜索键识别并提取元素 [SWS_CORE_01471]，而相关的变体则允许通过已知的迭代器位置进行定向提取 [SWS_CORE_01470]。两个接口均属于 ara::core::Map 的作用域，并具有相同的缺少异常安全性的特性 [SWS_CORE_01470] [SWS_CORE_01471]。

本使用说明系自动生成，完全基于 AUTOSAR Adaptive R25-11 的规范要求。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01471
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01471@rel:R25-11#ceea26f0
Content hash: ceea26f0
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01471

Status: valid/unmigrated Version: rel:R25-11#89950052 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01471@rel:R25-11#89950052

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 find [SWS_CORE_01490]

iterator find (const key_type &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： a5eb50f4008c 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map 的成员函数 find 用于根据其键同步查找元素 [SWS_CORE_01490]。该函数在头文件 ara/core/map.h 中声明。它接受对所搜索键的引用（const key_type &x），并返回指向找到的键值对的可变 iterator；若未找到匹配项，则返回值对应于映射的尾后迭代器 [SWS_CORE_01490]。

错误处理与异常安全性

根据规范，此函数被归类为 not exception safe [SWS_CORE_01490]。未针对此容器基础服务指定通过 DET 或 DEM 的错误消息。如果在比较过程中发生操作错误，底层比较运算符的异常可能会被传播。

并发性与交互

由于这是一个返回可写迭代器的非常量成员函数，在没有同步的情况下并发访问可能不是线程安全的。问题 Q-0f9f56b506cfd318 (未决)对于对 ara::core::Map 的常量实例进行纯读取访问，提供了带有 const_iterator 的重载 [SWS_CORE_01491]。此外，模板化重载支持使用兼容比较类型进行透明搜索 K，包括修改性 [SWS_CORE_01492] 和常量 [SWS_CORE_01493]。与 ara::core::StringView [SWS_CORE_02157] 或 ara::core::BasicString [SWS_CORE_03315] 中返回类型为 size_type 的索引且部分为 noexcept 的基于字符的 find 函数不同，该函数基于容器通过迭代器运行。

本使用说明为自动创建。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01490
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01490@rel:R25-11#d46344ca
Content hash: d46344ca
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01490

Status: valid/unmigrated Version: rel:R25-11#e634daf0 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01490@rel:R25-11#e634daf0

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 find [SWS_CORE_01491]

const_iterator find (const key_type &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： f998f2d3213c 来源未决问题（3）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的常量成员函数 find 用于根据键同步查找条目 [SWS_CORE_01491]。调用时必须包含头文件 #include "ara/core/map.h"。该函数需要所搜索键的引用 const key_type &x 作为参数。其行为符合 C++ 标准中 [map] 的规范，因此在搜索成功时返回指向该元素的 const_iterator，否则推测将提供 end() [SWS_CORE_01491]。问题 Q-dca69a1ec5423a8b (未决)

在错误处理方面，该函数声明为 not exception safe [SWS_CORE_01491]。由于搜索过程基于键的比较，所发生的异常推测主要源自用户定义的比较操作。对于该基本容器，未定义 DET 或 DEM 错误消息。由于这是常量实例上的只读操作，按照通常的 C++ 容器语义，只要不同步进行修改，多个线程对同一对象的并发访问即可并行化（解读）。问题 Q-a8ec748711885418 (未决)

在与其他接口的协同中，该方法补充了返回可修改 iterator 的非常量变体 [SWS_CORE_01490]。对于无需类型转换的异构搜索操作，ara::core::Map 中还为可修改的实例 [SWS_CORE_01492] 以及常量实例 [SWS_CORE_01493] 提供了模板重载。此外，在 Core 模块中，同名搜索函数还存在于诸如 ara::core::BasicString [SWS_CORE_03407] 和 ara::core::StringView [SWS_CORE_02157] 等字符串类中。

本文本由 AI 生成，并基于 AUTOSAR Adaptive R25-11 规范。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01491
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01491@rel:R25-11#85ea898d
Content hash: 85ea898d
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01491

Status: valid/unmigrated Version: rel:R25-11#fbef5fa9 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01491@rel:R25-11#fbef5fa9

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 find [SWS_CORE_01492]

template <class K> iterator find (const K &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 5765b86e923f 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

符合 [SWS_CORE_01492] 的模板成员函数 find 用于通过头文件 ara/core/map.h 在 ara::core::Map 的实例内同步查找元素。它接收引用参数 const K &x，并返回指向找到的键值对或容器尾迭代器的可变 iterator。规范指明了 [map] 的行为；此处的泛型参数形式应该被解读为异构键搜索，以便在无需预先转换的情况下比较不同类型的搜索键。问题 Q-425357890b9ea3fe (未决)

关于错误处理和异常安全性，该函数被明确归类为 not exception safe（[SWS_CORE_01492]）。有效负载中未定义特定错误码、用于错误状态的返回值或 DET/DEM 消息。若在比较或内部遍历期间发生异常，该调用不提供任何异常保证。

在 ara::core::Map 内部的协作中，该函数构成了常量异构搜索 [SWS_CORE_01493] 以及分别固定绑定到 const key_type &x 的非泛型重载 [SWS_CORE_01490] 和 [SWS_CORE_01491] 的非常量对应项。它与诸如 ara::core::StringView（[SWS_CORE_02157]）或 ara::core::BasicString（[SWS_CORE_03315]）等其他容器的同名搜索函数有本质区别，后者执行基于字符串的位置搜索，且部分声明为 noexcept。

本文由 AI 基于 AUTOSAR 规范 R25-11 生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01492
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01492@rel:R25-11#cf81d4a5
Content hash: cf81d4a5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01492

Status: valid/unmigrated Version: rel:R25-11#d3a9323b Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01492@rel:R25-11#d3a9323b

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 find [SWS_CORE_01493]

template <class K> const_iterator find (const K &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： d1db50972285 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

命名空间 ara::core::Map 中的模板成员函数 find 用于以只读方式根据类型为 K 的键 x 查找元素 [SWS_CORE_01493]。该函数在头文件 #include "ara/core/map.h" 中定义，并在常量实例上同步调用 [SWS_CORE_01493]。它返回指向所找到元素的 const_iterator；解读：在键不存在的情况下，返回的迭代器应该对应于 map 的尾迭代器，因为根据规范，其语义遵循 [map] 的行为 [SWS_CORE_01493]。问题 Q-3fa354022f0bca9b (未决)

错误处理与边界条件

关于容错性，该函数被明确归类为 not exception safe [SWS_CORE_01493]。规范中未定义特定错误码、用于错误指示的返回值或发往 DET 或 DEM 的消息。调用者必须注意，若在搜索或比较过程中发生异常，不提供异常安全性保证 [SWS_CORE_01493]。

相互作用

在 ara::core::Map 内部，此重载使搜索操作趋于完整：

它补充了非常量模板变体 iterator find(const K &x) [SWS_CORE_01492]。
它构成了带有固定 const key_type &x 的重载的泛型对应项，这些重载被声明为非常量 [SWS_CORE_01490] 以及常量 [SWS_CORE_01491]。

因此，它不同于 ara::core::StringView（例如 [SWS_CORE_02157]）和 ara::core::BasicString（例如 [SWS_CORE_03315]）中的同名操作，后者操作于字符串，提供类型为 size_type 的位置，并声明为 exception safe。

此使用说明由 AI 根据 AUTOSAR 规范 R25-11 生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01493
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01493@rel:R25-11#a4444659
Content hash: a4444659
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01493

Status: valid/unmigrated Version: rel:R25-11#a24cb137 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01493@rel:R25-11#a24cb137

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 get_allocator [SWS_CORE_01439]

allocator_type get_allocator () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01439
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01439@rel:R25-11#09af6ef1
Content hash: 09af6ef1
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01439

Status: valid/unmigrated Version: rel:R25-11#6235863a Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01439@rel:R25-11#6235863a

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01460]

std::pair< iterator, bool > insert (const value_type &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： f9d1b30a5cc8 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

ara::core::Map 上下文中的函数 insert 用于通过参数 const value_type &x（[SWS_CORE_01460]）以复制方式同步添加值元素。该操作通过头文件 ara/core/map.h 引入。返回类型 std::pair<iterator, bool> 遵循规范“As per corresponding usage in [map]”：解释：此时迭代器很可能指向新插入或已存在的元素，而布尔标志则指示新条目是否插入成功。问题 Q-b059c1d0f4dd6665 (未决)

错误处理

规范中未规定特定的 AUTOSAR 错误代码（例如 DET 或 DEM 消息）。该函数被明确声明为非异常安全（“not exception safe”）（[SWS_CORE_01460]）。如果内部内存分配或元素复制失败，容器不提供任何异常或回滚保证；此类错误大概率会导致中止或未定义状态。问题 Q-cbe74b301167bcc4 (未决)

并发性与限制

该调用在调用方线程中同步执行。容器操作不具备内置同步机制，因此该函数对于同一实例不是可重入的。并行读取或写入访问必须在调用方进行保护。

相互作用

对于 ara::core::Map，存在 insert 的互补重载：

用于临时值的基于移动的变体（[SWS_CORE_01461]、[SWS_CORE_01462]），
带有迭代器提示的位置辅助插入操作（[SWS_CORE_01463]、[SWS_CORE_01464]），
范围和初始化列表（[SWS_CORE_01466]、[SWS_CORE_01467]）以及节点句柄转移（[SWS_CORE_01468]、[SWS_CORE_01469]）。

类似的插入操作也以调整后的签名出现在其他 Core 类中，例如 ara::core::Vector（[SWS_CORE_01367]）和 ara::core::BasicString（[SWS_CORE_03093]）。

本文由 AI 基于 AUTOSAR Adaptive R25-11 规范生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01460
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01460@rel:R25-11#3129e7e5
Content hash: 3129e7e5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01460

Status: valid/unmigrated Version: rel:R25-11#aac1ac6b Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01460@rel:R25-11#aac1ac6b

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01461]

std::pair< iterator, bool > insert (value_type &&x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 1bd234fe3449 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

ara::core::Map 的成员函数 insert 通过右值引用（value_type &&x）借助移动语义将元素同步插入到关联容器中（[SWS_CORE_01461]）。声明通过头文件 #include "ara/core/map.h" 进行（[SWS_CORE_01461]）。根据规范，功能行为取决于 C++ 标准中 [map] 的相应使用（[SWS_CORE_01461]）。作为返回值，该函数提供一个 std::pair<iterator, bool>；解释：此处布尔值可能指示该元素是否为新插入的，而迭代器指向容器中的该元素（[SWS_CORE_01461]）。问题 Q-e1901e26d8be3470 (未决)

关于错误处理和异常安全性，该函数在规范中被明确归类为 not exception safe（[SWS_CORE_01461]）。未为此调用指定特定的错误代码或 AUTOSAR 错误消息（如 DET 或 DEM）。

在 ara::core::Map 内部的协作中，此重载代表了基于右值的对应项，对应于拷贝变体 insert(const value_type &)（[SWS_CORE_01460]）和泛型模板版本 insert(P &&)（[SWS_CORE_01462]）。对于带位置说明的插入操作，还提供了带有提示迭代器（Hint Iterator）的重载（如 insert(const_iterator, value_type &&)，[SWS_CORE_01464]），以及针对节点句柄（Node Handle）通过 insert(node_type &&)（[SWS_CORE_01468]）使用 insert_return_type（[SWS_CORE_01418]）的重载。

此文本由 AI 生成，用作参考指引。引用的 AUTOSAR 规范具有权威性。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01461
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01461@rel:R25-11#2f35eeee
Content hash: 2f35eeee
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01461

Status: valid/unmigrated Version: rel:R25-11#c13ca6a2 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01461@rel:R25-11#c13ca6a2

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01462]

template <class P> std::pair< iterator, bool > insert (P &&x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： d65cbbe7720d 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的模板成员函数 insert 用于通过转发引用 P&& x 将兼容的键值对同步插入到关联容器实例 [SWS_CORE_01462] 中。它通过头文件 #include "ara/core/map.h" 包含，其行为参考了 [map] [SWS_CORE_01462] 的语义。作为返回值，它提供一个 std::pair<iterator, bool> [SWS_CORE_01462]。解释：布尔返回值可能指示是否创建了新条目，而迭代器则指向新插入的或已存在的元素。问题 Q-64d2947d60792374 (未决)

关于错误处理，该函数在规范中被明确归类为非异常安全（not exception safe）[SWS_CORE_01462]。对于此调用，未指定特定的错误代码、错误消息或与诊断和故障存储器（如 DET 或 DEM）的接口。

关于并发和约束条件，该调用会修改 map 的状态；因此，对同一实例的并发访问推测不是可重入的，并且需要外部保护以防止数据争用。问题 (未决)执行在调用线程的上下文中同步进行。

在 ara::core::Map 内部的交互中，该泛型函数构成了对 const value_type& [SWS_CORE_01460] 和 value_type&& [SWS_CORE_01461] 直接重载的补充。此外，还存在带有迭代器提示的位置插入操作 [SWS_CORE_01465]、范围操作 [SWS_CORE_01466] 以及使用 insert_return_type [SWS_CORE_01418] [SWS_CORE_01468] 插入节点句柄。

本文由 AI 系统基于 AUTOSAR R25-11 规范生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01462
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01462@rel:R25-11#299c72dd
Content hash: 299c72dd
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01462

Status: valid/unmigrated Version: rel:R25-11#cb1f8ac0 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01462@rel:R25-11#cb1f8ac0

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01463]

iterator insert (const_iterator position, const value_type &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 10e3558d4625 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

ara::core::Map 的同步成员函数 insert 通过类型为 value_type 的常量引用 x 以复制方式将元素插入关联容器 [SWS_CORE_01463]。如对 [map] 的引用所示，参数 position 推测用作位置提示（Hint），以便在有序结构内更高效地找到插入位置。问题 Q-f1b4433fa5e3b659 (未决)作为返回值，该函数提供一个 iterator，指向新插入的元素或具有相同键的已存在元素。

限制与错误处理

明确未对该操作规定异常安全性（not exception safe）[SWS_CORE_01463]。例如，如果内部内存分配或键值对的创建失败，可能无法提供恢复一致状态的保证。问题 (未决)规范中未提供特定的错误代码、错误状态返回值或诸如 DET 和 DEM 等机制。

相互作用

该方法是 ara::core::Map 中插入操作重载族的一部分。除了这种带有 Hint 的复制变体外，还提供了带有 [SWS_CORE_01464] 的基于 rvalue 的重载、泛型变体 [SWS_CORE_01465] 以及用于节点句柄的 Hint 插入 [SWS_CORE_01469]。如果未传递位置提示，insert 会通过 std::pair<iterator, bool> [SWS_CORE_01460]、[SWS_CORE_01461]、[SWS_CORE_01462] 指示插入成功，或者在节点移动 [SWS_CORE_01468] 时提供类型 insert_return_type [SWS_CORE_01418]。

本使用说明基于规范自动生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01463
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01463@rel:R25-11#2d658dfa
Content hash: 2d658dfa
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01463

Status: valid/unmigrated Version: rel:R25-11#04f41a2f Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01463@rel:R25-11#04f41a2f

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01464]

iterator insert (const_iterator position, value_type &&x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 0f98eb24a131 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

ara::core::Map ([SWS_CORE_01464]) 的成员函数 insert 将右值元素同步插入 map 中。该调用通过头文件 #include "ara/core/map.h" 进行。该接口接收类型为 const_iterator 的位置迭代器 position 以及通过移动语义 (value_type &&) 接收待接纳的元素 x。作为返回值，它提供一个 iterator，指向插入的元素或容器中已具有等价键的元素。解释：参数 position 在此可能用作插入提示（Hint），根据 [map] 的语义，在最佳放置时可减少树中的查找开销。问题 Q-6faf9101bbca6d5e (未决)

错误处理与并发

规范明确将该函数标识为“not exception safe”([SWS_CORE_01464])。不存在特定的错误代码、用于指示错误的返回状态或 DET/DEM 消息。如果内存分配或对象数据的移动失败，实现推测不提供一致状态的保证。问题 Q-797dfdce12b34657 (未决)针对同一实例的并发调用未受保护；并发访问需要由调用方进行外部同步。

相互作用

在 ara::core::Map 内部，该函数补充了带有位置的左值重载 [SWS_CORE_01463] 以及泛型转发 [SWS_CORE_01465]。无提示的重载 [SWS_CORE_01460] 和 [SWS_CORE_01461] 返回 std::pair<iterator, bool> 以指示实际的插入过程，而该函数仅返回迭代器。对于基于节点的移动，[SWS_CORE_01469] 还为 node_type && 提供了 Hint 变体。

此文本由 AI 生成，仅供参考。具有约束力的是 AUTOSAR 规范。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01464
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01464@rel:R25-11#5444b3f2
Content hash: 5444b3f2
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01464

Status: valid/unmigrated Version: rel:R25-11#0595f07d Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01464@rel:R25-11#0595f07d

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01465]

template <class P> iterator insert (const_iterator position, P &&);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 3bbe432cb8f3 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

容器 ara::core::Map 的模板成员函数 insert 同步利用位置提示插入一个元素 [SWS_CORE_01465]。该函数在头文件 #include "ara/core/map.h" 中定义，并接收类型为 const_iterator 的位置迭代器 position 以及通用引用参数 P && [SWS_CORE_01465]。它返回一个 iterator 作为返回值 [SWS_CORE_01465]。

关于确切行为，该规范参考了 [map] [SWS_CORE_01465] 中的相应用法。解读：参数 position 应该用作查找提示（Hint），若放置位置正确可加速插入操作，而传入的值则通过 P && 进行完美转发。问题 Q-254fa0867877b25d (未决)解读：大概率仅在尚不存在具有等价键的元素时才会插入新元素；返回的 iterator 推测指向新插入或已存在的键值对。问题 Q-43e2e61dfbd343c5 (未决)

在错误处理和健壮性方面，该函数在规范中被明确归类为“not exception safe”[SWS_CORE_01465]。该操作未提供特定的错误代码、经由 ara::core::Result 的 AUTOSAR 返回值或 DET/DEM 等机制。

在 ara::core::Map 内部，该函数对相关的插入操作进行了补充，其中包括不带位置提示的泛型类型重载 [SWS_CORE_01462]、带 value_type 提示的重载 [SWS_CORE_01463]、[SWS_CORE_01464] 以及通过 node_type 重新插入节点结构 [SWS_CORE_01469]。

本文由 AI 生成，仅供参考。唯一具有约束力的是规范本身。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01465
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01465@rel:R25-11#bb74f674
Content hash: bb74f674
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01465

Status: valid/unmigrated Version: rel:R25-11#90947847 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01465@rel:R25-11#90947847

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01466]

template <class InputIterator> void insert (InputIterator first, InputIterator last);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 48d672a0bda9 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的模板函数 insert 将输入迭代器 [first, last) 所指定范围内的元素序列插入到容器中 [SWS_CORE_01466]。根据规范，其行为与 std::map 中的标准用法一致，该操作同步执行且不返回值（void）[SWS_CORE_01466]。该函数通过头文件 <ara/core/map.h> 提供 [SWS_CORE_01466]。

关于错误处理，范围插入被明确归类为 not exception safe [SWS_CORE_01466]。规范范围内未定义特定的错误代码或诸如 DET 或 DEM 报告等错误钩子。解释：如果在插入元素期间发生错误或异常，容器的状态可能会保持不一致，并且推测不会对已插入的元素进行回滚。问题 Q-d91e12b19fd8af97 (未决)

在与 ara::core::Map 的其他接口配合使用时，该函数用于范围填充。它补充了通过复制或移动语义插入单个值的重载（[SWS_CORE_01460]、[SWS_CORE_01461]），以及通过 std::initializer_list [SWS_CORE_01467] 或节点句柄 [SWS_CORE_01468] 插入固定值集的重载。

本文由 AI 基于 AUTOSAR 规范 R25-11 生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01466
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01466@rel:R25-11#5a762864
Content hash: 5a762864
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01466

Status: valid/unmigrated Version: rel:R25-11#fe3ecb74 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01466@rel:R25-11#fe3ecb74

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01467]

void insert (std::initializer_list< value_type >);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 31f05b5b99ab 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的成员函数 insert（[SWS_CORE_01467]，头文件 ara/core/map.h）允许通过 std::initializer_list<value_type> 同步插入多个元素。该函数没有返回值（void）。根据规范，其行为遵从 [map] 中的相应用法（[SWS_CORE_01467]）；解释：其键已存在于 map 中的值对应该保持不变且不会被覆盖。问题 Q-ef2b6d4ccb3b7b94 (未决)

对于此调用，既未定义特定的错误代码，也未定义向 DET 或 DEM 发送的通知。关于异常处理，该操作被明确声明为 not exception safe（[SWS_CORE_01467]）。如果在插入过程中发生错误（例如内存分配失败），该函数推测不对已插入的元素提供回滚保证。问题 (未决)此外，缺乏重入性承诺；对同一实例的并发访问必须由调用方在外部进行同步。

在 ara::core::Map 各接口的相互协作中，此函数对基于迭代器的范围重载 insert(InputIterator, InputIterator)（[SWS_CORE_01466]）以及带有布尔成功反馈的单值插入（[SWS_CORE_01460]、[SWS_CORE_01461]、[SWS_CORE_01462]）、位置提示（[SWS_CORE_01463]、[SWS_CORE_01464]、[SWS_CORE_01465]）和节点句柄（[SWS_CORE_01468]、[SWS_CORE_01469]）进行了补充。在 ara::core::Vector 中存在针对初始化列表的可比重载 [SWS_CORE_01371]。

本使用说明由 AI 基于规范生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01467
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01467@rel:R25-11#bebc6529
Content hash: bebc6529
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01467

Status: valid/unmigrated Version: rel:R25-11#6248d436 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01467@rel:R25-11#6248d436

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01468]

insert_return_type insert (node_type &&nh);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 4ddf4ab42296 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

ara::core::Map 的成员函数 insert 用于将现有的节点句柄（node_type &&nh）插入到关联容器 [SWS_CORE_01468] 中。返回类型为 insert_return_type，根据 [SWS_CORE_01418]，该类型被指定为基于迭代器和节点类型（{<insert-return-type>}<iterator, node_type>）的由实现定义的类型。该调用同步进行，并通过头文件 #include "ara/core/map.h" 提供 [SWS_CORE_01468]。

关于错误行为，该函数被归类为 not exception safe [SWS_CORE_01468]。规范中未定义通过 ara::core::Result 的特定错误代码或 DET/DEM 消息。由于规范引用了 [map] 中的标准行为，因此在发生键冲突时，该操作应该不会插入传入的节点，而是在返回的 insert_return_type 中反映其状态。问题 Q-622aed02304a6171 (未决)

在与 ara::core::Map 的其他接口协同工作中，该重载代表了一种资源节约型的节点接管方式：作为替代，可以通过 insert(const_iterator hint, node_type &&nh) [SWS_CORE_01469] 插入带有搜索提示的节点。对于常规值对，提供了通过复制或移动 value_type 的重载（返回 std::pair<iterator, bool> [SWS_CORE_01460] [SWS_CORE_01461]），以及针对迭代器范围 [SWS_CORE_01466] 和初始化列表 [SWS_CORE_01467] 的重载。由于需求中缺乏显式的同步保证，对同一容器实例的并发调用可能不是线程安全的。问题 Q-dde064827fee794e (未决)

本文由 AI 基于 AUTOSAR 规范 R25-11 生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01468
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01468@rel:R25-11#62f806b5
Content hash: 62f806b5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01468

Status: valid/unmigrated Version: rel:R25-11#0710c6e4 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01468@rel:R25-11#0710c6e4

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert [SWS_CORE_01469]

iterator insert (const_iterator hint, node_type &&nh);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： adde5576a682 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

来自头文件 ara/core/map.h 的同步成员函数 insert 用于利用位置提示（[SWS_CORE_01469]）将现有节点句柄插入到 ara::core::Map 的实例中。该函数接受一个作为插入位置建议的 const_iterator hint 以及类型为 node_type&& 的右值句柄 nh，并返回指向该元素的 iterator（[SWS_CORE_01469]）。其行为符合 std::map 的规范（[SWS_CORE_01469]）。

错误处理与异常行为

该操作被明确归类为非异常安全（not exception safe）（[SWS_CORE_01469]）。有效负载中未定义用于错误指示的特定错误码、DET/DEM 消息或返回值。在发生错误或分配问题时，解释：容器和节点的状态可能会保持不一致。问题 Q-53197a46eb47a8a3 (未决)

并发性与限制

该调用是同步的。由于未指定同步机制，多个执行上下文对同一映射实例的并发访问可能不是线程安全的。问题 Q-cac4953e342ae0cc (未决)通过右值语义，传入的节点在成功合并后将被转移到数据结构中。

相互作用

该函数补充了 ara::core::Map 的基于节点的插入操作：与返回 insert_return_type（[SWS_CORE_01418]）的不带位置提示重载（[SWS_CORE_01468]）不同，该变体直接返回 iterator（[SWS_CORE_01469]）。其他重载允许插入带位置提示（[SWS_CORE_01463]、[SWS_CORE_01464]、[SWS_CORE_01465]）或不带位置提示（[SWS_CORE_01460]、[SWS_CORE_01461]、[SWS_CORE_01462]）的键值对。

本使用说明基于 AUTOSAR Adaptive R25-11 规范数据自动创建。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01469
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01469@rel:R25-11#dd6bc6a3
Content hash: dd6bc6a3
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01469

Status: valid/unmigrated Version: rel:R25-11#a4f0e284 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01469@rel:R25-11#a4f0e284

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert_or_assign [SWS_CORE_01476]

template <class M> std::pair< iterator, bool > insert_or_assign (const key_type &k, M &&obj);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 8d4d3b6e6825 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

来自头文件 #include "ara/core/map.h" 的容器 ara::core::Map 的成员函数 insert_or_assign 插入键值对或为现有键分配新值 [SWS_CORE_01476]。其行为遵从 [map] [SWS_CORE_01476] 中的相应用法。

该函数接收作为常量引用的键 const key_type &k 以及作为转发引用的待分配对象 M &&obj，并返回一个 std::pair<iterator, bool> [SWS_CORE_01476]。解释：结果对应该指向插入或更新的元素，并通过布尔值指示是否实际进行了新插入 [SWS_CORE_01476]。问题 Q-17b43f544456e9b9 (未决)

在错误处理和健壮性方面，该函数被指定为非异常安全（not exception safe）[SWS_CORE_01476]。因此，在发生错误或在分配或内存分配期间出现异常时，容器不保证一致的状态。

在与其他接口的相互协作中，ara::core::Map 提供了备选重载：

通过 key_type &&k 实现键的移动语义 [SWS_CORE_01477]。
带有迭代器提示（const_iterator hint）的重载，直接返回 iterator，适用于常量键引用 [SWS_CORE_01478] 或右值键 [SWS_CORE_01479]。

此文本由 AI 基于 AUTOSAR 规范生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01476
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01476@rel:R25-11#7c58a59e
Content hash: 7c58a59e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01476

Status: valid/unmigrated Version: rel:R25-11#f581c018 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01476@rel:R25-11#f581c018

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert_or_assign [SWS_CORE_01477]

template <class M> std::pair< iterator, bool > insert_or_assign (key_type &&k, M &&obj);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 00dcd83e6323 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

模板成员函数 insert_or_assign 属于类 ara::core::Map，并通过头文件 ara/core/map.h 提供 [SWS_CORE_01477]。它接收作为右值引用（key_type&&）的键 k，并在需要时对其进行移动。所赋的值 obj 作为通用引用（M&&）传递。其行为符合标准 map 语义：若键已存在，则更新关联的值；否则插入新的键值对。作为返回值，该同步函数提供一个 std::pair<iterator, bool>，其中包含指向该元素的迭代器以及指示是否实际执行了新插入的标志 [SWS_CORE_01477]。

错误处理与并发

在规范中，该函数被明确归类为 not exception safe [SWS_CORE_01477]。既未定义特定错误码，也未定义发往 DET 或 DEM 的通知。若内存分配或值赋值失败，map 的内部状态可能会保持不一致。问题 Q-d83935079d35c393 (未决)同样，在没有外部同步的情况下，多个线程对同一容器实例的并发访问可能不具备线程安全性。

相互作用

该操作是 ara::core::Map 中重载族的一部分：

若必须将键保留为引用，则可使用符合 [SWS_CORE_01476] 的带有 const key_type& 的重载。
对于带有位置提示（const_iterator hint）的针对性插入，变体 [SWS_CORE_01478]（常量键）和 [SWS_CORE_01479]（右值键）提供了基于提示的调用，这些调用直接返回一个 iterator。

此使用说明系自动生成，并基于 AUTOSAR Adaptive Release R25-11 的规范状态。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01477
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01477@rel:R25-11#e331ee4f
Content hash: e331ee4f
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01477

Status: valid/unmigrated Version: rel:R25-11#98e57092 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01477@rel:R25-11#98e57092

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert_or_assign [SWS_CORE_01478]

template <class M> iterator insert_or_assign (const_iterator hint, const key_type &k, M &&obj);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： fd478ab4b2f0 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map 的函数 insert_or_assign 同步插入带有常量键 k 和值 obj 的元素，或更新现有映射 [SWS_CORE_01478]。该签名接收位置提示 const_iterator hint、键 const key_type &k 以及要转发的对象 M &&obj 作为参数，并返回指向已插入或已更新元素的 iterator [SWS_CORE_01478]。其行为被指定为“As per corresponding usage in [map]”；在此迭代器 hint 应该用作插入位置的优化提示 [SWS_CORE_01478]。问题 Q-2235ec8422bdfcfe (未决)

错误处理与边界条件

对于此函数，异常安全性被显式规定为“not exception safe”[SWS_CORE_01478]。规范中未规定特定错误码或诸如 DET 或 DEM 之类的机制。因此，若在赋值或内存分配期间发生异常，数据结构推测可能不会保持在任何保证的一致性状态。问题 (未决)

相互作用

该操作在头文件 <ara/core/map.h> 中为 ara::core::Map 定义 [SWS_CORE_01478]，并由相关的重载所辅助：

[SWS_CORE_01476] 接收不带位置提示的 const key_type &k 并返回 std::pair<iterator, bool>。
[SWS_CORE_01477] 通过移动语义接收不带位置提示的 key_type &&k 并返回 std::pair<iterator, bool>。
[SWS_CORE_01479] 同样接受一个 const_iterator hint，但将键绑定为右值 key_type &&k 并返回一个 iterator。

本文本由 AI 生成，仅供参考。一切以官方 AUTOSAR 规范为准。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01478
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01478@rel:R25-11#24440b16
Content hash: 24440b16
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01478

Status: valid/unmigrated Version: rel:R25-11#912b7dc4 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01478@rel:R25-11#912b7dc4

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 insert_or_assign [SWS_CORE_01479]

template <class M> iterator insert_or_assign (const_iterator hint, key_type &&k, M &&obj);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： c7ad8663d478 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map（[SWS_CORE_01479]）的模板成员函数 insert_or_assign 用于插入键值对或更新现有条目。通过头文件 #include "ara/core/map.h" 进行访问 [SWS_CORE_01479]。

该重载接收三个参数 [SWS_CORE_01479]：

hint（const_iterator）：解读：根据规范“As per corresponding usage in [map]”，该迭代器应该用作位置建议，以加快插入过程。问题 Q-b6ee528ffbf8cb5a (未决)
k（key_type&&）：要移动的键。
obj（M&&）：作为通用引用要关联的值。

作为返回值，该函数提供指向已插入或已更新元素的 iterator [SWS_CORE_01479]。与返回 std::pair<iterator, bool> 的不带搜索提示的重载 [SWS_CORE_01476]、[SWS_CORE_01477] 不同，此处不传递布尔状态。

规范明确将该操作声明为 not exception safe [SWS_CORE_01479]。有效负载中未定义特定的 AUTOSAR 错误码、DET 或 DEM 消息。由于缺乏同步保证，该函数针对并发访问可能不具备线程安全性。问题 Q-330cd0cd383f595c (未决)它与用于常量左值键的变体 [SWS_CORE_01478] 一起完善了容器基于提示的插入操作。

本使用说明基于 AUTOSAR 规范 R25-11 自动生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01479
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01479@rel:R25-11#3f94a211
Content hash: 3f94a211
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01479

Status: valid/unmigrated Version: rel:R25-11#42b2efd6 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01479@rel:R25-11#42b2efd6

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 key_comp [SWS_CORE_01488]

key_compare key_comp () const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： a7e702feb7ba 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的成员函数 key_comp() 提供用于键的内部比较对象（[SWS_CORE_01488]）。它通过头文件 #include "ara/core/map.h" 引入，并遵循 C++ 标准容器 std::map 的常规语义（[SWS_CORE_01488]）。

使用

该方法具有签名 key_compare key_comp () const;（[SWS_CORE_01488]）。调用在 ara::core::Map 的实例上同步进行，且不需要任何形参（[SWS_CORE_01488]）。作为返回值，该函数返回类型为 key_compare 的函数对象，该对象用于容器中键的排序和比较（[SWS_CORE_01488]）。

错误处理与异常安全性

关于异常安全性，该函数被明确归类为 not exception safe（[SWS_CORE_01488]）。规范中未规定具体的错误代码、用于指示错误的返回值或 DET/DEM 消息（[SWS_CORE_01488]）。解释：归类为非异常安全可能是因为在返回期间复制比较对象时可能会引发异常。问题 Q-94a69840cc109129 (未决)

并发性与限制

作为 const 修饰的方法，key_comp() 不会改变调用方 ara::core::Map 对象的状态（[SWS_CORE_01488]）。解释：只要不发生并发的修改性访问，针对同一实例的并行读取调用大概无需额外同步即可并发执行。问题 Q-edc374b131543e96 (未决)

本段文本由 AI 基于 AUTOSAR R25-11 规范生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01488
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01488@rel:R25-11#216219e5
Content hash: 216219e5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01488

Status: valid/unmigrated Version: rel:R25-11#d519dd6c Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01488@rel:R25-11#d519dd6c

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 lower_bound [SWS_CORE_01498]

iterator lower_bound (const key_type &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： aa9bbd8219b1 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

来自头文件 ara/core/map.h 的类 ara::core::Map 的成员函数 lower_bound 查找其键不小于所传入参数 x 的第一个条目 [SWS_CORE_01498]。该调用在非常量实例上同步进行，并返回指向找到的元素或容器末尾的可变 iterator。其功能行为遵循 [map] [SWS_CORE_01498] 的对应语义。

错误处理与异常安全性

根据规范，该函数被归类为非异常安全（not exception safe）[SWS_CORE_01498]。有效负载中未定义特定的错误代码、针对错误状态的返回值或发往诊断或错误管理器的消息。

并发性与限制

由于该调用返回指向内部数据结构的可修改迭代器，因此在没有单独保护的情况下，对同一实例的并发访问推测不具备并发安全性或线程安全性。问题 Q-aeecd89c11b1f8a0 (未决)

与相关接口的交互

该函数是 ara::core::Map 内查找操作族的一部分：

对于常量容器上的读取访问，存在带有 const key_type & 的重载，其返回 const_iterator [SWS_CORE_01499]。
对于任意类型 K 的异构查找键，无论是对于可修改实例 [SWS_CORE_01500] 还是常量实例 [SWS_CORE_01501]，均提供基于模板的重载。

此使用说明是基于规范要求自动生成的。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01498
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01498@rel:R25-11#1b2dddcb
Content hash: 1b2dddcb
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01498

Status: valid/unmigrated Version: rel:R25-11#dc6e9549 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01498@rel:R25-11#dc6e9549

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 lower_bound [SWS_CORE_01499]

const_iterator lower_bound (const key_type &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 4c7c184eb48f 来源

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的常量成员函数 lower_bound 根据 [SWS_CORE_01499] 用于查找键不位于所传入键值之前的首个元素。该调用同步进行并通过头文件 #include "ara/core/map.h" 提供。其语义遵循 [SWS_CORE_01499] 中 std::map 的相应用法。

参数与返回值

该函数接收对所搜索键的常量引用 const key_type &x 作为参数。作为返回值，它提供指向找到的元素的 const_iterator，若不存在匹配条目，则提供尾迭代器。由于这是一个带有 const 限定的方法，返回的迭代器不允许对所引用的元素进行修改性访问。

错误处理与限制

关于异常安全性，该方法在规范中被明确声明为 not exception safe [SWS_CORE_01499]。因此，在发生错误或异常时（例如在用户定义的比较操作中），调用者无法依赖有保证的状态保留。

与相关函数的相互作用

在 ara::core::Map 内存在 lower_bound 的互补重载：

[SWS_CORE_01498] 为可修改实例提供了非常量变体 iterator lower_bound (const key_type &x)。
[SWS_CORE_01500] 和 [SWS_CORE_01501] 提供了函数模板 template <class K> lower_bound (const K &x)，允许使用兼容的备选键类型进行搜索。

本文由 AI 基于 AUTOSAR 规范 R25-11 生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01499
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01499@rel:R25-11#9751689c
Content hash: 9751689c
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01499

Status: valid/unmigrated Version: rel:R25-11#570400d1 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01499@rel:R25-11#570400d1

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 lower_bound [SWS_CORE_01500]

template <class K> iterator lower_bound (const K &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 2a6e55b69e38 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

模板成员函数 lower_bound 属于类 ara::core::Map 的作用域，并通过头文件 ara/core/map.h 提供 [SWS_CORE_01500]。它接收引用参数 const K &x，并返回指向找到的元素的可修改 iterator [SWS_CORE_01500]。规范中将其语义标示为“As per corresponding usage in [map]”[SWS_CORE_01500]。解读：这应该意味着该调用同步定位其键在排序关系意义上不位于 x 之前的首个元素。问题 Q-5403b14556f1c26c (未决)

错误处理与边界条件

关于异常安全性，该函数被显式分类为 not exception safe [SWS_CORE_01500]。规范范围内未规定特定错误码、错误状态或诸如 DET 或 DEM 消息之类的通知机制。在源材料中未定义关于可重入性或调用上下文的进一步显式规定。

相互作用

在 ara::core::Map 内部，该函数构成了带有 const_iterator 的常量模板搜索函数的可见修改对应项 [SWS_CORE_01501]。两种泛型变体补充了针对类型为 key_type 的键的非模板化重载，这些重载以可变迭代器 [SWS_CORE_01498] 以及 const_iterator [SWS_CORE_01499] 形式存在，并共享相同的异常分类。

此使用说明基于 Release R25-11 自动生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01500
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01500@rel:R25-11#6c7f4bf6
Content hash: 6c7f4bf6
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01500

Status: valid/unmigrated Version: rel:R25-11#ec7fdf4d Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01500@rel:R25-11#ec7fdf4d

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 lower_bound [SWS_CORE_01501]

template <class K> const_iterator lower_bound (const K &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 5864db614cbd 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

ara::core::Map 的模板成员函数 lower_bound 用于在 map 的常量实例上进行基于键的搜索 [SWS_CORE_01501]。它通过头文件 ara/core/map.h 声明，并返回指向所找到元素的 const_iterator [SWS_CORE_01501]。

用法与语义：该函数接收搜索键 const K &x。根据规范，其行为符合 [map] [SWS_CORE_01501] 中的常规语义。解读：通过针对类型 K 的参数化，只要存在匹配的比较运算符，应该支持异构键搜索，而无需创建键类型的临时对象。问题 Q-e52e674751088371 (未决)由于这是一个常量成员函数，容器的状态保持不变。

错误处理与异常安全性：未规定特定错误码或 DET/DEM 消息。该函数在规范中被明确声明为非异常安全（“not exception safe”）[SWS_CORE_01501]。解读：若在键比较期间发生任何错误，推测异常将直接传播给调用者，而容器不会提供更进一步的保证。问题 Q-2ac7db2f5ddf8a41 (未决)

协同与重载：该函数是 ara::core::Map 内四成员重载族的一部分：

本变体为泛型键 [SWS_CORE_01501] 提供一个 const_iterator。
非常量模板重载为泛型键返回一个可变 iterator [SWS_CORE_01500]。
对于使用精确 key_type 的直接查询，存在作为可变方法 [SWS_CORE_01498] 以及作为常量方法 [SWS_CORE_01499] 的非泛型变体。

此使用说明基于 AUTOSAR R25-11 规范自动生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01501
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01501@rel:R25-11#560100e4
Content hash: 560100e4
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01501

Status: valid/unmigrated Version: rel:R25-11#b554f5cf Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01501@rel:R25-11#b554f5cf

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 max_size [SWS_CORE_01453]

size_type max_size () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01453
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01453@rel:R25-11#656655ed
Content hash: 656655ed
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01453

Status: valid/unmigrated Version: rel:R25-11#4be29881 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01453@rel:R25-11#4be29881

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 merge [SWS_CORE_01486]

template <class C2> void merge (Map< Key, T, C2, Allocator > &source);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 365891479fa7 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

来自头文件 ara/core/map.h 的类 ara::core::Map 的模板成员函数 merge 从源容器 [SWS_CORE_01486] 接收条目。该调用通过签名 template <class C2> void merge (Map< Key, T, C2, Allocator > &source) 同步执行，且没有返回值 [SWS_CORE_01486]。通过模板参数 C2，传入的左值引用 source 可以具有不同的比较运算符，但必须在键、值和分配器类型上保持一致 [SWS_CORE_01486]。

规范在行为方面引用了 [map] 中的相应用法 [SWS_CORE_01486]。Interpretation：“As per corresponding usage in [map]”这一引用大概意味着从 source 中提取元素并在不进行元素复制的情况下将其插入到调用实例中，而键冲突项则保留在 source 中。问题 Q-6c7075c709802b8b (未决)该函数未规划特定的错误代码、错误消息或诸如 DET 或 DEM 的监控机制。

关于错误和异常安全性，merge 被明确归类为“not exception safe”[SWS_CORE_01486]。如果在操作过程中发生错误，相关容器的状态大概无法保证一致。问题 (未决)对相同容器的并发访问必须进行外部同步。

在与相关接口的协作中，除了此左值变体外，还存在互补的右值重载 template <class C2> void merge (Map< Key, T, C2, Allocator > &&source) [SWS_CORE_01487]。这允许在相同的规范条件下直接合并临时实例或通过移动传递的实例，且同样被归类为非异常安全 [SWS_CORE_01487]。

本文字由 AI 系统基于 AUTOSAR 规范 R25-11 生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01486
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01486@rel:R25-11#db63a352
Content hash: db63a352
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01486

Status: valid/unmigrated Version: rel:R25-11#7515e74a Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01486@rel:R25-11#7515e74a

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 merge [SWS_CORE_01487]

template <class C2> void merge (Map< Key, T, C2, Allocator > &&source);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 40d4050c1dff 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map（[SWS_CORE_01487]）的模板成员函数 merge 由头文件 #include "ara/core/map.h" 提供，用于同步合并两个 map。它从传入的右值容器 source 中接管元素。通过模板参数 C2，源 map 可以具有不同的比较函数类型。其业务行为完全遵循 [map]（[SWS_CORE_01487]）中的相应用法。

关于健壮性和错误处理，该函数被显式归类为 not exception safe（[SWS_CORE_01487]）。返回类型为 void。AUTOSAR 有效负载中未定义特定错误码、返回值或向 DET 或 DEM 发送的错误报告。如果在插入过程或键比较期间发生异常，两个相关容器大概可能会保留在不完整的中间状态，因为无法保证恢复原始状态。问题 Q-e6d980ffc7947c39 (未决)

在接口交互方面，[SWS_CORE_01487] 构成了带有可修改左值引用 [SWS_CORE_01486] 的重载的右值对应项。[SWS_CORE_01486] 引用现有的左值，而 [SWS_CORE_01487] 允许直接且高效地传递临时实例或显式移动的右值。源容器 source 在操作过程中被同步修改，因为其元素被转移到了目标 map 中。

本文本由 AI 创建，仅供参考。具有约束力的是 AUTOSAR 规范。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01487
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01487@rel:R25-11#786721e9
Content hash: 786721e9
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01487

Status: valid/unmigrated Version: rel:R25-11#653434fc Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01487@rel:R25-11#653434fc

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 operator= [SWS_CORE_01425] Upstream: RS_AP_00145

Map & operator= (const Map &x)=default;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01425
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01425@rel:R25-11#cb4ee9d0
Content hash: cb4ee9d0
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01425

Status: valid/unmigrated Version: rel:R25-11#d124ce6c Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01425@rel:R25-11#d124ce6c

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 operator= [SWS_CORE_01427] Upstream: RS_AP_00145

Map & operator= (Map &&x) noexcept(std::allocator_traits< Allocator >::is_always_equal::value &&std::is_nothrow_move_assignable< Compare >::value);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	conditionally exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01427
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01427@rel:R25-11#104ab2ee
Content hash: 104ab2ee
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01427

Status: valid/unmigrated Version: rel:R25-11#6a681155 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01427@rel:R25-11#6a681155

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 operator= [SWS_CORE_01438]

Map & operator= (std::initializer_list< value_type >);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01438
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01438@rel:R25-11#2cf55be6
Content hash: 2cf55be6
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01438

Status: valid/unmigrated Version: rel:R25-11#83dd9db0 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01438@rel:R25-11#83dd9db0

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 operator[] [SWS_CORE_01454]

mapped_type & operator[] (const key_type &x);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01454
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01454@rel:R25-11#5b6abf99
Content hash: 5b6abf99
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01454

Status: valid/unmigrated Version: rel:R25-11#34b7ab26 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01454@rel:R25-11#34b7ab26

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 operator[] [SWS_CORE_01455]

mapped_type & operator[] (key_type &&x);

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01455
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01455@rel:R25-11#5496472c
Content hash: 5496472c
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01455

Status: valid/unmigrated Version: rel:R25-11#25a5b0f0 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01455@rel:R25-11#25a5b0f0

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 rbegin [SWS_CORE_01444]

reverse_iterator rbegin () noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01444
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01444@rel:R25-11#ccef18f5
Content hash: ccef18f5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01444

Status: valid/unmigrated Version: rel:R25-11#d282c0e1 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01444@rel:R25-11#d282c0e1

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 rbegin [SWS_CORE_01445]

const_reverse_iterator rbegin () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01445
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01445@rel:R25-11#99bc374d
Content hash: 99bc374d
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01445

Status: valid/unmigrated Version: rel:R25-11#7046e0be Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01445@rel:R25-11#7046e0be

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 rend [SWS_CORE_01446]

reverse_iterator rend () noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01446
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01446@rel:R25-11#f634accd
Content hash: f634accd
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01446

Status: valid/unmigrated Version: rel:R25-11#df7a7ed3 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01446@rel:R25-11#df7a7ed3

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 rend [SWS_CORE_01447]

const_reverse_iterator rend () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01447
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01447@rel:R25-11#753c24f5
Content hash: 753c24f5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01447

Status: valid/unmigrated Version: rel:R25-11#0de97c81 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01447@rel:R25-11#0de97c81

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 size [SWS_CORE_01452]

size_type size () const noexcept;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01452
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01452@rel:R25-11#aab01350
Content hash: aab01350
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01452

Status: valid/unmigrated Version: rel:R25-11#55e19612 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01452@rel:R25-11#55e19612

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 swap [SWS_CORE_01484]

void swap (Map &) noexcept(std::allocator_traits< Allocator >::is_ always_equal::value &&ara::core::is_nothrow_swappable< Compare >::value);

As per corresponding usage in [map] except for the following deviations: 1. ara::core::is_nothrow_swappable shall be used in place of the std:: implementation

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	conditionally exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01484
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01484@rel:R25-11#f5aeae92
Content hash: f5aeae92
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01484

Status: valid/unmigrated Version: rel:R25-11#3e345d19 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01484@rel:R25-11#3e345d19

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 try_emplace [SWS_CORE_01472]

template <class... Args> std::pair< iterator, bool > try_emplace (const key_type &k, Args &&... args);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： d4397e48e779 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map 的函数 try_emplace 通过头文件 ara/core/map.h 提供 [SWS_CORE_01472]。它用于同步插入新的键值对。该函数接收作为常量引用的键 const key_type& k，并转发可变参数 Args&&... args 以就地构造相应的值。它返回一个 std::pair<iterator, bool> 作为返回值：迭代器指向具有指定键的元素，而布尔值指示是否实际插入了新元素。

错误处理与限制

规范明确将该操作归类为“not exception safe” [SWS_CORE_01472]。模块配置文件中未规定特定的错误代码、错误对象或面向 DET 及 DEM 的接口。由于未定义同步预防措施，对同一 map 实例不受保护的并发调用推测不是线程安全的（解释）。问题 Q-e78bc53469fb15b8 (未决)

相互作用

语义遵从 [map] [SWS_CORE_01472] 的对应行为，因此只有在键尚不存在的情况下才应该构造该值（解释）。问题 Q-a9ba7465140b4ef6 (未决)除此签名外，还提供了其他重载：

针对键的右值引用的重载 key_type&& k，返回 std::pair<iterator, bool> [SWS_CORE_01473]。
带有位置提示（const_iterator hint）的重载，直接返回 iterator，分别针对 const key_type& [SWS_CORE_01474] 和 key_type&& [SWS_CORE_01475]。

本文档由人工智能生成，用作 AUTOSAR 规范的参考指南。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01472
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01472@rel:R25-11#5b6ba7e2
Content hash: 5b6ba7e2
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01472

Status: valid/unmigrated Version: rel:R25-11#3b0e3a4f Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01472@rel:R25-11#3b0e3a4f

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 try_emplace [SWS_CORE_01473]

template <class... Args> std::pair< iterator, bool > try_emplace (key_type &&k, Args &&... args);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 546b14066482 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

用法与调用上下文

类 ara::core::Map（[SWS_CORE_01473]）的模板成员函数 try_emplace 用于使用右值键（key_type&& k）和转发参数（Args&&... args）条件性地插入新元素。它同步返回一个 std::pair<iterator, bool> 作为返回值，其迭代器指向找到的或新插入的元素，其布尔值指示该键是否为新插入（[SWS_CORE_01473]）。

根据规范，功能行为遵从 [map] 中的用法（[SWS_CORE_01473]）。解释：这应该意味着，在键已存在的情况下，既不进行插入，也不构造关联对象，并且传入的右值键保持不变。问题 Q-b07d599818bd6110 (未决)

错误处理与边界条件

在异常处理方面，该函数被明确归类为“not exception safe”（[SWS_CORE_01473]）。如果在分配或构造过程中发生异常，则不对容器的一致性提供任何保证。对于此调用，未指定特定的错误代码或通过 DET 或 DEM 的错误通道（[SWS_CORE_01473]）。

与相关接口的交互

在头文件 ara/core/map.h 中声明的函数由 try_emplace 的其他重载补充（[SWS_CORE_01473]）：

[SWS_CORE_01472] 将键绑定为无提示的常量左值引用（const key_type& k）。
[SWS_CORE_01474] 和 [SWS_CORE_01475] 额外接受一个迭代器提示（const_iterator hint），用于针对左值或右值键优化插入位置，并直接返回一个迭代器。

此使用说明自动生成，且完全基于 AUTOSAR R25-11 的规范数据。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01473
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01473@rel:R25-11#496c9b9a
Content hash: 496c9b9a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01473

Status: valid/unmigrated Version: rel:R25-11#e9a70175 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01473@rel:R25-11#e9a70175

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 try_emplace [SWS_CORE_01474]

template <class... Args> iterator try_emplace (const_iterator hint, const key_type &k, Args &&... args);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 598b8dfbcd46 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Map 的模板成员函数 try_emplace 用于在指定位置建议的情况下插入元素 [SWS_CORE_01474]。它通过头文件 #include "ara/core/map.h" 定义，并接收 const_iterator 类型的迭代器 hint、常量键引用 const key_type &k 以及用于待构造值 [SWS_CORE_01474] 的转发参数 Args &&... args 作为参数。作为返回值，同步调用返回指向该元素的 iterator [SWS_CORE_01474]。

关于执行流程，规范指引参考 [map] 中的相应用法 [SWS_CORE_01474]。解释：此处仅当键 k 在 map 中尚不存在时，才可能直接创建该元素；如果它已存在，则不进行构造，并返回指向现有条目的迭代器。问题 Q-73f044143aea7ff3 (未决)参数 hint 大概用作加速插入过程的优化提示。

关于错误安全性，该函数被明确归类为 not exception safe [SWS_CORE_01474]。来源中未指定具体的 AUTOSAR 错误码或向 DET 或 DEM 发送的报告。

在 ara::core::Map 内部的协作中，该函数补充了相关的重载：

不带位置提示且带有左值键的变体 try_emplace(const key_type &k, Args &&... args) 返回 std::pair<iterator, bool> [SWS_CORE_01472]。
针对可移动键且不带提示的重载 try_emplace(key_type &&k, Args &&... args) 同样返回 std::pair<iterator, bool> [SWS_CORE_01473]。
针对右值键且带有提示的姊妹函数 try_emplace(const_iterator hint, key_type &&k, Args &&... args) 与此重载一样返回纯 iterator [SWS_CORE_01475]。

本使用说明根据 AUTOSAR 规范自动化生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01474
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01474@rel:R25-11#cd02f0d8
Content hash: cd02f0d8
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01474

Status: valid/unmigrated Version: rel:R25-11#5c16ab6b Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01474@rel:R25-11#5c16ab6b

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 try_emplace [SWS_CORE_01475]

template <class... Args> iterator try_emplace (const_iterator hint, key_type &&k, Args &&... args);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： eabc0f3bbb29 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

头文件 <ara/core/map.h> 中定义的类 ara::core::Map（[SWS_CORE_01475]）的模板成员函数 try_emplace 用于通过使用右值键 k 和变参参数 args... 直接插入值元素。其语义遵循 [map] 的行为（[SWS_CORE_01475]）。迭代器参数 hint 大概用作优化插入过程的位置建议。问题 Q-7c1e167073282bf2 (未决)

如果容器中尚不存在指定的键，则构造一个新元素；如果该键已存在，则推测不进行值的创建，并且根据该解释不会修改 k。问题 Q-1ee561e5f4262e42 (未决)作为返回值，该函数返回指向新插入或已存在元素的 iterator（[SWS_CORE_01475]）。

关于容错性，该函数被明确指定为 not exception safe（[SWS_CORE_01475]）。标准中未规定特定的错误码或 DET/DEM 报告。

在 ara::core::Map 的接口集合中，此重载使插入操作趋于完整：不带 hint 的重载（[SWS_CORE_01472]、[SWS_CORE_01473]）返回 std::pair<iterator, bool>，而这一带有 hint 的变体与用于常量键引用的重载（[SWS_CORE_01474]）一样，直接返回一个 iterator。

本文本由 AI 系统基于 AUTOSAR R25-11 规范生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01475
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01475@rel:R25-11#9cf11e39
Content hash: 9cf11e39
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01475

Status: valid/unmigrated Version: rel:R25-11#00240490 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01475@rel:R25-11#00240490

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 upper_bound [SWS_CORE_01502]

iterator upper_bound (const key_type &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 3f918f51e676 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

用法与语义

类 ara::core::Map（[SWS_CORE_01502]）的成员函数 upper_bound 用于在已排序关联容器中同步查找元素。它接收类型为 const key_type& 的引用参数 x，并返回一个可变 iterator。其功能语义被指定为符合标准关联容器中的常规用法（“As per corresponding usage in [map]”）[SWS_CORE_01502]。解读：返回的迭代器因而指向其键严格大于所传入键 x 的第一个元素；如果不存在此类元素，则推测返回 end()。问题 Q-32f50e1ebee2ade4 (未决)

错误处理与边界条件

在执行安全性方面，upper_bound 被显式归类为非异常安全（not exception safe）[SWS_CORE_01502]。未针对该操作定义特定的错误码、通过 ara::core::Result 的返回值或 DET/DEM 等机制。由于必须考虑修改操作或缺乏分配与运行时保证的情况，调用组件必须采取防范措施，以捕获或限制周围环境中出现的异常。

并发性

该规范未针对并发访问 ara::core::Map 的同一实例定义重入性或线程安全保证 [SWS_CORE_01502]。由于该函数返回一个可变 iterator，通过它可以修改所引用的值，因此若无外部同步，并发读取或写入访问可能导致数据竞争。问题 (未决)

相互作用与重载

该函数是头文件 ara/core/map.h 中 ara::core::Map 内部查找操作族的一部分：

对于纯读取实例，常量重载 const_iterator upper_bound(const key_type& x) const 可供使用 [SWS_CORE_01503]。
对于使用兼容比较类型 K 且无需强制转换为 key_type 的透明查找查询，存在用于可变迭代器的模板重载 [SWS_CORE_01504] 以及用于常量访问的模板重载 [SWS_CORE_01505]。

本使用说明基于 AUTOSAR Adaptive R25-11 规范自动生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01502
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01502@rel:R25-11#f25b0631
Content hash: f25b0631
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01502

Status: valid/unmigrated Version: rel:R25-11#dc2f1340 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01502@rel:R25-11#dc2f1340

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 upper_bound [SWS_CORE_01503]

const_iterator upper_bound (const key_type &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 43c8ad41ac50 来源未决问题（3）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

用法与调用上下文

函数 upper_bound 是类 ara::core::Map 的常量成员函数，并通过头文件 ara/core/map.h 包含 [SWS_CORE_01503]。它接收一个对查找键 const key_type &x 的引用，并同步返回一个 const_iterator [SWS_CORE_01503]。由于规范将其行为定义为“As per corresponding usage in [map]”，因此返回的迭代器推测指向其键严格大于 x 的第一个元素，或者在不存在此类条目时指向容器末尾。问题 Q-99f4d96274e44b91 (未决)

错误处理与边界条件

关于鲁棒性，该函数被明确归类为 not exception safe [SWS_CORE_01503]。

错误消息：在发生错误时，既未指定特定错误码，也未指定 DET 或 DEM 消息。
异常：如果在查找或键比较过程中发生异常，该方法推测不提供任何异常安全保证；异常可能会直接向上传播至调用方。问题 Q-fe0f9bb1f0577aad (未决)
并发：由于这是只读 const 操作，只要不发生并发写入访问，对同一实例的并发读取访问通常是非关键的（解读）。问题 Q-4cc2d44a26f448b3 (未决)

交互与变体

函数 [SWS_CORE_01503] 是 ara::core::Map 内部重载族的一部分：

[SWS_CORE_01502] 代表非常量变体，它返回一个可修改的 iterator。
[SWS_CORE_01504] 和 [SWS_CORE_01505] 针对异构或透明键类型 const K &x，分别针对非常量和常量实例提供了相应的模板重载。

此使用说明由系统自动生成，完全基于 AUTOSAR Adaptive Platform 的规范数据。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01503
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01503@rel:R25-11#09cd00e3
Content hash: 09cd00e3
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01503

Status: valid/unmigrated Version: rel:R25-11#75ba68b5 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01503@rel:R25-11#75ba68b5

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 upper_bound [SWS_CORE_01504]

template <class K> iterator upper_bound (const K &x);

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： ecf35c49970e 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Map 的模板成员函数 upper_bound 通过头文件 #include "ara/core/map.h" 提供 [SWS_CORE_01504]。它接受泛型类型 K 的引用键 x，并同步返回一个非常量 iterator [SWS_CORE_01504]。其行为符合 std::map 的引用语义 [SWS_CORE_01504]；该模板形式推测用作透明查找，从而可以基于兼容的键类型查找元素，而无需创建 key_type 的临时实例。问题 Q-94d1d5e5f30ab9f7 (未决)

错误处理与异常安全性

针对该函数，规范规定其非异常安全（not exception safe）[SWS_CORE_01504]。针对该调用，未定义特定错误码、AUTOSAR 特定返回值或向 DET 或 DEM 发送的消息 [SWS_CORE_01504]。如果在比较过程中调用的谓词运算符引发异常，则实现不保证异常安全性 [SWS_CORE_01504]。

并发性与限制

由于 upper_bound 返回指向找到的元素或容器末尾的可变 iterator [SWS_CORE_01504]，因此该调用专为 ara::core::Map 的非常量实例设计。由于规范中缺乏同步机制，该函数对于容器的并行修改推测不具备线程安全性。问题 Q-fd79f3f56c1de09d (未决)

相互作用

该函数补充了用于 key_type 精确实例的非模板重载 [SWS_CORE_01502]。对于常量实例 ara::core::Map 的读取访问，还存在返回 const_iterator 的相应 const 重载：一方面用于 const key_type &x [SWS_CORE_01503]，另一方面用于泛型键类型 const K &x [SWS_CORE_01505]。

本文由 AI 基于 AUTOSAR 规范 R25-11 生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01504
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01504@rel:R25-11#d10ff984
Content hash: d10ff984
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01504

Status: valid/unmigrated Version: rel:R25-11#55aebf43 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01504@rel:R25-11#55aebf43

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 upper_bound [SWS_CORE_01505]

template <class K> const_iterator upper_bound (const K &x) const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： bcefd7c54186 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

用法与语义

函数 upper_bound 是类 ara::core::Map 的常量模板成员函数，并通过头文件 ara/core/map.h 提供 [SWS_CORE_01505]。通过模板参数 K，该函数接收一个引用 const K &x 并返回一个 const_iterator [SWS_CORE_01505]。执行语义在规范中通过引用“As per corresponding usage in [map]”确定 [SWS_CORE_01505]。解读：该引用推测是指 std::map::upper_bound 的行为，即返回指向其键大于所传入查找实参的第一个条目的迭代器。问题 Q-d32248cdd46a6294 (未决)

错误处理与边界条件

关于错误行为，该元素在规范中被显式声明为“not exception safe”[SWS_CORE_01505]。未规定特定的 DET 或 DEM 消息以及错误码。调用方必须考虑到，在发生异常时不提供任何异常安全保证 [SWS_CORE_01505]。

协作与相关要求

针对常量容器的模板查找函数补充了 ara::core::Map 内部 upper_bound 的另外三个重载：

具有固定键类型 [SWS_CORE_01502] 的非常量基础查找 iterator upper_bound(const key_type &x)。
常量基础查找 const_iterator upper_bound(const key_type &x) const [SWS_CORE_01503]。
用于可变实例的非常量模板重载 template <class K> iterator upper_bound(const K &x) [SWS_CORE_01504]。

相比于 [SWS_CORE_01503]，[SWS_CORE_01505] 的模板签名允许在常量实例上执行异构查找操作，而无需创建类型为 key_type 的临时对象。

本文本由 AI 基于规范数据生成。

实现者指南即将推出（复杂度 I1）

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01505
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01505@rel:R25-11#e66f7a50
Content hash: e66f7a50
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01505

Status: valid/unmigrated Version: rel:R25-11#55974770 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01505@rel:R25-11#55974770

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 value_comp [SWS_CORE_01489]

value_compare value_comp () const;

As per corresponding usage in [map]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 5ec2dd689a7d 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

函数 value_comp 是模块 core 中类 ara::core::Map 的成员函数，通过头文件 #include "ara/core/map.h" 引入 [SWS_CORE_01489]。它具有签名 value_compare value_comp () const;，不接收任何参数，并同步返回类型为 value_compare 的比较对象 [SWS_CORE_01489]。根据规范，其行为遵循 [map] [SWS_CORE_01489] 中的对应用法；推测：类似于 C++ 标准容器 std::map，这可能提供一个函数对象，该对象根据两个元素（键值对）的键对其进行比较。问题 Q-c3499ec8b3cfc22e (未决)

错误处理与异常安全性

规范中注明该函数不是异常安全的（not exception safe）[SWS_CORE_01489]。对于此调用，未规定特定错误码、错误时的异常返回值或 AUTOSAR 诊断消息（如 DET 或 DEM）。

并发性与边界条件

作为常量成员方法（const），value_comp 不会修改 ara::core::Map 实例的逻辑状态 [SWS_CORE_01489]。然而，由于被归类为 not exception safe [SWS_CORE_01489]，使用者应注意，在异常情况下不提供关于状态完整性的保证。规范未提及特殊的顺序条件或重入规定。

该文本由人工智能基于规范生成。

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01489
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01489@rel:R25-11#77a45dc0
Content hash: 77a45dc0
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01489

Status: valid/unmigrated Version: rel:R25-11#4cc14d0a Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01489@rel:R25-11#4cc14d0a

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 ~Map [SWS_CORE_01437] Upstream: RS_AP_00145

~Map ();

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Exception-Sicherheit	not exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01437
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01437@rel:R25-11#f02d0d89
Content hash: f02d0d89
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01437

Status: valid/unmigrated Version: rel:R25-11#7b177a25 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01437@rel:R25-11#7b177a25

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名文档

类型别名 allocator_type [SWS_CORE_01406]

using allocator_type = Allocator;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	allocator_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01406
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01406@rel:R25-11#fab93d8e
Content hash: fab93d8e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01406

Status: valid/unmigrated Version: rel:R25-11#be047cd7 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01406@rel:R25-11#be047cd7

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 const_iterator [SWS_CORE_01414]

using const_iterator = {<const-iterator-type>};

As per corresponding usage in [map] Implementation {<const-iterator-type>} shall be an implementation-defined type

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	const_iterator

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01414
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01414@rel:R25-11#dd9cea97
Content hash: dd9cea97
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01414

Status: valid/unmigrated Version: rel:R25-11#67b3e542 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01414@rel:R25-11#67b3e542

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 const_pointer [SWS_CORE_01408]

using const_pointer = typename std::allocator_ traits<Allocator>::const_pointer;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	const_pointer

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01408
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01408@rel:R25-11#9096d680
Content hash: 9096d680
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01408

Status: valid/unmigrated Version: rel:R25-11#51487e1c Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01408@rel:R25-11#51487e1c

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 const_reference [SWS_CORE_01410]

using const_reference = const value_type&;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	const_reference

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01410
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01410@rel:R25-11#3e28d571
Content hash: 3e28d571
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01410

Status: valid/unmigrated Version: rel:R25-11#60d17031 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01410@rel:R25-11#60d17031

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 const_reverse_iterator [SWS_CORE_01416]

using const_reverse_iterator = std::reverse_iterator<const_iterator>;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	const_reverse_iterator

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01416
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01416@rel:R25-11#f317371b
Content hash: f317371b
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01416

Status: valid/unmigrated Version: rel:R25-11#9dbf5b5c Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01416@rel:R25-11#9dbf5b5c

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 difference_type [SWS_CORE_01412]

using difference_type = {<difference-type>};

As per corresponding usage in [map] Implementation {<difference-type>} shall be an implementation-defined type

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	difference_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01412
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01412@rel:R25-11#b700291c
Content hash: b700291c
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01412

Status: valid/unmigrated Version: rel:R25-11#f02f920f Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01412@rel:R25-11#f02f920f

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 insert_return_type [SWS_CORE_01418]

using insert_return_type = {<insert-return-type>}<iterator, node_ type>;

As per corresponding usage in [map] Implementation {<insert-return-type>} shall be an implementation-defined type

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	insert_return_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01418
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01418@rel:R25-11#2c3411c6
Content hash: 2c3411c6
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01418

Status: valid/unmigrated Version: rel:R25-11#f1c1f3a0 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01418@rel:R25-11#f1c1f3a0

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 iterator [SWS_CORE_01413]

using iterator = {<iterator-type>};

As per corresponding usage in [map] Implementation {<iterator-type>} shall be an implementation-defined type

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	iterator

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01413
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01413@rel:R25-11#87837b0e
Content hash: 87837b0e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01413

Status: valid/unmigrated Version: rel:R25-11#55c9cd78 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01413@rel:R25-11#55c9cd78

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 key_compare [SWS_CORE_01405]

using key_compare = Compare;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	key_compare

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01405
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01405@rel:R25-11#71d8ab3d
Content hash: 71d8ab3d
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01405

Status: valid/unmigrated Version: rel:R25-11#d8ad980c Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01405@rel:R25-11#d8ad980c

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 key_type [SWS_CORE_01402]

using key_type = Key;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	key_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01402
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01402@rel:R25-11#902c4535
Content hash: 902c4535
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01402

Status: valid/unmigrated Version: rel:R25-11#c965c6a4 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01402@rel:R25-11#c965c6a4

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 mapped_type [SWS_CORE_01403]

using mapped_type = T;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	mapped_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01403
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01403@rel:R25-11#7a4efd0d
Content hash: 7a4efd0d
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01403

Status: valid/unmigrated Version: rel:R25-11#13b3d54b Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01403@rel:R25-11#13b3d54b

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 node_type [SWS_CORE_01417]

using node_type = {<node-type>};

As per corresponding usage in [map] Implementation {<node-type>} shall be an implementation-defined type

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	node_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01417
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01417@rel:R25-11#d61fcb01
Content hash: d61fcb01
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01417

Status: valid/unmigrated Version: rel:R25-11#4a7546df Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01417@rel:R25-11#4a7546df

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 pointer [SWS_CORE_01407]

using pointer = typename std::allocator_traits<Allocator>::pointer;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	pointer

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01407
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01407@rel:R25-11#3facdd46
Content hash: 3facdd46
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01407

Status: valid/unmigrated Version: rel:R25-11#bd62b14b Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01407@rel:R25-11#bd62b14b

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 reference [SWS_CORE_01409]

using reference = value_type&;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	reference

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01409
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01409@rel:R25-11#b640119e
Content hash: b640119e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01409

Status: valid/unmigrated Version: rel:R25-11#17f3af7e Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01409@rel:R25-11#17f3af7e

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 reverse_iterator [SWS_CORE_01415]

using reverse_iterator = std::reverse_iterator<iterator>;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	reverse_iterator

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01415
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01415@rel:R25-11#bb3d4104
Content hash: bb3d4104
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01415

Status: valid/unmigrated Version: rel:R25-11#4371460f Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01415@rel:R25-11#4371460f

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 size_type [SWS_CORE_01411]

using size_type = {<size-type>};

As per corresponding usage in [map] Implementation {<size-type>} shall be an implementation-defined type

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	size_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01411
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01411@rel:R25-11#2b122a2e
Content hash: 2b122a2e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01411

Status: valid/unmigrated Version: rel:R25-11#8abe944f Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01411@rel:R25-11#8abe944f

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 value_type [SWS_CORE_01404]

using value_type = std::pair<const Key, T>;

As per corresponding usage in [map]

Header-Datei	#include "ara/core/map.h"
Scope	class ara::core::Map
Symbol	value_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01404
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01404@rel:R25-11#02bcef43
Content hash: 02bcef43
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01404

Status: valid/unmigrated Version: rel:R25-11#8ecb2597 Versionshistorie & Revisions (1 transition)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01404@rel:R25-11#8ecb2597

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类 ara::core::Map

用户指南人工智能生成

上下文

生命周期

使用路径

错误场景

成员图

构造函数和析构函数

方法

运算符

类型别名

嵌套类型

类图

详细视图

构造函数和析构函数

方法

运算符

类型别名

嵌套类型

方法文档

函数 Map [SWS_CORE_01424] Upstream: RS_AP_00145

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01426] Upstream: RS_AP_00145

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01428]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01429]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01430]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01431]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01432]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01433]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01434]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01435]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Map [SWS_CORE_01436]

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 at [SWS_CORE_01456]

使用

错误处理与边界条件

相互作用

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 at [SWS_CORE_01457]

使用

错误处理与异常行为

并发性与交互

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 begin [SWS_CORE_01440]

Requirement Text as-of this release: