类 ara::core::Variant

[SWS_CORE_01601] Upstream: RS_AP_00130

template <typename...                Types> class Variant {...};

Implementation of std::variant type from [basic.string]

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

用户指南人工智能生成

类型安全地存储来自定义类型集中的恰好一个值，并具有有条件的异常安全性。

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

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

类型安全地存储来自定义类型集中的恰好一个值，并具有有条件的异常安全性。

模板类 ara::core::Variant 用作类型安全的 Union，用于存储和管理来自给定类型集中的恰好一个值 [SWS_CORE_01649]。它支持灵活的构造、赋值和 Emplace 机制，并允许通过 index() 确定活动候选项 [SWS_CORE_01665]。与标准相比，最重要的区别在于所有修改操作均具有修改后的条件式 Noexcept 规范，以及针对状态 valueless_by_exception() 的防护 [SWS_CORE_01666]。

上下文

模板类 ara::core::Variant 代表 AUTOSAR Adaptive Platform 的类型安全 Union，通过头文件 ara/core/variant.h 引入。它封装了对来自编译时定义的类型列表 (template <typename... Types> class Variant) 中恰好一个值的管理。该定义从根本上基于 C++ 标准 [variant] 中 std::variant 的行为，但在异常规范方面具有特定的 AUTOSAR 差异。该类的描述在元数据资产中引用了 [basic.string]；解释：由于所有要求均一致引用标准章节 [variant]，这推测属于编排上的不一致。问题 Q-809de1af74fcb689 (未决)

生命周期

ara::core::Variant 的实例经历从初始化、值切换到销毁的确定性生命周期阶段。创建可以通过初始化第一个候选项的无参默认构造函数 [SWS_CORE_01649] 进行，通过复制和移动构造函数 [SWS_CORE_01650]、[SWS_CORE_01651] 进行，或通过直接值传递 [SWS_CORE_01652] 进行。此外，还提供了通过 in_place_type_t [SWS_CORE_01653]、[SWS_CORE_01654] 以及 in_place_index_t [SWS_CORE_01655]、[SWS_CORE_01656] 进行就地构造的重载，也可与初始化列表结合使用。

在常规状态下，对象始终持有一个有效候选项，其从零开始的索引可通过方法 index() 确定 [SWS_CORE_01665]。如果在构造或赋值期间值切换因抛出异常而失败，实例将转入状态 valueless_by_exception() [SWS_CORE_01666]。对象将保持该状态，直到通过成功的重新初始化再次占用有效候选项。析构函数按规则销毁当前持有的对象，并声明为具有条件的异常安全性 [SWS_CORE_01657]。

状态图：Variant 实例在类型占用有效性与异常状态之间的状态转换。来源：[SWS_CORE_01649]、[SWS_CORE_01657]、[SWS_CORE_01661]、[SWS_CORE_01665]、[SWS_CORE_01666]

使用路径

典型使用流程包括实例化、赋值或替换内容、查询状态以及交换值：

初始化：通过其中一个构造函数创建实例，例如通过直接值传递 [SWS_CORE_01652] 或显式按类型使用 in_place_type_t [SWS_CORE_01653]。
值更新和重新占用：通过复制赋值运算符 [SWS_CORE_01658]、移动赋值运算符 [SWS_CORE_01659] 或通用值赋值 [SWS_CORE_01660] 赋予新值。或者，可以通过 emplace 按类型 [SWS_CORE_01661]、[SWS_CORE_01662] 或按索引 [SWS_CORE_01663]、[SWS_CORE_01664] 直接就地重新构造值。
状态检查：通过 index() [SWS_CORE_01665] 查询活动类型索引，并通过 valueless_by_exception() [SWS_CORE_01666] 防范先前的错误。
对象交换：通过成员函数 swap() [SWS_CORE_01667] 高效交换两个 Variant 实例。

