类 ara::core::Promise< void, E >

[SWS_CORE_06340] Upstream: RS_AP_00130

template <typename E> class Promise< void, E > final {...};

Specialization of class Promise for void values The implementation shall flag the condition E != *ara::core::ErrorCode as a compile error.

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

用户指南人工智能生成

用于向关联的 Future 对象异步提供 void 结果或错误。

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

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

用于向关联的 Future 对象异步提供 void 结果或错误。

特化 ara::core::Promise< void, E > 用作异步生产者端点，以指示无返回值操作的完成或传输错误（[SWS_CORE_06341]）。实例化后，通过 get_future() 为消费者精确获取一次关联的 Future（[SWS_CORE_06344]）。通过 set_value()、SetError() 或 SetResult() 以线程安全的方式进行提供，从而将共享状态标记为就绪。由于该类仅具有移动语义，因此多次设置或缺少共享状态会导致规定的违规。

上下文

类 ara::core::Promise< void, E > 表示用于无有效负载值（返回类型 void）异步流程的模板特化。它构成通信通道的生产者端（Producer），并将异步计算或操作与消费者端（Consumer）同步。通过内部共享状态（Shared State），它允许指示操作成功完成或发生类型为 E 的错误。相应的接收者对象以 ara::core::Future< void, E > 的形式提供（[SWS_CORE_06344]）。根据 AUTOSAR Adaptive Platform 的规定，该实现要求错误类型 E 与 ara::core::ErrorCode 兼容；任何不符都会导致编译错误。

生命周期

实例通过无参数的默认构造函数 [SWS_CORE_06341] 创建，该构造函数创建一个新的共享状态，其行为类似于 C++ 标准函数 std::promise。该类对独占所有权进行建模并实现严格的移动语义：复制构造函数（[SWS_CORE_06350]）和复制赋值运算符（[SWS_CORE_06351]）均被删除（delete）。

现有状态可以通过移动构造函数（[SWS_CORE_06342]）或移动赋值运算符（[SWS_CORE_06343]）转移给其他实例。在移动赋值期间，先前持有的 Shared State 被放弃，并且状态按 Promise(std::move(other)).swap(*this) 所述转移（[SWS_CORE_06343]）。此外，函数 swap（[SWS_CORE_06352]）允许直接交换两个状态。

析构函数 [SWS_CORE_06349] 释放任何仍持有的 Shared State。解释：在销毁仍未满足的 Promise 时过早放弃 Shared State 可能会导致关联的 Future 处于孤立状态。问题 Q-e89b32fa3e5994e2 (未决)在并发性方面，默认创建（[SWS_CORE_06341]）以及设置结果（[SWS_CORE_06345]、[SWS_CORE_06353]、[SWS_CORE_06354]、[SWS_CORE_06355]、[SWS_CORE_06356]）是线程安全的。相比之下，移动操作、swap、获取 Future（[SWS_CORE_06344]）和销毁则不是线程安全的，在共享访问时需要外部协调。

使用路径

ara::core::Promise< void, E > 的典型用法包括准备异步执行、传递接收通道以及随后的结果报告：

初始化：生产者实例化 Promise 对象（[SWS_CORE_06341]）。
获取 Future：通过 get_future() 精确创建一次关联的 ara::core::Future< void, E >（[SWS_CORE_06344]）并传递给消费者端。
设置结果：异步操作完成后，生产者将共享状态置为就绪状态（ready）：
- 在成功情况下，通过不带参数调用 set_value()（[SWS_CORE_06345]）。
- 在发生错误的情况下，通过 SetError 存储错误，可以通过移动（[SWS_CORE_06353]）或通过复制（[SWS_CORE_06354]）进行。
- 或者通过 SetResult 传递完整的 Result< void, E >，采用复制（[SWS_CORE_06355]）或移动（[SWS_CORE_06356]）方式。
就绪解析：一旦状态就绪，消费者即可通过 Future 使用该结果；Promise 对象在其作用域结束时被释放（[SWS_CORE_06349]）。

