结构体 ara::core::Monostate

根据其与 [variant] 的关联，类 ara::core::Monostate 在模块 core 中用作无状态占位符类型，用于表示变体数据结构中的空状态。Interpretation：当备选有效负载类型未提供默认构造函数时，它推测充当 std::monostate 的对应物，以使 ara::core::Variant 可默认构造。 问题 Q-b724690dfd69af81 (未决)由于该结构定义为 final 且不包含数据字段，因此所有生命周期操作都是平凡的且无需动态资源绑定。这些实例主要用作默认备选项，并且可以在没有同步开销的情况下并发使用。

更多 ›

上下文

类 ara::core::Monostate 代表 AUTOSAR Adaptive Platform 模块 core 内的基础构建块。声明为 struct Monostate final 定义了一个无状态 Unit 类型，其主要职责在于表示类型化和类型内缺少可用值。关于其形式语义和用途，规范指出了在 [variant] 中的对应使用。Interpretation：由此可以推断出，ara::core::Monostate 充当 C++ 标准中 std::monostate 的直接对应物，并与 ara::core::Variant 紧密交互，以为变体配备显式的空状态备选项。 问题 (未决)

在符合标准的 C++ 接口中，用于无参构造的类型化变体构造要求排在第一位的备选类型可默认构造。只要没有业务有效负载类型提供默认构造函数，或者变体初始明确不应表示任何业务状态，ara::core::Monostate 就会在类型列表的第一位承担格式良好的占位符角色。通过将变体初始化与业务数据的实际提供解耦，该类确保在确定性 ECU 软件中，基于变体的接口和函数结果始终可以类型安全、定义明确且内存高效地初始化。

生命周期

ara::core::Monostate 的生命周期具有最大程度的无状态性和最小程度的复杂度。由于该结构声明为 final 且不封装任何数据元素，因此实例不具有可变的内部状态、阶段或状态转换。Interpretation：作为没有自身状态数据的 final 声明占位符类型，ara::core::Monostate 推测可平凡构造、拷贝、移动和销毁，从而使所有生命周期操作均无需动态内存分配、无异常风险且以可忽略的运行时开销执行。 问题 Q-9cf1c06bbd91b6ec (未决)

实例化通常在包含变体的默认构造时隐式发生，或在赋值空状态时显式发生。销毁不需要任何清理操作，因为不绑定操作系统或内存资源。在所有权关系和并发性方面，该类的行为类似于纯基础值类型：可以在不同执行路径上并发创建、拷贝或评估实例，而在类级别上不会发生同步机制或数据竞争。实例的生命周期严格绑定到局部作用域或外围容器。

使用路径

ara::core::Monostate 的典型使用路径与 ara::core::Variant 的声明和处理密不可分。在定义变体时，ara::core::Monostate 被指定在第一位，以允许空的初始状态。如果随后通过其默认构造函数创建变体，它会自动采用该空状态，而无需实例化业务类型。

在程序执行的进一步过程中，使用者通过类型查询或访问者模式检查变体当前是否包含类型 ara::core::Monostate，这表示非活动或未占用状态。一旦存在有效载荷数据，变体就会被相应的业务值覆盖。通过重新赋值 ara::core::Monostate{} 可重置为未占用状态。Interpretation：推测为 ara::core::Monostate 存在相等和比较运算符，因此两个实例的比较始终得出相等，并且可以确定性地计算空状态下变体的关系比较。 问题 (未决)