由于当前的规范记录集仅包含成员函数，缺少直接读取操作（如值访问）；访问和访问者函数（类似于 std::get 或 std::visit）推测在命名空间 ara::core 中作为自由辅助函数提供。问题 Q-75847ac18088da57 (未决)

错误场景

错误处理的核心是条件式异常安全性 (conditionally exception safe) 特性。虽然标准库为 std::variant 规定了固定的 Noexcept 规则，但 AUTOSAR 进行了有针对性的偏离：所有构造函数 [SWS_CORE_01650]、[SWS_CORE_01653]、赋值运算符 [SWS_CORE_01658]、emplace 操作 [SWS_CORE_01661]、[SWS_CORE_01663]、交换函数 swap() [SWS_CORE_01667] 以及析构函数 [SWS_CORE_01657] 均为条件式 noexcept。它们的异常保证直接取决于底层类型构造函数的 Noexcept 特性。

如果在赋值或 emplace 调用期间新值的构造抛出异常，Variant 可能会陷入无效中间状态。这通过 valueless_by_exception() 发出信号 [SWS_CORE_01666]。唯独两个查询函数 index() [SWS_CORE_01665] 和 valueless_by_exception() [SWS_CORE_01666] 提供不受限制的 noexcept 保证并且是完全异常安全的。

本指南基于 Adaptive Platform 的 AUTOSAR 规范（Release R25-11，模块 core），并由 AI 策展助手整理。

成员图

类图

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

详细视图

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

此版本没有元素数据

构造函数和析构函数

Variant 函数 8

≙ [variant]

重载 Variant 8

constexpr Variant () noexcept({<cond-noexcept-1>}); SWS_CORE_01649

Variant (const Variant &other) noexcept({<cond-noexcept-2>}); SWS_CORE_01650

Variant (Variant &&other) noexcept({<cond-noexcept-3>}); SWS_CORE_01651

template <typename T> constexpr Variant (T &&value) noexcept({<cond-noexcept-4>}); SWS_CORE_01652

template <typename T, typename... Args> explicit constexpr Variant (in_place_type_t< T > tag, Args &&... args) noexcept(std::is_nothrow_constructible< T, Args... >::value);

SWS_CORE_01653

template <typename T, typename U, typename... Args> explicit constexpr Variant (in_place_type_t< T > tag, std::initializer_list< U > il, Args &&... args) noexcept(std::is_ nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value);

SWS_CORE_01654

template <std::size_t I, typename... Args> explicit constexpr Variant (in_place_index_t< I > tag, Args &&... args) noexcept({<cond-noexcept-5>});

SWS_CORE_01655

template <std::size_t I, typename U, typename... Args> explicit constexpr Variant (in_place_index_t< I > tag, std::initializer_list< U > il, Args &&... args) noexcept( {<cond-noexcept-6>});

SWS_CORE_01656

~Variant 函数

except for the following deviations: 1. Function is conditionally noexcept ≙ [variant]

~Variant () noexcept({<cond-noexcept-7>});

方法

emplace 函数 4

except for the following deviations: 1. Function is conditionally noexcept ≙ [variant]

重载 emplace 4

template <typename T, typename... Args> T & emplace (Args &&... args) noexcept(std::is_nothrow_constructible< T, Args... >::value);

SWS_CORE_01661

template <typename T, typename U, typename... Args> T & emplace (std::initializer_list< U > il, Args &&... args) noexcept(std::is_nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value);

SWS_CORE_01662

template <std::size_t I, typename... Args> variant_alternative_t< I, Variant< Types... > > & emplace (Args &&... args) noexcept({<cond-noexcept-11>});

SWS_CORE_01663

template <std::size_t I, typename U, typename... Args> variant_alternative_t< I, Variant< Types... > > & emplace (std::initializer_list< U > il, Args &&... args) noexcept( {<cond-noexcept-12>});

SWS_CORE_01664

index 函数

≙ [variant]

constexpr std::size_t index () const noexcept;