时序图：从创建到提供结果的异步同步典型流程。来源：[SWS_CORE_06341]、[SWS_CORE_06344]、[SWS_CORE_06345]、[SWS_CORE_06349]

错误场景

违反前置条件会导致已定义的错误情况（Violations）：

IsoStdFutureErrcFutureAlreadyRetrievedViolation：如果对同一个共享状态多次调用 get_future()，则会触发（[SWS_CORE_06344]）。
IsoStdFutureErrcNoStateViolation：在 Promise 没有共享状态的情况下调用 get_future() 时发生（[SWS_CORE_06344]），例如在移动操作之后（[SWS_CORE_06342]）。
IsoStdFutureErrcPromiseAlreadySatisfiedViolation：在 Shared State 中已存有值或错误的情况下调用 set_value()（[SWS_CORE_06345]）、SetError()（[SWS_CORE_06353]、[SWS_CORE_06354]）或 SetResult()（[SWS_CORE_06355]、[SWS_CORE_06356]）时发生。
PromiseNoSharedStateToSetViolation：指示在不存在共享状态的情况下调用了 set_value()（[SWS_CORE_06345]）、SetError()（[SWS_CORE_06353]、[SWS_CORE_06354]）或 SetResult()（[SWS_CORE_06355]、[SWS_CORE_06356]）。

在异常安全性方面，方法 SetError 和 SetResult 是有条件异常安全的（conditionally exception safe）：仅当类型 E 被归类为 no-throw 移动构造或 no-throw 复制构造时，它们才保证 noexcept（[SWS_CORE_06353]、[SWS_CORE_06354]、[SWS_CORE_06355]、[SWS_CORE_06356]）。

本类指南基于 AUTOSAR Adaptive Platform R25-11 规范自动生成。

成员图

类图

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

详细视图

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

此版本没有元素数据

构造函数和析构函数

Promise 函数 3

Default constructor This function shall behave the same as the corresponding std::promise function. ≙ std::promise

重载 Promise 3

Promise () noexcept; SWS_CORE_06341

Promise (Promise &&other) noexcept; SWS_CORE_06342

Promise (const Promise &)=delete; SWS_CORE_06350

~Promise 函数

Destructor for Promise objects Abandons any shared state.

~Promise () noexcept;

方法

get_future 函数

Return an associated Future with the same shared state as *this The returned Future is set as soon as this Promise receives the result, value, or an error. This fuction must only be called once as it is not allowed to have multiple Futures per Promise.

Future< void, E > get_future () noexcept;

set_value 函数

Set the shared state value and make the shared state ready.

void set_value () noexcept;

SetError 函数 2

Move an error into the shared state and make the shared state ready.

重载 SetError 2

void SetError (E &&error) noexcept(std::is_nothrow_move_constructible< E >::value); SWS_CORE_06353

void SetError (const E &error) noexcept(std::is_nothrow_copy_ constructible< E >::value); SWS_CORE_06354

SetResult 函数 2

Copy a Result into the shared state and make the shared state ready.

重载 SetResult 2

void SetResult (const Result< void, E > &result) noexcept(std::is_ nothrow_copy_constructible< E >::value); SWS_CORE_06355

void SetResult (Result< void, E > &&result) noexcept(std::is_nothrow_ move_constructible< E >::value); SWS_CORE_06356

swap 函数

Swap the contents of this instance with another one’s. This function shall behave the same as the corresponding std::promise function. ≙ std::promise

void swap (Promise &other) noexcept;

运算符

operator= 函数 2

Move assignment Abandons any shared state and then as if Promise(std::move(other)).swap(*this). ≙ std::move

重载 = 2

Promise & operator= (Promise &&other) noexcept; SWS_CORE_06343

Promise & operator= (const Promise &)=delete; SWS_CORE_06351

点击条目以查看其关系。

方法文档

