结构体 ara::core::in_place_index_t

类模板 ara::core::in_place_index_t 用作标记 ara::core::Variant 内特定索引处就地构造的标签类型，以避免目标值不必要的复制或移动操作。实例被针对性地传递给匹配的 Variant 构造函数，其中创建是通过来自 ara/core/utility.h 的默认构造函数进行的 [SWS_CORE_04032]。由于构造函数被定义为 explicit 和 noexcept，因此排除了隐式类型转换，且实例化保证是异常安全的 [SWS_CORE_04032]。

更多 ›

上下文

类模板 ara::core::in_place_index_t 是 AUTOSAR Adaptive Platform 模块 core 中的辅助结构体，并通过头文件 ara/core/utility.h 提供 [SWS_CORE_04032]。其功能作用是充当通过数值索引进行区分的就地操作的唯一标签类型。该类型的一个实例被传递给 ara::core::Variant 的特定构造函数，以指示包含类型的构造应直接就地（“in-place”）执行，而不执行复制或移动操作的意图。

在调用者与和类型（sum type）ara::core::Variant 之间的协作中，ara::core::in_place_index_t 承担标签分发（tag dispatching）的功能。解读：基于索引的区分可能特别适用于包含相同类型的多个备选项的 Variant 实例；在这种情况下，仅通过数据类型进行选择会产生歧义，因此通过模板参数 Index 进行寻址决定了类型包中的精确类型备选项。 问题 Q-fc429a7c9e7e9362 (未决)

生命周期

ara::core::in_place_index_t 的生命周期非常基础，且不存在复杂的状态转换。创建通过默认构造函数 explicit in_place_index_t() noexcept = default; [SWS_CORE_04032] 进行。通过标记为 explicit 阻止了隐式类型转换，从而强制进行显式且类型严格的实例化 [SWS_CORE_04032]。

由于 ara::core::in_place_index_t 纯粹充当指示器且不包含内部属性或动态资源，因此该对象完全是无状态的。其销毁是平凡的，不会带来任何副作用。在并发性方面，该结构体具有内在的线程安全性：由于不存在可变状态，实例可以跨线程边界使用而无需同步开销。

使用路径

使用 ara::core::in_place_index_t 的典型流程分为以下步骤：

• 索引确定：调用者确定表示 ara::core::Variant 内所需备选项的数值模板参数 Index。
• 标签实例化：通过默认构造函数创建 ara::core::in_place_index_t<Index> 的实例 [SWS_CORE_04032]。解读：在实践中，创建可能优选作为临时参数直接在调用中进行。 问题 Q-7c6292c2e97347b0 (未决)
• 构造函数传递：将标签实例作为第一个参数传递给 ara::core::Variant 的构造函数，后跟针对在该位置管理的目标类型的构造函数参数。
• 直接初始化：ara::core::Variant 直接在提供的存储区中构造目标对象，无需事先创建临时副本。

时序图：通过 ara::core::in_place_index_t 就地构造 Variant 值的典型流程。来源：[SWS_CORE_04032]

错误场景

在容错性方面，ara::core::in_place_index_t 表现出极高的鲁棒性。默认构造函数使用 noexcept 指定，并被视为异常安全（“exception safe”）[SWS_CORE_04032]。该结构体既不存在错误码，也不存在定义的错误状态。

隐式转换中的错误使用通过规范为 explicit 在编译期被拒绝 [SWS_CORE_04032]。若在执行 ara::core::Variant 的就地构造函数期间引发异常，该异常并非源自 ara::core::in_place_index_t，而是由所构造目标类型的错误行为所致。