swap 函数

except for the following deviations: 1. Conditions for the conditional exception safety are modified ≙ [variant]

void swap (Variant &other) noexcept({<cond-noexcept-13>});

valueless_by_exception 函数

≙ [variant]

constexpr bool valueless_by_exception () const noexcept;

运算符

operator= 函数 3

except for the following deviations: 1. Function is conditionally noexcept ≙ [variant]

重载 = 3

constexpr Variant & operator= (const Variant &other) noexcept( {<cond-noexcept-8>}); SWS_CORE_01658

constexpr Variant & operator= (Variant &&other) noexcept( {<cond-noexcept-9>}); SWS_CORE_01659

template <typename T> Variant & operator= (T &&value) noexcept({<cond-noexcept-10>}); SWS_CORE_01660

点击条目以查看其关系。

方法文档

函数 Variant [SWS_CORE_01649]

constexpr Variant () noexcept({<cond-noexcept-1>});

As per corresponding usage in [variant]

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01649
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01649@rel:R25-11#51740d7a
Content hash: 51740d7a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01649

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

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_01649@rel:R25-11#db2002ad

Recorded Revisions (3):

R25-11rel:R25-11#300cfb642026-09-30
R24-11rel:R24-11#93873aed2026-10-14
R25-11rel:R25-11#db2002ad2026-10-14 active

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

函数 Variant [SWS_CORE_01650]

Variant (const Variant &other) noexcept({<cond-noexcept-2>});

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01650
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01650@rel:R25-11#34e30d73
Content hash: 34e30d73
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01650

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

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_01650@rel:R25-11#b0ca00aa

Recorded Revisions (3):

R25-11rel:R25-11#d7b9f4212026-09-30
R24-11rel:R24-11#8ec330a02026-10-14
R25-11rel:R25-11#b0ca00aa2026-10-14 active

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

函数 Variant [SWS_CORE_01651]

Variant (Variant &&other) noexcept({<cond-noexcept-3>});

As per corresponding usage in [variant] Move constructor

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01651
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01651@rel:R25-11#e0ebab5b
Content hash: e0ebab5b
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01651

Status: valid/unmigrated Version: rel:R25-11#2e696abb Versionshistorie & Revisions (1 transition, 3 revision)

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_01651@rel:R25-11#2e696abb

Recorded Revisions (3):

R25-11rel:R25-11#6c1826782026-09-30
R24-11rel:R24-11#7374aec42026-10-14
R25-11rel:R25-11#2e696abb2026-10-14 active

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

函数 Variant [SWS_CORE_01652]

template <typename T> constexpr Variant (T &&value) noexcept({<cond-noexcept-4>});

As per corresponding usage in [variant]

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01652
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01652@rel:R25-11#f039efa9
Content hash: f039efa9
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01652

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

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_01652@rel:R25-11#e2bf0fdc

Recorded Revisions (3):

R25-11rel:R25-11#8e7ec9d82026-09-30
R24-11rel:R24-11#db8b85bc2026-10-14
R25-11rel:R25-11#e2bf0fdc2026-10-14 active

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

函数 Variant [SWS_CORE_01653]

template <typename T, typename... Args> explicit constexpr Variant (in_place_type_t< T > tag, Args &&... args) noexcept(std::is_nothrow_constructible< T, Args... >::value);

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01653
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01653@rel:R25-11#31c306d5
Content hash: 31c306d5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01653

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

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_01653@rel:R25-11#b0122423

Recorded Revisions (3):

R25-11rel:R25-11#015da83e2026-09-30
R24-11rel:R24-11#cb5845952026-10-14
R25-11rel:R25-11#b01224232026-10-14 active

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

函数 Variant [SWS_CORE_01654]

template <typename T, typename U, typename... Args> explicit constexpr Variant (in_place_type_t< T > tag, std::initializer_list< U > il, Args &&... args) noexcept(std::is_ nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value);

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01654
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01654@rel:R25-11#aa859238
Content hash: aa859238
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01654

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

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_01654@rel:R25-11#a3d5e977