函数 SetError [SWS_CORE_06353] Upstream: RS_AP_00130

void SetError (E &&error) noexcept(std::is_nothrow_move_constructible< E >::value);

Move an error into the shared state and make the shared state ready.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	conditionally exception safe
Thread-Sicherheit	thread-safe
Verletzungen (Violations)	IsoStdFutureEr- If the shared state already has a stored value or error. rcPromiseAl- readySatisfiedVio- lation PromiseNoShared- If *this has no shared state. StateToSetViola- tion

Parameter (in)

Parameter	Beschreibung
error	the error to store

Rückgabewert

Typ	Beschreibung
None

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

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

Status: valid/unmigrated Version: rel:R25-11#2f9d7e66 Versionshistorie & Revisions (1 transition, 8 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_06353@rel:R25-11#2f9d7e66

Recorded Revisions (8):

R25-11rel:R25-11#c1acd7052026-09-30
R19-11rel:R19-11#d02dc4682026-10-14
R20-11rel:R20-11#21198bb82026-10-14
R21-11rel:R21-11#e83c316a2026-10-14
R22-11rel:R22-11#5a5e04422026-10-14
R23-11rel:R23-11#918aad8b2026-10-14
R24-11rel:R24-11#db070e122026-10-14
R25-11rel:R25-11#2f9d7e662026-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

函数 SetError [SWS_CORE_06354] Upstream: RS_AP_00130

void SetError (const E &error) noexcept(std::is_nothrow_copy_ constructible< E >::value);

Copy an error into the shared state and make the shared state ready.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	conditionally exception safe
Thread-Sicherheit	thread-safe
Verletzungen (Violations)	IsoStdFutureEr- If the shared state already has a stored value or error. rcPromiseAl- readySatisfiedVio- lation PromiseNoShared- If *this has no shared state. StateToSetViola- tion

Parameter (in)

Parameter	Beschreibung
error	the error to store

Rückgabewert

Typ	Beschreibung
None

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

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

Status: valid/unmigrated Version: rel:R25-11#c5a41cff Versionshistorie & Revisions (1 transition, 8 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_06354@rel:R25-11#c5a41cff

Recorded Revisions (8):

R25-11rel:R25-11#ba6c26152026-09-30
R19-11rel:R19-11#bb2f8ee32026-10-14
R20-11rel:R20-11#672901f42026-10-14
R21-11rel:R21-11#672901f42026-10-14
R22-11rel:R22-11#f2ccaa572026-10-14
R23-11rel:R23-11#0bce5bd22026-10-14
R24-11rel:R24-11#2de8cbc22026-10-14
R25-11rel:R25-11#c5a41cff2026-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

函数 SetResult [SWS_CORE_06355] Upstream: RS_AP_00130

void SetResult (const Result< void, E > &result) noexcept(std::is_ nothrow_copy_constructible< E >::value);

Copy a Result into the shared state and make the shared state ready.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	conditionally exception safe
Thread-Sicherheit	thread-safe
Verletzungen (Violations)	IsoStdFutureEr- If the shared state already has a stored value or error. rcPromiseAl- readySatisfiedVio- lation PromiseNoShared- If *this has no shared state. StateToSetViola- tion

Parameter (in)

Parameter	Beschreibung
result	the result to store

Rückgabewert

Typ	Beschreibung
None

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

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

Status: valid/unmigrated Version: rel:R25-11#102c007d Versionshistorie & Revisions (1 transition, 7 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_06355@rel:R25-11#102c007d

Recorded Revisions (7):

R25-11rel:R25-11#037db7362026-09-30
R20-11rel:R20-11#cca3bc1b2026-10-14
R21-11rel:R21-11#cca3bc1b2026-10-14
R22-11rel:R22-11#bbc730c62026-10-14
R23-11rel:R23-11#43b78cdb2026-10-14
R24-11rel:R24-11#f822e3942026-10-14
R25-11rel:R25-11#102c007d2026-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