Recorded Revisions (3):

R25-11rel:R25-11#dbc17b3a2026-09-30
R24-11rel:R24-11#96abcd352026-10-14
R25-11rel:R25-11#a3d5e9772026-10-14 active

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

函数 Variant [SWS_CORE_01655]

template <std::size_t I, typename... Args> explicit constexpr Variant (in_place_index_t< I > tag, Args &&... args) noexcept({<cond-noexcept-5>});

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01655
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01655@rel:R25-11#c5f73fba
Content hash: c5f73fba
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01655

Status: valid/unmigrated Version: rel:R25-11#59578a03 Versionshistorie & Revisions (1 transition, 3 revision)

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_01655@rel:R25-11#59578a03

Recorded Revisions (3):

R25-11rel:R25-11#05d41ae02026-09-30
R24-11rel:R24-11#4731b7332026-10-14
R25-11rel:R25-11#59578a032026-10-14 active

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

函数 Variant [SWS_CORE_01656]

template <std::size_t I, typename U, typename... Args> explicit constexpr Variant (in_place_index_t< I > tag, std::initializer_list< U > il, Args &&... args) noexcept( {<cond-noexcept-6>});

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01656
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01656@rel:R25-11#e2a6ee1e
Content hash: e2a6ee1e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01656

Status: valid/unmigrated Version: rel:R25-11#2e213ddd Versionshistorie & Revisions (1 transition, 3 revision)

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_01656@rel:R25-11#2e213ddd

Recorded Revisions (3):

R25-11rel:R25-11#f254bcf02026-09-30
R24-11rel:R24-11#bff0ca532026-10-14
R25-11rel:R25-11#2e213ddd2026-10-14 active

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_01661]

template <typename T, typename... Args> T & emplace (Args &&... args) noexcept(std::is_nothrow_constructible< T, Args... >::value);

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

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

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

成员函数 emplace 直接在 ara::core::Variant 的现有实例中构造类型 T 的备选值 [SWS_CORE_01661]。该函数通过头文件 #include "ara/core/variant.h" 提供并同步执行 [SWS_CORE_01661]。作为参数，它接收转发引用 args... 并传递给目标类型 T 的构造函数，并返回对新创建对象的引用 [SWS_CORE_01661]。

关于错误处理，该操作被声明为条件异常安全（“conditionally exception safe”）[SWS_CORE_01661]。它遵循 variant 的标准行为，但由于条件 noexcept 规范而有所不同：当且仅当满足 std::is_nothrow_constructible<T, Args...>::value 时，排除异常 [SWS_CORE_01661]。未为此基础函数定义特定的 AUTOSAR 错误代码或向 DET 或 DEM 发送的消息。

关于并发性和调用上下文，规范未提及任何不同的保证。解释：由于 AUTOSAR 引用了 variant 的标准语义，因此在没有外部同步的情况下，多个线程通过 emplace 对同一 Variant 实例进行并发写访问可能不是线程安全的。问题 Q-4d9d118b9916a3dc (未决)

在 ara::core::Variant 内部的协作中，还存在针对初始化列表 [SWS_CORE_01662] 以及基于索引的原位构造 [SWS_CORE_01663]、[SWS_CORE_01664] 的其他重载。此外，在 Core 模块中，还为 ara::core::Optional（[SWS_CORE_01119]、[SWS_CORE_01120]、[SWS_CORE_01164]）以及诸如 ara::core::Vector [SWS_CORE_01366] 和 ara::core::Map [SWS_CORE_01458] 的容器指定了类似的 emplace 操作。

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

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01661
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01661@rel:R25-11#e19557df
Content hash: e19557df
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01661

Status: valid/unmigrated Version: rel:R25-11#2a14eef2 Versionshistorie & Revisions (1 transition, 3 revision)

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_01661@rel:R25-11#2a14eef2

Recorded Revisions (3):

R25-11rel:R25-11#6250f84a2026-09-30
R24-11rel:R24-11#b4d067862026-10-14
R25-11rel:R25-11#2a14eef22026-10-14 active

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_01662]

template <typename T, typename U, typename... Args> T & emplace (std::initializer_list< U > il, Args &&... args) noexcept(std::is_nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value);

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

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

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

头文件 ara/core/variant.h 中 ara::core::Variant 的成员函数 emplace 用于在现有实例 [SWS_CORE_01662] 的内存中直接同步创建类型为 T 的替代项。在此过程中，将 std::initializer_list<U> 以及转发参数 Args&&... args 传递给该类型的构造函数。作为返回值，该函数提供指向新初始化对象 [SWS_CORE_01662] 的左值引用 T&。

关于错误处理和异常处理，该函数偏离了 [variant] 中的标准定义：它被归类为有条件异常安全（conditionally exception safe），并具有条件 noexcept 规范 [SWS_CORE_01662]。只要 std::is_nothrow_constructible<T, std::initializer_list<U>&, Args&&...>::value 求值为 true，调用即可保证无异常 [SWS_CORE_01662]。此元素不存在特定的 AUTOSAR 错误代码或向 DET 和 DEM 报告的通道。

关于并发和约束条件：由于 emplace 会更改 variant 实例的状态，因此在没有外部同步的情况下并发调用可能不是线程安全的。解释：在构造新对象之前，先前包含的值会被销毁，这符合 [variant] 的常规行为。问题 Q-548c84cc1d327030 (未决)

在与相关接口的交互中，该函数构成了不带初始化列表的重载 [SWS_CORE_01661] 以及基于索引的替代项 [SWS_CORE_01663] 和 [SWS_CORE_01664] 的基于类型的对应项。类似的接口概念可以在 ara::core::Optional [SWS_CORE_01120] 以及容器（如 ara::core::Vector [SWS_CORE_01366] 或 ara::core::Map [SWS_CORE_01458]）中找到，但与此不同的是，容器的 emplace 操作不是异常安全的。

本使用说明根据 AUTOSAR R25-11 的规范数据自动创建。

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01662
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01662@rel:R25-11#0a8301ee
Content hash: 0a8301ee
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01662

Status: valid/unmigrated Version: rel:R25-11#82a43049 Versionshistorie & Revisions (1 transition, 3 revision)

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_01662@rel:R25-11#82a43049

Recorded Revisions (3):

R25-11rel:R25-11#1585bce42026-09-30
R24-11rel:R24-11#70a0b4a72026-10-14
R25-11rel:R25-11#82a430492026-10-14 active

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_01663]

template <std::size_t I, typename... Args> variant_alternative_t< I, Variant< Types...                > > & emplace (Args &&... args) noexcept({<cond-noexcept-11>});

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

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

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

使用

来自头文件 ara/core/variant.h 的类 ara::core::Variant ([SWS_CORE_01663]) 的成员函数 emplace 用于在对象的现有内存中直接构造由模板索引 I 确定的替代项。参数 Args&&... args 作为实参传递。该调用同步进行，并返回指向类型为 variant_alternative_t<I, Variant<Types...>> 的新创建值的引用 ([SWS_CORE_01663])。其行为遵循 [variant] 中的定义 ([SWS_CORE_01663])。

错误处理与异常安全性

作为对 C++ 标准的偏离，该规范定义了一个条件 noexcept({<cond-noexcept-11>}) 子句以及属性 conditionally exception safe ([SWS_CORE_01663])。推测抛出异常取决于目标替代项针对转发类型 Args... 的构造函数是否异常安全。问题 Q-189fe417e9ef4980 (未决)该函数未指定特定的错误代码、发生错误时的返回值或对 DET 或 DEM 的通知。

交互与替代方案