函数 SetResult [SWS_CORE_06356] Upstream: RS_AP_00130

void SetResult (Result< void, E > &&result) noexcept(std::is_nothrow_ move_constructible< E >::value);

Move a Result into the shared state and make the shared state ready.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	conditionally exception safe
Thread-Sicherheit	thread-safe
Verletzungen (Violations)	IsoStdFutureEr- If the shared state already has a stored value or error. rcPromiseAl- readySatisfiedVio- lation PromiseNoShared- If *this has no shared state. StateToSetViola- tion

Parameter (in)

Parameter	Beschreibung
result	the result to store

Rückgabewert

Typ	Beschreibung
None

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

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

Status: valid/unmigrated Version: rel:R25-11#b774f257 Versionshistorie & Revisions (1 transition, 7 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_06356@rel:R25-11#b774f257

Recorded Revisions (7):

R25-11rel:R25-11#7d9463062026-09-30
R20-11rel:R20-11#a78d4dc72026-10-14
R21-11rel:R21-11#58872cf02026-10-14
R22-11rel:R22-11#4ac215012026-10-14
R23-11rel:R23-11#6ee718ab2026-10-14
R24-11rel:R24-11#b39910a12026-10-14
R25-11rel:R25-11#b774f2572026-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_06343] Upstream: RS_AP_00130

Promise & operator= (Promise &&other) noexcept;

Move assignment Abandons any shared state and then as if Promise(std::move(other)).swap(*this).

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	exception safe
Thread-Sicherheit	not thread-safe

Parameter (in)

Parameter	Beschreibung
other	the other instance

Rückgabewert

Typ	Beschreibung
Promise &	*this

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

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

Status: valid/unmigrated Version: rel:R25-11#5255319a Versionshistorie & Revisions (1 transition, 8 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_06343@rel:R25-11#5255319a

Recorded Revisions (8):

R25-11rel:R25-11#5cab39502026-09-30
R19-11rel:R19-11#1bf26ed12026-10-14
R20-11rel:R20-11#48b86cf42026-10-14
R21-11rel:R21-11#48b86cf42026-10-14
R22-11rel:R22-11#f3f4a3782026-10-14
R23-11rel:R23-11#f7c7a3162026-10-14
R24-11rel:R24-11#75f665232026-10-14
R25-11rel:R25-11#5255319a2026-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_06351] Upstream: RS_AP_00130

Promise & operator= (const Promise &)=delete;

Copy assignment operator shall be disabled.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >

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

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

Status: valid/unmigrated Version: rel:R25-11#da528bfc Versionshistorie & Revisions (1 transition, 8 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_06351@rel:R25-11#da528bfc

Recorded Revisions (8):

R25-11rel:R25-11#a520155e2026-09-30
R19-11rel:R19-11#5368d78a2026-10-14
R20-11rel:R20-11#f52129842026-10-14
R21-11rel:R21-11#f52129842026-10-14
R22-11rel:R22-11#98fef6192026-10-14
R23-11rel:R23-11#42352c6e2026-10-14
R24-11rel:R24-11#da528bfc2026-10-14
R25-11rel:R25-11#da528bfc2026-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

函数 Promise [SWS_CORE_06341] Upstream: RS_AP_00130

Promise () noexcept;

Default constructor This function shall behave the same as the corresponding std::promise function.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe

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

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

Status: valid/unmigrated Version: rel:R25-11#878bdc11 Versionshistorie & Revisions (1 transition, 8 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_06341@rel:R25-11#878bdc11

Recorded Revisions (8):

R25-11rel:R25-11#84c0020a2026-09-30
R19-11rel:R19-11#f91d69792026-10-14
R20-11rel:R20-11#4be142f22026-10-14
R21-11rel:R21-11#4be142f22026-10-14
R22-11rel:R22-11#0bcdcb452026-10-14
R23-11rel:R23-11#ac0b53742026-10-14
R24-11rel:R24-11#49e7ea6a2026-10-14
R25-11rel:R25-11#878bdc112026-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

函数 Promise [SWS_CORE_06342] Upstream: RS_AP_00130

Promise (Promise &&other) noexcept;

Move constructor This function shall behave the same as the corresponding std::promise function.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	exception safe
Thread-Sicherheit	not thread-safe

Parameter (in)

Parameter	Beschreibung
other	the other instance

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

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

Status: valid/unmigrated Version: rel:R25-11#20cd8f65 Versionshistorie & Revisions (1 transition, 8 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_06342@rel:R25-11#20cd8f65

Recorded Revisions (8):

R25-11rel:R25-11#1ed484852026-09-30
R19-11rel:R19-11#b97a94832026-10-14
R20-11rel:R20-11#0596cb3d2026-10-14
R21-11rel:R21-11#0596cb3d2026-10-14
R22-11rel:R22-11#a2237bb72026-10-14
R23-11rel:R23-11#c68724922026-10-14
R24-11rel:R24-11#7b610fd62026-10-14
R25-11rel:R25-11#20cd8f652026-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

函数 Promise [SWS_CORE_06350] Upstream: RS_AP_00130

Promise (const Promise &)=delete;

Copy constructor shall be disabled.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >

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

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

Status: valid/unmigrated Version: rel:R25-11#7082329f Versionshistorie & Revisions (1 transition, 8 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_06350@rel:R25-11#7082329f

Recorded Revisions (8):

R25-11rel:R25-11#0d3116c52026-09-30
R19-11rel:R19-11#2fe4c5172026-10-14
R20-11rel:R20-11#7108e8d22026-10-14
R21-11rel:R21-11#19c7640a2026-10-14
R22-11rel:R22-11#c54e1c692026-10-14
R23-11rel:R23-11#0dcb8fcb2026-10-14
R24-11rel:R24-11#7082329f2026-10-14
R25-11rel:R25-11#7082329f2026-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

函数 get_future [SWS_CORE_06344] Upstream: RS_AP_00130

Future< void, E > get_future () noexcept;

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	exception safe
Thread-Sicherheit	not thread-safe
Verletzungen (Violations)	IsoStdFutureErrc- If the function is called more than once on the same shared FutureAlreadyRe- state. trievedViolation IsoStdFutureErrc- If *this has no shared state. NoStateViolation

Rückgabewert

Typ	Beschreibung
Future< void, E >	a Future with the same shared state as *this

Fehler

Fehlercode	Beschreibung
This function does not specify any standardized errors.

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

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

Status: valid/unmigrated Version: rel:R25-11#93e02dbc Versionshistorie & Revisions (1 transition, 8 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_06344@rel:R25-11#93e02dbc

Recorded Revisions (8):

R25-11rel:R25-11#5bce60962026-09-30
R19-11rel:R19-11#912235632026-10-14
R20-11rel:R20-11#da5539322026-10-14
R21-11rel:R21-11#da5539322026-10-14
R22-11rel:R22-11#7b23ef9e2026-10-14
R23-11rel:R23-11#735996a12026-10-14
R24-11rel:R24-11#4b281ba02026-10-14
R25-11rel:R25-11#93e02dbc2026-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

函数 set_value [SWS_CORE_06345] Upstream: RS_AP_00130

void set_value () noexcept;

Set the shared state value and make the shared state ready.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	exception safe
Thread-Sicherheit	thread-safe
Verletzungen (Violations)	IsoStdFutureEr- If the shared state already has a stored value or error. rcPromiseAl- readySatisfiedVio- lation PromiseNoShared- If *this has no shared state. StateToSetViola- tion

Rückgabewert

Typ	Beschreibung
None

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

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

Status: valid/unmigrated Version: rel:R25-11#3b3c5766 Versionshistorie & Revisions (1 transition, 8 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_06345@rel:R25-11#3b3c5766

Recorded Revisions (8):