在模块 core 和类型 ara::core::Variant 内部，该函数嵌入在其他重载的体系中：

在 [SWS_CORE_01664] 下使用 std::initializer_list 进行基于索引的初始化。
通过 [SWS_CORE_01661] 或结合 std::initializer_list 通过 [SWS_CORE_01662] 根据类型名称 T 进行替代项的基于类型的创建。
相应的就地机制也跨容器存在于 ara::core::Optional ([SWS_CORE_01119]、[SWS_CORE_01120]、[SWS_CORE_01164])、ara::core::Vector ([SWS_CORE_01366]) 和 ara::core::Map ([SWS_CORE_01458])。

本使用说明基于 Release R25-11 的 core 模块规范。

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01663
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01663@rel:R25-11#b8d7c1c9
Content hash: b8d7c1c9
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01663

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

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_01663@rel:R25-11#a87bd2d7

Recorded Revisions (3):

R25-11rel:R25-11#f203d4192026-09-30
R24-11rel:R24-11#f520ae852026-10-14
R25-11rel:R25-11#a87bd2d72026-10-14 active

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_01664]

template <std::size_t I, typename U, typename... Args> variant_alternative_t< I, Variant< Types... > > & emplace (std::initializer_list< U > il, Args &&... args) noexcept( {<cond-noexcept-12>});

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

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

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

来自 ara/core/variant.h 的成员函数 emplace 在 ara::core::Variant 的现有实例内直接就地同步构造一个新的替代值 [SWS_CORE_01664]。在此过程中，要寻址的类型由模板索引 I 固定确定。该调用接收类型为 std::initializer_list<U> 的初始化列表 il 以及可选参数 args，并返回指向类型为 variant_alternative_t<I, Variant<Types...>>& 的新创建值的引用 [SWS_CORE_01664]。

对于错误处理，该操作被归类为有条件异常安全（conditionally exception safe），并带有条件 noexcept [SWS_CORE_01664]。条件 {<cond-noexcept-12>} 的求值推测可能取决于目标类型使用 il 和 args 的构造函数是否不抛出异常。问题 Q-87f90253fc61c883 (未决)规范中未定义特定错误代码以及向 DET 或 DEM 发送的消息；除 noexcept 声明外，发生异常时的行为遵循 [variant] [SWS_CORE_01664] 的标准行为。

在 ara::core::Variant 内部，该函数补充了不带初始化列表的基于索引的创建 [SWS_CORE_01663] 以及两个基于类型的变体 [SWS_CORE_01661] 和 [SWS_CORE_01662]。用于直接就地构造的类似 emplace 函数在模块 core 中也存在于 ara::core::Optional ([SWS_CORE_01119]、[SWS_CORE_01120]、[SWS_CORE_01164]) 以及容器（如 ara::core::Vector ([SWS_CORE_01366]) 和 ara::core::Map ([SWS_CORE_01458])）。

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

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01664
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01664@rel:R25-11#0bd7d5c0
Content hash: 0bd7d5c0
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01664

Status: valid/unmigrated Version: rel:R25-11#1815524e Versionshistorie & Revisions (1 transition, 3 revision)

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_01664@rel:R25-11#1815524e

Recorded Revisions (3):

R25-11rel:R25-11#cc05518c2026-09-30
R24-11rel:R24-11#6ff4fca72026-10-14
R25-11rel:R25-11#1815524e2026-10-14 active

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

函数 index [SWS_CORE_01665]

constexpr std::size_t index () const noexcept;

As per corresponding usage in [variant]

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

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

根据规范 [SWS_CORE_01665]，类 ara::core::Variant 的成员函数 index 用于同步查询当前持有类型的从零开始的索引。其行为类似于标准 C++ 类型 std::variant 中的相应用法（“As per corresponding usage in [variant]”），不接收任何参数，并以 std::size_t 返回当前索引。它在头文件 ara/core/variant.h 中声明，并限定为 constexpr 以及 noexcept。

在错误处理和异常安全方面，该方法被指定为 exception safe [SWS_CORE_01665]。由于它被声明为 noexcept，其自身不抛出任何异常，也不触发错误条件。调用方可以对返回的索引进行求值，以便在访问备选值之前确认 ara::core::Variant 中活动的是哪种类型。

在与类型化访问函数 ara::core::get 的交互中，index 起着核心作用：根据 [SWS_CORE_01613]、[SWS_CORE_01614]、[SWS_CORE_01615] 和 [SWS_CORE_01616]，针对左值和右值的 get 重载显式检查条件 variant.index() != I。如果索引与请求的位置索引 I 不一致，则与 std::bad_variant_access 不同，会触发违规 IsoStdBadVariantAccessViolation。事先使用 index() 进行核对可防止在运行时发生此类错误访问。

关于并发性，只要不发生并发修改，该方法作为 const 操作对于同一 variant 的并发读取访问是安全的；大概不存在针对并行写入访问的内部同步。问题 Q-12e0dad0a6b8c5d0 (未决)

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

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

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

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

Status: valid/unmigrated Version: rel:R25-11#79f9fbbd Versionshistorie & Revisions (1 transition, 3 revision)

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_01665@rel:R25-11#79f9fbbd

Recorded Revisions (3):

R25-11rel:R25-11#efd439dd2026-09-30
R24-11rel:R24-11#50988c112026-10-14
R25-11rel:R25-11#79f9fbbd2026-10-14 active

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_01658]

constexpr Variant & operator= (const Variant &other) noexcept( {<cond-noexcept-8>});

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01658
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01658@rel:R25-11#f9baccc5
Content hash: f9baccc5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01658

Status: valid/unmigrated Version: rel:R25-11#9502ca1b Versionshistorie & Revisions (1 transition, 3 revision)

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_01658@rel:R25-11#9502ca1b

Recorded Revisions (3):

R25-11rel:R25-11#e70fc86a2026-09-30
R24-11rel:R24-11#9c37dac32026-10-14
R25-11rel:R25-11#9502ca1b2026-10-14 active

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_01659]

constexpr Variant & operator= (Variant &&other) noexcept( {<cond-noexcept-9>});

As per corresponding usage in [variant]

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01659
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01659@rel:R25-11#925b02e6
Content hash: 925b02e6
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01659

Status: valid/unmigrated Version: rel:R25-11#39ffdcbb Versionshistorie & Revisions (1 transition, 3 revision)

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_01659@rel:R25-11#39ffdcbb

Recorded Revisions (3):

R25-11rel:R25-11#860115b42026-09-30
R24-11rel:R24-11#a820e86d2026-10-14
R25-11rel:R25-11#39ffdcbb2026-10-14 active

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_01660]

template <typename T> Variant & operator= (T &&value) noexcept({<cond-noexcept-10>});

As per corresponding usage in [variant]

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01660
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01660@rel:R25-11#64d1e158
Content hash: 64d1e158
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01660

Status: valid/unmigrated Version: rel:R25-11#255af730 Versionshistorie & Revisions (1 transition, 3 revision)

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_01660@rel:R25-11#255af730

Recorded Revisions (3):

R25-11rel:R25-11#3ef1dc682026-09-30
R24-11rel:R24-11#c43a33d12026-10-14
R25-11rel:R25-11#255af7302026-10-14 active

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_01667]

void swap (Variant &other) noexcept({<cond-noexcept-13>});

As per corresponding usage in [variant] except for the following deviations: 1. Conditions for the conditional exception safety are modified

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01667
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01667@rel:R25-11#0de59f79
Content hash: 0de59f79
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01667

Status: valid/unmigrated Version: rel:R25-11#5ae6bafc Versionshistorie & Revisions (1 transition, 3 revision)

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_01667@rel:R25-11#5ae6bafc