R25-11rel:R25-11#134575262026-09-30
R19-11rel:R19-11#af0eb6242026-10-14
R20-11rel:R20-11#44ec71e02026-10-14
R21-11rel:R21-11#44ec71e02026-10-14
R22-11rel:R22-11#dee86f272026-10-14
R23-11rel:R23-11#f7220ae52026-10-14
R24-11rel:R24-11#8ea561a92026-10-14
R25-11rel:R25-11#3b3c57662026-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_06352] Upstream: RS_AP_00130

void swap (Promise &other) noexcept;

Swap the contents of this instance with another one’s. This function shall behave the same as the corresponding std::promise function.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	exception safe
Thread-Sicherheit	not thread-safe

Parameter (in/out)

Parameter	Beschreibung
other	the other instance

Rückgabewert

Typ	Beschreibung
None

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

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

Status: valid/unmigrated Version: rel:R25-11#41dc8796 Versionshistorie & Revisions (1 transition, 8 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_06352@rel:R25-11#41dc8796

Recorded Revisions (8):

R25-11rel:R25-11#b6b9b8d62026-09-30
R19-11rel:R19-11#4b8965fa2026-10-14
R20-11rel:R20-11#a9c4f5f72026-10-14
R21-11rel:R21-11#009b8cf12026-10-14
R22-11rel:R22-11#c398209e2026-10-14
R23-11rel:R23-11#102574fc2026-10-14
R24-11rel:R24-11#7f8dd43a2026-10-14
R25-11rel:R25-11#41dc87962026-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

函数 ~Promise [SWS_CORE_06349] Upstream: RS_AP_00130

~Promise () noexcept;

Destructor for Promise objects Abandons any shared state.

Header-Datei	#include "ara/core/future.h"
Scope	class ara::core::Promise< void, E >
Exception-Sicherheit	exception safe
Thread-Sicherheit	not thread-safe

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

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

Status: valid/unmigrated Version: rel:R25-11#4c093b4e Versionshistorie & Revisions (1 transition, 8 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_06349@rel:R25-11#4c093b4e

Recorded Revisions (8):

R25-11rel:R25-11#e1659fee2026-09-30
R19-11rel:R19-11#b5cebea92026-10-14
R20-11rel:R20-11#ccc655c02026-10-14
R21-11rel:R21-11#ccc655c02026-10-14
R22-11rel:R22-11#5aed9c9a2026-10-14
R23-11rel:R23-11#346a26f62026-10-14
R24-11rel:R24-11#5ed103312026-10-14
R25-11rel:R25-11#4c093b4e2026-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::Promise< void, E >

用户指南人工智能生成

上下文

生命周期

使用路径

错误场景

成员图

构造函数和析构函数

方法

运算符

类图

详细视图

构造函数和析构函数

方法

运算符

方法文档

函数 SetError [SWS_CORE_06353] Upstream: RS_AP_00130

Parameter (in)

Rückgabewert

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 SetError [SWS_CORE_06354] Upstream: RS_AP_00130

Parameter (in)

Rückgabewert

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 SetResult [SWS_CORE_06355] Upstream: RS_AP_00130

Parameter (in)

Rückgabewert

Recorded Revisions (7):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 SetResult [SWS_CORE_06356] Upstream: RS_AP_00130

Parameter (in)

Rückgabewert

Recorded Revisions (7):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 operator= [SWS_CORE_06343] Upstream: RS_AP_00130

Parameter (in)

Rückgabewert

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 operator= [SWS_CORE_06351] Upstream: RS_AP_00130

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Promise [SWS_CORE_06341] Upstream: RS_AP_00130

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Promise [SWS_CORE_06342] Upstream: RS_AP_00130

Parameter (in)

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Promise [SWS_CORE_06350] Upstream: RS_AP_00130

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 get_future [SWS_CORE_06344] Upstream: RS_AP_00130

Rückgabewert

Fehler

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 set_value [SWS_CORE_06345] Upstream: RS_AP_00130