Recorded Revisions (3):

R25-11rel:R25-11#1e70aeed2026-09-30
R24-11rel:R24-11#2a023e892026-10-14
R25-11rel:R25-11#5ae6bafc2026-10-14 active

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

函数 valueless_by_exception [SWS_CORE_01666]

constexpr bool valueless_by_exception () const noexcept;

As per corresponding usage in [variant]

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

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

使用

类 ara::core::Variant 的成员函数 valueless_by_exception 在模块 core 中通过头文件 #include "ara/core/variant.h" 提供（[SWS_CORE_01666]）。根据其签名 constexpr bool valueless_by_exception () const noexcept;，它不需要调用参数并同步返回一个布尔值（[SWS_CORE_01666]）。功能含义遵循 [variant] 的常规语义（“As per corresponding usage in [variant]”）（[SWS_CORE_01666]）。推测：返回的状态 true 大概向调用方指示先前的赋值或类型更改因发生异常而中止，因此 Variant 对象暂时不表示有效状态。问题 Q-af7c00c7eb4ef5a1 (未决)

错误处理与异常安全性

关于错误行为，该方法被声明为 noexcept，形式上归类为 exception safe（[SWS_CORE_01666]）。在查询时不存在其自身的错误情况；该函数不抛出 C++ 异常（[SWS_CORE_01666]）。未为该元素定义特定错误码、反馈说明或向诊断和错误监控实例（如 DET 或 DEM）发送的报告（[SWS_CORE_01666]）。

并发性与限制

由于 valueless_by_exception 被指定为 const 和 constexpr 方法，在执行期间不会对对象的内部状态进行任何修改性访问（[SWS_CORE_01666]）。推测：只要排除了并发写操作，从多个线程并发读取查询同一实例应该无需特殊同步即可安全执行。问题 Q-5c28f8cef1c1f097 (未决)

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

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

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

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

Status: valid/unmigrated Version: rel:R25-11#172a8799 Versionshistorie & Revisions (1 transition, 3 revision)

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_01666@rel:R25-11#172a8799

Recorded Revisions (3):

R25-11rel:R25-11#3aa8f2a32026-09-30
R24-11rel:R24-11#d0913a2b2026-10-14
R25-11rel:R25-11#172a87992026-10-14 active

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

函数 ~Variant [SWS_CORE_01657]

~Variant () noexcept({<cond-noexcept-7>});

As per corresponding usage in [variant] except for the following deviations: 1. Function is conditionally noexcept

Header-Datei	#include "ara/core/variant.h"
Scope	class ara::core::Variant
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_01657
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01657@rel:R25-11#cb607e0f
Content hash: cb607e0f
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01657

Status: valid/unmigrated Version: rel:R25-11#00ac5736 Versionshistorie & Revisions (1 transition, 3 revision)

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_01657@rel:R25-11#00ac5736

Recorded Revisions (3):

R25-11rel:R25-11#9a29a7492026-09-30
R24-11rel:R24-11#7fdccbe62026-10-14
R25-11rel:R25-11#00ac57362026-10-14 active

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::Variant

用户指南人工智能生成

上下文

生命周期

使用路径

错误场景

成员图

构造函数和析构函数

方法

运算符

类图

详细视图

构造函数和析构函数

方法

运算符

方法文档

函数 Variant [SWS_CORE_01649]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Variant [SWS_CORE_01650]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Variant [SWS_CORE_01651]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Variant [SWS_CORE_01652]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Variant [SWS_CORE_01653]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Variant [SWS_CORE_01654]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Variant [SWS_CORE_01655]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Variant [SWS_CORE_01656]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 emplace [SWS_CORE_01661]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 emplace [SWS_CORE_01662]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 emplace [SWS_CORE_01663]

使用

错误处理与异常安全性

交互与替代方案

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 emplace [SWS_CORE_01664]

Recorded Revisions (3):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 index [SWS_CORE_01665]