DEENESPTFRRUARHIKOZHNL

class ara::core::Optional

[SWS_CORE_01033]

template <typename T> class Optional final {...};

Implementation of std::optional<T> type from [optional.syn]

Header-Datei#include "ara/core/optional.h"
Forwarding-Header#include "ara/core/core_fwd.h"
Scopenamespace ara::core

User GuideKI-GENERIERT

Kapselt einen optional vorhandenen Wert typsicher im Stack-Speicher und ermöglicht zustandsabhängigen Zugriff.
KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: b7fd51442c86 Herkunft Offene Fragen (1)
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Kapselt einen optional vorhandenen Wert typsicher im Stack-Speicher und ermöglicht zustandsabhängigen Zugriff.

Die Klasse ara::core::Optional stellt eine standardkonforme Implementierung von std::optional<T> bereit, um Werte des Typs value_type typsicher und allokationsfrei im Stack zu kapseln [SWS_CORE_01102]. Anwendungen prüfen den Belegungszustand über has_value() [SWS_CORE_01129] und greifen über value() oder Operatoren auf den Inhalt zu. Ein Zugriff auf leere Instanzen ist strikt zu vermeiden, da er trotz noexcept-Deklaration die Plattformverletzung IsoStdBadOptionalAccessViolation auslöst [SWS_CORE_01131].

Kontext

Die Klasse ara::core::Optional stellt eine standardkonforme Implementierung des Containers std::optional<T> für die Adaptive Platform bereit. Sie dient als typsichere Hülle zur Kapselung eines optionalen Werts vom Typ value_type [SWS_CORE_01102]. Durch den Einsatz entfällt die Notwendigkeit von fehleranfälligen Sentinel-Werten, speziellen Fehlerflags oder dynamischen Speicherallokationen (wie Nullzeigern) zur Kennzeichnung abwesender Daten. Die Speicherung des Objekts erfolgt direkt innerhalb des Stack-Speichers der Instanz, wodurch deterministisches Ressourcenmanagement und Cache-Lokalität im AUTOSAR-Laufzeitumfeld gewährleistet werden.

Lebenszyklus

Eine Instanz von ara::core::Optional befindet sich zu jedem Zeitpunkt in einem von zwei diskreten Zuständen: uninitialisiert (leer) oder belegt mit einem Wert vom Typ T. Der leere Ausgangszustand wird über den Standardkonstruktor [SWS_CORE_01103] oder die explizite Initialisierung mit nullopt_t [SWS_CORE_01104] eingenommen. Die Initialisierung mit einem konkreten Wert erfolgt entweder über Kopier- und Move-Konstruktoren [SWS_CORE_01105], [SWS_CORE_01106], [SWS_CORE_01109], typkonvertierende Konstruktoren [SWS_CORE_01110], [SWS_CORE_01111] oder direkt in-place via in_place_t [SWS_CORE_01107], [SWS_CORE_01108], wodurch temporäre Kopien vollständig vermieden werden.

Im laufenden Betrieb kann der Zustand mehrfach wechseln: Die Methoden emplace konstruieren einen neuen Wert direkt im Speicher des Objekts und verwerfen einen eventuell zuvor existierenden Zustand [SWS_CORE_01119], [SWS_CORE_01120]. Ebenso führen Zuweisungsoperatoren, die über Ref-Qualifier & strikt an Lvalues gebunden sind, in den belegten Zustand [SWS_CORE_01114], [SWS_CORE_01115], [SWS_CORE_01116], [SWS_CORE_01117], [SWS_CORE_01118]. Das Zurücksetzen in den leeren Zustand erfolgt deterministisch über reset() [SWS_CORE_01136] oder durch die Zuweisung von nullopt_t [SWS_CORE_01113]. Zudem können zwei Instanzen über swap effizient ihre Zustände und Dateninhalte tauschen [SWS_CORE_01121]. Beim Erreichen des Lebensendes zerstört der Destruktor das eventuell enthaltene Objekt; seine noexcept-Garantie ist dabei direkt an die Destruierbarkeit von Typ T gekoppelt [SWS_CORE_01112].

optional_lifecycle Init Leer Leer Init->Leer Optional() / nullopt Belegt Belegt Init->Belegt Optional(Wert) / in_place Leer->Belegt emplace() / operator= Ende Ende Leer->Ende ~Optional() Belegt->Leer reset() / operator=(nullopt) Belegt->Belegt emplace() / operator= Belegt->Ende ~Optional()

Zustandsdiagramm: Lebenszyklus und Zustandsübergänge einer Instanz von ara::core::Optional. Quellen: [SWS_CORE_01103], [SWS_CORE_01104], [SWS_CORE_01107], [SWS_CORE_01113], [SWS_CORE_01119], [SWS_CORE_01136], [SWS_CORE_01112]

Nutzungspfad

Der reguläre Ablauf umfasst die Verifikation der Belegung und das anschließende Auslesen des Werts. Zur Zustandsabfrage stehen has_value() [SWS_CORE_01129] und der explizite Konvertierungsoperator operator bool [SWS_CORE_01128] zur Verfügung.

Liegt ein Wert vor, kann auf diesen über die Dereferenzierungsoperatoren operator* ([SWS_CORE_01124], [SWS_CORE_01125], [SWS_CORE_01126], [SWS_CORE_01127]) oder operator-> ([SWS_CORE_01122], [SWS_CORE_01123]) zugegriffen werden. Ergänzend ermöglicht die Methode value() den qualifizierten Zugriff auf Lvalues und Rvalues ([SWS_CORE_01130], [SWS_CORE_01131], [SWS_CORE_01132], [SWS_CORE_01133]). Soll bei fehlender Belegung ein vordefinierter Ersatzwert herangezogen werden, bietet value_or eine direkte Ausweichstrategie ([SWS_CORE_01134], [SWS_CORE_01135]). Nach Abschluss der Verarbeitung kann das Behältnis bei Bedarf über reset() bereinigt werden [SWS_CORE_01136].

Prüfung und Zugriff auf den optionalen WertAnwendungOptionalhas_value()boolalthas_value() == truevalue()const T&has_value() == falsevalue_or(fallback)Treset()void

Sequenzdiagramm: Ablauf zur Zustandsprüfung und Wertextraktion. Quellen: [SWS_CORE_01128], [SWS_CORE_01129], [SWS_CORE_01131], [SWS_CORE_01134], [SWS_CORE_01136]

Fehlerszenarien

Ein fehlerhafter Zugriff liegt vor, wenn eine leere Instanz dereferenziert oder deren Wert unberechtigt angefordert wird. Die Zugriffsmethoden value(), operator* und operator-> sind in AUTOSAR Adaptive als noexcept deklariert, lösen jedoch im leeren Zustand die Verletzung IsoStdBadOptionalAccessViolation aus ([SWS_CORE_01122], [SWS_CORE_01123], [SWS_CORE_01124], [SWS_CORE_01125], [SWS_CORE_01126], [SWS_CORE_01127], [SWS_CORE_01130], [SWS_CORE_01131], [SWS_CORE_01132], [SWS_CORE_01133]). Interpretation: Da die Methoden als noexcept deklariert sind, dürfte das Auslösen der IsoStdBadOptionalAccessViolation nicht als fangbare Standard-Ausnahme propagiert werden, sondern führt vermutlich über den plattformspezifischen Verletzungsmechanismus zum sofortigen Programmabbruch. Frage Q-3c066dae2b93a9ec (offen) Aufrufer müssen daher den Belegungsstatus zwingend vor dem Auslesen validieren.

Ein weiteres Fehlerszenario betrifft die Ausnahmebehandlung bei der Typkonstruktion: Konstruktoren, Zuweisungsoperatoren, swap und emplace besitzen bedingte noexcept-Spezifikationen, die davon abhängen, ob die entsprechenden Typoperationen von T selbst als noexcept deklariert sind ([SWS_CORE_01105], [SWS_CORE_01114], [SWS_CORE_01119], [SWS_CORE_01121]). Die Fallback-Methode value_or ist zudem explizit als nicht ausnahmesicher („not exception safe“) ausgewiesen ([SWS_CORE_01134], [SWS_CORE_01135]), sodass bei der Erzeugung des Rückgabewerts auftretende Fehler an den Aufrufer weitergereicht werden.

Dieser Klassen-Leitfaden basiert ausschließlich auf den Anforderungen der Spezifikation ara::core::Optional aus AUTOSAR Adaptive R25-11.

Mitgliederkarte

Konstruktoren und Destruktor

2
Optional~Optional

Methoden

6
emplacehas_valueresetswapvaluevalue_or

Operatoren

4
operator booloperator*operator->operator=

Typaliase

1
value_type

Klassendiagramm

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

G nara__core__Optional627 Optional + Optional() + operator=() + ~Optional() + emplace() + reset() + swap() + has_value() + operator bool() + operator*() + operator->() + value() + value_or()

Detailansicht

Wähle in der Gliederung einen Eintrag aus.

Konstruktoren und Destruktor

Optional function 9

≙ [optional]

Überladungen Optional 9
constexpr Optional () noexcept; SWS_CORE_01103
constexpr Optional (nullopt_t) noexcept; SWS_CORE_01104
constexpr Optional (const Optional &other) noexcept(std::is_nothrow_ copy_constructible< T >::value); SWS_CORE_01105
constexpr Optional (Optional &&other) noexcept(std::is_nothrow_move_ constructible< T >::value); SWS_CORE_01106
template <typename... Args> explicit constexpr Optional (in_place_t, Args &&...) noexcept(std::is_nothrow_constructible< T, Args... >::value); SWS_CORE_01107
template <typename U, typename... Args> explicit constexpr Optional (in_place_t, std::initializer_list< U >, Args &&...) noexcept(std::is_nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value); SWS_CORE_01108
template <typename U = T> {<cond-explicit-1>} constexpr Optional (U &&) noexcept(std::is_ nothrow_constructible< T, U >::value); SWS_CORE_01109
template <typename U> {<cond-explicit-2>} Optional (const Optional< U > &) noexcept(std::is_ nothrow_constructible< T, const U & >::value); SWS_CORE_01110
template <typename U> {<cond-explicit-3>} Optional (Optional< U > &&) noexcept(std::is_ nothrow_constructible< T, U >::value); SWS_CORE_01111
~Optional function

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

~Optional () noexcept(std::is_nothrow_destructible< T >::value);

Methoden

emplace function 2

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

Überladungen emplace 2
template <typename... Args> T & emplace (Args &&...) noexcept(std::is_nothrow_constructible< T, Args &&... >::value); SWS_CORE_01119
template <typename U, typename... Args> T & emplace (std::initializer_list< U >, Args &&...) noexcept(std::is_nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value); SWS_CORE_01120
has_value function

≙ [optional]

constexpr bool has_value () const noexcept;
reset function

≙ [optional]

void reset () noexcept;
swap function

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

void swap (Optional &) noexcept(std::is_nothrow_move_constructible< T >::value &&std::is_nothrow_move_assignable< T >::value);
value function 4

except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition) ≙ [optional]

Überladungen value 4
constexpr const T & value () const & noexcept; SWS_CORE_01130
constexpr T & value () & noexcept; SWS_CORE_01131
constexpr T && value () &&noexcept; SWS_CORE_01132
constexpr const T && value () const &&noexcept; SWS_CORE_01133
value_or function 2

≙ [optional]

Überladungen value_or 2
template <typename U> constexpr T value_or (U &&) const &; SWS_CORE_01134
template <typename U> constexpr T value_or (U &&) &&; SWS_CORE_01135

Operatoren

operator bool function

≙ [optional]

explicit constexpr operator bool () const noexcept;
operator* function 4

except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition) ≙ [optional]

Überladungen * 4
constexpr const T & operator* () const & noexcept; SWS_CORE_01124
constexpr T & operator* () & noexcept; SWS_CORE_01125
constexpr T && operator* () &&noexcept; SWS_CORE_01126
constexpr const T && operator* () const &&noexcept; SWS_CORE_01127
operator-> function 2

except for the following deviations: 1. The function is noexcept 2. Function is not constexpr 3. A IsoStdBadOptionalAccessViolation may be raised (see condition) ≙ [optional]

Überladungen -> 2
const T * operator-> () const noexcept; SWS_CORE_01122
T * operator-> () noexcept; SWS_CORE_01123
operator= function 6

≙ [optional]

Überladungen = 6
Optional & operator= (nullopt_t) & noexcept; SWS_CORE_01113
Optional & operator= (const Optional &other) &noexcept(std::is_ nothrow_copy_constructible< T >::value &&std::is_nothrow_copy_ assignable< T >::value); SWS_CORE_01114
Optional & operator= (Optional &&other) &noexcept(std::is_nothrow_ move_assignable< T >::value &&std::is_nothrow_move_constructible< T >::value); SWS_CORE_01115
template <typename U = T> Optional & operator= (U &&u) &noexcept(std::is_nothrow_constructible< T, U >::value &&std::is_nothrow_assignable< T &, U >::value); SWS_CORE_01116
template <typename U> Optional & operator= (const Optional< U > &) &noexcept(std::is_ nothrow_constructible< T, const U &>::value &&std::is_nothrow_ assignable< T &, const U &>::value); SWS_CORE_01117
template <typename U> Optional & operator= (Optional< U > &&) &noexcept(std::is_nothrow_ constructible< T, U >::value &&std::is_nothrow_assignable< T &, U >::value); SWS_CORE_01118

Typaliase

value_type type alias

≙ [optional]

using value_type = T;

Dokumentation der Methoden

function Optional [SWS_CORE_01103]

constexpr Optional () noexcept;

As per corresponding usage in [optional]

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01103
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01103@rel:R25-11#d86867a0
Content hash
d86867a0
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01103
Status: valid/unmigrated Version: rel:R25-11#8992786d 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_01103@rel:R25-11#8992786d
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#d86867a02026-09-30
  • R24-11rel:R24-11#86df07de2026-10-14
  • R25-11rel:R25-11#8992786d2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function Optional [SWS_CORE_01104]

constexpr Optional (nullopt_t) noexcept;

As per corresponding usage in [optional]

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01104
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01104@rel:R25-11#e84841e9
Content hash
e84841e9
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01104
Status: valid/unmigrated Version: rel:R25-11#411bd18e 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_01104@rel:R25-11#411bd18e
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#e84841e92026-09-30
  • R24-11rel:R24-11#43c232942026-10-14
  • R25-11rel:R25-11#411bd18e2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function Optional [SWS_CORE_01105]

constexpr Optional (const Optional &other) noexcept(std::is_nothrow_ copy_constructible< T >::value);

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

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01105
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01105@rel:R25-11#0af1e179
Content hash
0af1e179
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01105
Status: valid/unmigrated Version: rel:R25-11#85a53092 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_01105@rel:R25-11#85a53092
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#0af1e1792026-09-30
  • R24-11rel:R24-11#2865a5e92026-10-14
  • R25-11rel:R25-11#85a530922026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function Optional [SWS_CORE_01106]

constexpr Optional (Optional &&other) noexcept(std::is_nothrow_move_ constructible< T >::value);

As per corresponding usage in [optional]

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01106
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01106@rel:R25-11#a9088f02
Content hash
a9088f02
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01106
Status: valid/unmigrated Version: rel:R25-11#5420cc51 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_01106@rel:R25-11#5420cc51
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#a9088f022026-09-30
  • R24-11rel:R24-11#ded734802026-10-14
  • R25-11rel:R25-11#5420cc512026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function Optional [SWS_CORE_01107]

template <typename... Args> explicit constexpr Optional (in_place_t, Args &&...) noexcept(std::is_nothrow_constructible< T, Args... >::value);

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

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01107
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01107@rel:R25-11#4f8cb42a
Content hash
4f8cb42a
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01107
Status: valid/unmigrated Version: rel:R25-11#0d478adc 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_01107@rel:R25-11#0d478adc
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#4f8cb42a2026-09-30
  • R24-11rel:R24-11#d6033a2e2026-10-14
  • R25-11rel:R25-11#0d478adc2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function Optional [SWS_CORE_01108]

template <typename U, typename... Args> explicit constexpr Optional (in_place_t, std::initializer_list< U >, Args &&...) noexcept(std::is_nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value);

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

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01108
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01108@rel:R25-11#7769d619
Content hash
7769d619
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01108
Status: valid/unmigrated Version: rel:R25-11#25dbc842 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_01108@rel:R25-11#25dbc842
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#7769d6192026-09-30
  • R24-11rel:R24-11#030018c92026-10-14
  • R25-11rel:R25-11#25dbc8422026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function Optional [SWS_CORE_01109]

template <typename U = T> {<cond-explicit-1>} constexpr Optional (U &&) noexcept(std::is_ nothrow_constructible< T, U >::value);

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

KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: a319ba530534 Herkunft Offene Fragen (1)
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Verwendung

Die Konstruktorfunktion [SWS_CORE_01109] der Klasse ara::core::Optional wird über den Header #include "ara/core/optional.h" bereitgestellt. Als Template-Konstruktor mit der Signatur template <typename U = T> constexpr Optional(U&&) dient sie der direkten Initialisierung eines optionalen Werts unter Weiterleitung des Arguments vom Typ U&& auf den enthaltenen Werttyp T ([SWS_CORE_01102]). Die Semantik folgt der Festlegung in [optional], weicht jedoch durch eine explizite Bedingung für die Ausnahmefreiheit ab: Die Funktion ist genau dann als noexcept spezifiziert, wenn std::is_nothrow_constructible<T, U>::value erfüllt ist ([SWS_CORE_01109]).

Fehlerbehandlung und Ausnahmesicherheit

Hinsichtlich der Ausnahmesicherheit ist der Aufruf als conditionally exception safe eingestuft ([SWS_CORE_01109]). Spezifische AUTOSAR-Fehlercodes sowie Berichtswege über DET oder DEM existieren für diesen Konstruktor nicht; schlägt die Konstruktion des Zieltyps T fehl, wird die entsprechende Ausnahme des Typs weitergereicht.

Zusammenspiel und Nebenläufigkeit

Die Funktion steht neben dem Standardkonstruktor [SWS_CORE_01103] und dem Null-Konstruktor [SWS_CORE_01104], welche leere Instanzen erzeugen, sowie den Kopier- und Verschiebekonstruktoren [SWS_CORE_01105] und [SWS_CORE_01106]. Zudem dient ara::core::Optional als Träger für optionale Rückgabewerte in der Fehlerbehandlung von ara::core::Result, beispielsweise beim Abruf von Werten über Ok() ([SWS_CORE_00770]) oder Fehlern über Err() ([SWS_CORE_00772]). Interpretation: Mangels expliziter Thread-Sicherheitszusagen in [SWS_CORE_01109] dürfte der nebenläufige Aufruf des Konstruktors nur dann sicher sein, wenn das Quellobjekt U vor gleichzeitigen Modifikationen geschützt ist. Frage Q-edf541fe968f3afe (offen)

Dieser Nutzungshinweis wurde automatisch generiert. Maßgeblich ist die AUTOSAR-Spezifikation.

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01109
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01109@rel:R25-11#5e482bc6
Content hash
5e482bc6
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01109
Status: valid/unmigrated Version: rel:R25-11#7558e4db 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_01109@rel:R25-11#7558e4db
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#5e482bc62026-09-30
  • R24-11rel:R24-11#8a9b95052026-10-14
  • R25-11rel:R25-11#7558e4db2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function Optional [SWS_CORE_01110]

template <typename U> {<cond-explicit-2>} Optional (const Optional< U > &) noexcept(std::is_ nothrow_constructible< T, const U & >::value);

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

KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: dd45cef6ee33 Herkunft Offene Fragen (2)
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Verwendung

Der konvertierende Kopierkonstruktor von ara::core::Optional ist über die Header-Datei #include "ara/core/optional.h" verfügbar [SWS_CORE_01110]. Er dient der synchronen Erzeugung eines Optional<T> aus einer bestehenden Instanz const Optional<U>&. Die Spezifikationsmarkierung {<cond-explicit-2>} dürfte bedeuten, dass der Konstruktor als explicit deklariert ist, sofern T nicht implizit aus const U& erzeugt werden kann. Frage Q-4a4adc2b59d1fa53 (offen)

Fehlerbehandlung und Exception-Sicherheit

Für diesen Konstruktor existieren keine spezifischen Fehlercodes, DET- oder DEM-Meldungen. Die Funktion ist als bedingt ausnahmesicher (conditionally exception safe) eingestuft [SWS_CORE_01110]. Die noexcept-Garantie greift über noexcept(std::is_nothrow_constructible<T, const U&>::value) ausschließlich dann, wenn der Zieltyp T ohne Ausnahmen aus const U& konstruierbar ist [SWS_CORE_01110]. Schlägt die Erzeugung des Zielwerts fehl, propagieren Exceptions unverändert.

Nebenläufigkeit und Einschränkungen

Im Gegensatz zu anderen Funktionen wie Ok() [SWS_CORE_00770] weist die Spezifikation für diesen Konstruktor keine Thread-Sicherheit aus. Er dürfte zwar reentrant sein, doch ein nebenläufiger Lese- oder Schreibzugriff auf das Quellobjekt Optional<U> erfordert externe Synchronisation. Frage Q-a0534498f685f575 (offen)

Zusammenspiel

Der Konstruktor ergänzt die weiteren Initialisierungsfunktionen von ara::core::Optional, darunter Standard-, Null- und Kopierkonstruktoren ([SWS_CORE_01103], [SWS_CORE_01104], [SWS_CORE_01105], [SWS_CORE_01106]) sowie die Swap-Operation [SWS_CORE_01096]. Zudem interagiert der Typ eng mit ara::core::Result, dessen Methoden Ok() und Err() Werte oder Fehler als Optional exponieren ([SWS_CORE_00770], [SWS_CORE_00772]).

Dieser Text wurde von einer KI auf Basis der AUTOSAR-Spezifikation R25-11 generiert.

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01110
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01110@rel:R25-11#f7b346cb
Content hash
f7b346cb
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01110
Status: valid/unmigrated Version: rel:R25-11#11b08505 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_01110@rel:R25-11#11b08505
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#f7b346cb2026-09-30
  • R24-11rel:R24-11#a18434152026-10-14
  • R25-11rel:R25-11#11b085052026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function Optional [SWS_CORE_01111]

template <typename U> {<cond-explicit-3>} Optional (Optional< U > &&) noexcept(std::is_ nothrow_constructible< T, U >::value);

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

KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: 5e86b0752dce Herkunft Offene Fragen (1)
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Die Template-Funktion [SWS_CORE_01111] stellt den konvertierenden Move-Konstruktor der Klasse ara::core::Optional aus der Header-Datei #include "ara/core/optional.h" bereit. Er übernimmt eine Rvalue-Referenz Optional<U>&& zur Initialisierung einer Instanz von Optional<T> und folgt dem Verhalten von [optional] mit der dokumentierten Abweichung einer bedingten noexcept-Spezifikation [SWS_CORE_01111]. Die Spezifikationsklausel {<cond-explicit-3>} dürfte als Interpretation steuern, ob die Konvertierung je nach Eigenschaften der Typen T und U implizit oder explizit erfolgt. Frage Q-0b21a6eafb9414d8 (offen)

Hinsichtlich der Fehlerbehandlung und Ausnahmebehandlung ist der Konstruktor als bedingt ausnahmesicher (conditionally exception safe) eingestuft [SWS_CORE_01111]. Die Ausführung ist genau dann noexcept, wenn std::is_nothrow_constructible<T, U>::value erfüllt ist [SWS_CORE_01111]. Andernfalls können während der Konstruktion des enthaltenen Wertes Ausnahmen auftreten und an den Aufrufer propagiert werden.

Innerhalb von ara::core::Optional ergänzt diese Funktion den regulären Move-Konstruktor [SWS_CORE_01106], den Copy-Konstruktor [SWS_CORE_01105] sowie den Standardkonstruktor [SWS_CORE_01103]. Zudem interagiert das Element eng mit ara::core::Result, dessen Methoden Ok() und Err() enthaltene Werte oder Fehler als ara::core::Optional zurückliefern (wie in [SWS_CORE_00770], [SWS_CORE_00771] und [SWS_CORE_00772]), sowie mit der Hilfsfunktion swap [SWS_CORE_01096].

Dieser Nutzungshinweis wurde automatisiert auf Basis der Spezifikationsdaten generiert.

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01111
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01111@rel:R25-11#60888d08
Content hash
60888d08
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01111
Status: valid/unmigrated Version: rel:R25-11#9d33a7e6 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_01111@rel:R25-11#9d33a7e6
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#60888d082026-09-30
  • R24-11rel:R24-11#1297b71f2026-10-14
  • R25-11rel:R25-11#9d33a7e62026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function emplace [SWS_CORE_01119]

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

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

KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: 4b99ff09898e Herkunft Offene Fragen (2)
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Die Elementfunktion emplace der Klasse ara::core::Optional dient dazu, den enthaltenen Wert des Typs T direkt im Speicher des optionalen Objekts zu erzeugen [SWS_CORE_01119]. Der Aufruf erfolgt synchron über die Header-Datei ara/core/optional.h. Als Parameter nimmt die Funktion ein variables Argument-Paket Args&&... entgegen und leitet dieses an den Konstruktor des Typs T weiter; zurückgegeben wird eine lvalue-Referenz auf den neu erzeugten Wert (T&) [SWS_CORE_01119].

Hinsichtlich der Ausnahmebehandlung ist die Funktion als bedingt ausnahmesicher (conditionally exception safe) eingestuft und besitzt eine bedingte noexcept-Spezifikation basierend auf std::is_nothrow_constructible<T, Args&&...>::value [SWS_CORE_01119]. Löst die Konstruktion von T eine Ausnahme aus, greift die Ausnahmesicherheit des zugrunde liegenden Typs; eine noexcept-Garantie gilt ausschließlich, wenn die Konstruktion garantiert keine Ausnahmen wirft. Spezifische Fehlercodes, DEM-Ereignisse oder DET-Meldungen sind in der Spezifikation nicht vorgesehen [SWS_CORE_01119].

Bezüglich der Nebenläufigkeit schweigt die Spezifikation; Interpretation: Der gleichzeitige schreibende Zugriff mehrerer Threads auf dieselbe Instanz von ara::core::Optional dürfte ohne externe Synchronisation nicht threadsicher sein. Frage Q-c11efb3f95001493 (offen) Zudem dürfte ein zuvor vorhandener Wert bei der Neuinitialisierung zerstört werden.

Im Zusammenspiel innerhalb von ara::core::Optional existieren alternative Überladungen: Für Initialisierungslisten steht eine Variante mit std::initializer_list zur Verfügung [SWS_CORE_01120], während für Referenztypen ara::core::Optional<T&> eine dedizierte Überladung definiert ist [SWS_CORE_01164]. Ähnliche Emplace-Mechanismen zur In-Place-Konstruktion existieren im Modul core auch für Container wie ara::core::Vector [SWS_CORE_01366], ara::core::Map [SWS_CORE_01458] und ara::core::Variant [SWS_CORE_01661], [SWS_CORE_01662], [SWS_CORE_01663], [SWS_CORE_01664].

Dieser Text wurde von einer KI auf Basis der AUTOSAR-Spezifikation R25-11 generiert.

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01119
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01119@rel:R25-11#957655d8
Content hash
957655d8
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01119
Status: valid/unmigrated Version: rel:R25-11#a1151217 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_01119@rel:R25-11#a1151217
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#957655d82026-09-30
  • R24-11rel:R24-11#fb1be5602026-10-14
  • R25-11rel:R25-11#a11512172026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function emplace [SWS_CORE_01120]

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

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

KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: a5f272ff8d2c Herkunft Offene Fragen (1)
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Die Elementfunktion emplace aus [SWS_CORE_01120] dient dazu, den enthaltenen Wert eines Objekts vom Typ ara::core::Optional direkt vor Ort (in-place) zu initialisieren. Sie nimmt eine std::initializer_list<U> sowie optionale Argumente Args&&... entgegen und gibt eine Referenz T& auf den neu erzeugten Wert zurück.

Hinsichtlich der Fehlerbehandlung und Ausnahme-Sicherheit ist die Funktion als bedingt ausnahmesicher (conditionally exception safe) spezifiziert. Die noexcept-Bedingung hängt gemäß [SWS_CORE_01120] exakt davon ab, ob der Zieltyp T unter Verwendung der std::initializer_list<U>& und der Weiterleitungsargumente ausnahmsfrei konstruiert werden kann (std::is_nothrow_constructible). Dies stellt eine explizite Abweichung vom Verhalten in Standard-[optional] dar.

Im Verbund der Kernkomponenten ergänzt diese Überladung die generische In-Place-Konstruktion ohne Initialisierungsliste aus [SWS_CORE_01119]. Für Referenz-Spezialisierungen existiert zudem die Zuweisung über [SWS_CORE_01164]. Interpretation: Wie beim Standard-Gegenstück in [optional] üblich, dürfte bei Vorhandensein eines vorherigen Werts dieser vor der Neu-Konstruktion zerstört werden. Frage Q-b8a9274e43f0a0a9 (offen)

Dieser Nutzungshinweis wurde automatisch generiert und basiert auf den Vorgaben der Spezifikation.

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01120
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01120@rel:R25-11#a140351c
Content hash
a140351c
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01120
Status: valid/unmigrated Version: rel:R25-11#19e525e9 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_01120@rel:R25-11#19e525e9
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#a140351c2026-09-30
  • R24-11rel:R24-11#d59521372026-10-14
  • R25-11rel:R25-11#19e525e92026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function has_value [SWS_CORE_01129]

constexpr bool has_value () const noexcept;

As per corresponding usage in [optional]

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01129
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01129@rel:R25-11#9f849c3e
Content hash
9f849c3e
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01129
Status: valid/unmigrated Version: rel:R25-11#7383a7bc 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_01129@rel:R25-11#7383a7bc
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#9f849c3e2026-09-30
  • R24-11rel:R24-11#796326bb2026-10-14
  • R25-11rel:R25-11#7383a7bc2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator bool [SWS_CORE_01128]

explicit constexpr operator bool () const noexcept;

As per corresponding usage in [optional]

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01128
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01128@rel:R25-11#109a619b
Content hash
109a619b
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01128
Status: valid/unmigrated Version: rel:R25-11#cf39bd07 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_01128@rel:R25-11#cf39bd07
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#109a619b2026-09-30
  • R24-11rel:R24-11#b5a26c7d2026-10-14
  • R25-11rel:R25-11#cf39bd072026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator* [SWS_CORE_01124]

constexpr const T & operator* () const & noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01124
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01124@rel:R25-11#72e800a6
Content hash
72e800a6
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01124
Status: valid/unmigrated Version: rel:R25-11#6c6d6246 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_01124@rel:R25-11#6c6d6246
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#72e800a62026-09-30
  • R24-11rel:R24-11#6ba741822026-10-14
  • R25-11rel:R25-11#6c6d62462026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator* [SWS_CORE_01125]

constexpr T & operator* () & noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01125
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01125@rel:R25-11#50b8d133
Content hash
50b8d133
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01125
Status: valid/unmigrated Version: rel:R25-11#bbff2175 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_01125@rel:R25-11#bbff2175
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#50b8d1332026-09-30
  • R24-11rel:R24-11#da1307272026-10-14
  • R25-11rel:R25-11#bbff21752026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator* [SWS_CORE_01126]

constexpr T && operator* () &&noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01126
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01126@rel:R25-11#e9500507
Content hash
e9500507
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01126
Status: valid/unmigrated Version: rel:R25-11#eb9c6afb 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_01126@rel:R25-11#eb9c6afb
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#e95005072026-09-30
  • R24-11rel:R24-11#6c670b852026-10-14
  • R25-11rel:R25-11#eb9c6afb2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator* [SWS_CORE_01127]

constexpr const T && operator* () const &&noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01127
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01127@rel:R25-11#930319d5
Content hash
930319d5
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01127
Status: valid/unmigrated Version: rel:R25-11#0c38bfb2 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_01127@rel:R25-11#0c38bfb2
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#930319d52026-09-30
  • R24-11rel:R24-11#d6b67a322026-10-14
  • R25-11rel:R25-11#0c38bfb22026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator-> [SWS_CORE_01122]

const T * operator-> () const noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. Function is not constexpr 3. A IsoStdBadOptionalAccessViolation may be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01122
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01122@rel:R25-11#dede9c81
Content hash
dede9c81
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01122
Status: valid/unmigrated Version: rel:R25-11#a0430001 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_01122@rel:R25-11#a0430001
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#dede9c812026-09-30
  • R24-11rel:R24-11#33bcccf02026-10-14
  • R25-11rel:R25-11#a04300012026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator-> [SWS_CORE_01123]

T * operator-> () noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. Function is not constexpr 3. A IsoStdBadOptionalAccessViolation may be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01123
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01123@rel:R25-11#c2d8053b
Content hash
c2d8053b
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01123
Status: valid/unmigrated Version: rel:R25-11#e18dd6ba 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_01123@rel:R25-11#e18dd6ba
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#c2d8053b2026-09-30
  • R24-11rel:R24-11#1d6944b82026-10-14
  • R25-11rel:R25-11#e18dd6ba2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator= [SWS_CORE_01113]

Optional & operator= (nullopt_t) & noexcept;

As per corresponding usage in [optional]

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01113
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01113@rel:R25-11#f2640056
Content hash
f2640056
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01113
Status: valid/unmigrated Version: rel:R25-11#18fcf54f 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_01113@rel:R25-11#18fcf54f
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#f26400562026-09-30
  • R24-11rel:R24-11#f4403dc22026-10-14
  • R25-11rel:R25-11#18fcf54f2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator= [SWS_CORE_01114]

Optional & operator= (const Optional &other) &noexcept(std::is_ nothrow_copy_constructible< T >::value &&std::is_nothrow_copy_ assignable< T >::value);

As per corresponding usage in [optional] except for the following deviations: 1. Function is conditionally noexcept 2. Function is declared with the ref-qualifier &

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01114
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01114@rel:R25-11#53d12502
Content hash
53d12502
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01114
Status: valid/unmigrated Version: rel:R25-11#6ca0c9a7 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_01114@rel:R25-11#6ca0c9a7
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#53d125022026-09-30
  • R24-11rel:R24-11#d36bd1ce2026-10-14
  • R25-11rel:R25-11#6ca0c9a72026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator= [SWS_CORE_01115]

Optional & operator= (Optional &&other) &noexcept(std::is_nothrow_ move_assignable< T >::value &&std::is_nothrow_move_constructible< T >::value);

As per corresponding usage in [optional] except for the following deviations: 1. Function is declared with the ref-qualifier &

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01115
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01115@rel:R25-11#f4c255c1
Content hash
f4c255c1
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01115
Status: valid/unmigrated Version: rel:R25-11#16e267f2 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_01115@rel:R25-11#16e267f2
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#f4c255c12026-09-30
  • R24-11rel:R24-11#6bfd4afd2026-10-14
  • R25-11rel:R25-11#16e267f22026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator= [SWS_CORE_01116]

template <typename U = T> Optional & operator= (U &&u) &noexcept(std::is_nothrow_constructible< T, U >::value &&std::is_nothrow_assignable< T &, U >::value);

As per corresponding usage in [optional] except for the following deviations: 1. Function is conditionally noexcept 2. Function is declared with the ref-qualifier &

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01116
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01116@rel:R25-11#be342f91
Content hash
be342f91
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01116
Status: valid/unmigrated Version: rel:R25-11#3e4d73de 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_01116@rel:R25-11#3e4d73de
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#be342f912026-09-30
  • R24-11rel:R24-11#3fce07582026-10-14
  • R25-11rel:R25-11#3e4d73de2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator= [SWS_CORE_01117]

template <typename U> Optional & operator= (const Optional< U > &) &noexcept(std::is_ nothrow_constructible< T, const U &>::value &&std::is_nothrow_ assignable< T &, const U &>::value);

As per corresponding usage in [optional] except for the following deviations: 1. Function is conditionally noexcept 2. Function is declared with the ref-qualifier &

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01117
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01117@rel:R25-11#68ae4d39
Content hash
68ae4d39
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01117
Status: valid/unmigrated Version: rel:R25-11#d5d06ba9 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_01117@rel:R25-11#d5d06ba9
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#68ae4d392026-09-30
  • R24-11rel:R24-11#a7a5f0f32026-10-14
  • R25-11rel:R25-11#d5d06ba92026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function operator= [SWS_CORE_01118]

template <typename U> Optional & operator= (Optional< U > &&) &noexcept(std::is_nothrow_ constructible< T, U >::value &&std::is_nothrow_assignable< T &, U >::value);

As per corresponding usage in [optional] except for the following deviations: 1. Function is conditionally noexcept 2. Function is declared with the ref-qualifier &

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01118
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01118@rel:R25-11#615224ed
Content hash
615224ed
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01118
Status: valid/unmigrated Version: rel:R25-11#083436fb 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_01118@rel:R25-11#083436fb
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#615224ed2026-09-30
  • R24-11rel:R24-11#bc5224af2026-10-14
  • R25-11rel:R25-11#083436fb2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function reset [SWS_CORE_01136]

void reset () noexcept;

As per corresponding usage in [optional]

KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: e8663f9a82ee Herkunft Offene Fragen (1)
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Die Elementfunktion reset der Klasse ara::core::Optional wird über den Header #include "ara/core/optional.h" bereitgestellt und dient der Zurücksetzung einer Instanz [SWS_CORE_01136]. Die Funktion besitzt die Signatur void reset () noexcept;, nimmt keine Parameter entgegen und liefert keinen Rückgabewert [SWS_CORE_01136]. Ihr Verhalten folgt der korrespondierenden Verwendung in [optional] [SWS_CORE_01136]; Interpretation: Auf Basis dieser Referenz dürfte der Aufruf einen eventuell vorhandenen Zustandswert zerstören und die Instanz in einen unbesetzten Zustand überführen. Frage Q-c819444ae1a7df1f (offen)

Hinsichtlich der Fehlerbehandlung und Ausnahmebehandlung ist reset als ausnahmesicher (exception safe) sowie mit dem Bezeichner noexcept deklariert [SWS_CORE_01136]. Es werden weder Ausnahmen ausgelöst noch Fehlercodes zurückgegeben [SWS_CORE_01136].

Im Zusammenspiel mit anderen Komponenten der Core-Bibliothek sind folgende Bezüge relevant:

  • Für optionale Referenzen ara::core::Optional<T&> steht eine als constexpr spezifizierte Überladung von reset zur Verfügung, die ebenfalls noexcept und ausnahmesicher ist [SWS_CORE_01165].
  • In Abgrenzung zu Optional bietet der Typ ara::core::Bitset im Header ara/core/bitset.h ebenfalls reset-Funktionen an: eine parameterlose Variante, die das modifizierte Bitset referenziert [SWS_CORE_01727], sowie eine positionsbezogene Überladung mit Result-Rückgabe und Prüfung auf IsoStdOutOfRangeViolation [SWS_CORE_01728].

Dieser Text wurde automatisch generiert. Alle Angaben stützen sich auf den Spezifikationsumfang von AUTOSAR Adaptive R25-11.

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01136
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01136@rel:R25-11#bde8a7be
Content hash
bde8a7be
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01136
Status: valid/unmigrated Version: rel:R25-11#6d9fb635 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_01136@rel:R25-11#6d9fb635
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#bde8a7be2026-09-30
  • R24-11rel:R24-11#4d4a35c12026-10-14
  • R25-11rel:R25-11#6d9fb6352026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function swap [SWS_CORE_01121]

void swap (Optional &) noexcept(std::is_nothrow_move_constructible< T >::value &&std::is_nothrow_move_assignable< T >::value);

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

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01121
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01121@rel:R25-11#f13812c0
Content hash
f13812c0
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01121
Status: valid/unmigrated Version: rel:R25-11#ec32d4dd 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_01121@rel:R25-11#ec32d4dd
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#f13812c02026-09-30
  • R24-11rel:R24-11#6c6900ce2026-10-14
  • R25-11rel:R25-11#ec32d4dd2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function value [SWS_CORE_01130]

constexpr const T & value () const & noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01130
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01130@rel:R25-11#d33dc715
Content hash
d33dc715
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01130
Status: valid/unmigrated Version: rel:R25-11#f3e37107 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_01130@rel:R25-11#f3e37107
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#d33dc7152026-09-30
  • R24-11rel:R24-11#dd5d01932026-10-14
  • R25-11rel:R25-11#f3e371072026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function value [SWS_CORE_01131]

constexpr T & value () & noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01131
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01131@rel:R25-11#68af222c
Content hash
68af222c
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01131
Status: valid/unmigrated Version: rel:R25-11#bd11e736 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_01131@rel:R25-11#bd11e736
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#68af222c2026-09-30
  • R24-11rel:R24-11#3d037a0d2026-10-14
  • R25-11rel:R25-11#bd11e7362026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function value [SWS_CORE_01132]

constexpr T && value () &&noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01132
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01132@rel:R25-11#414433c4
Content hash
414433c4
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01132
Status: valid/unmigrated Version: rel:R25-11#24f00cb3 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_01132@rel:R25-11#24f00cb3
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#414433c42026-09-30
  • R24-11rel:R24-11#2e6187fb2026-10-14
  • R25-11rel:R25-11#24f00cb32026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function value [SWS_CORE_01133]

constexpr const T && value () const &&noexcept;

As per corresponding usage in [optional] except for the following deviations: 1. The function is noexcept 2. A IsoStdBadOptionalAccessViolation may conditionally be raised (see condition)

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitexception safe
Verletzungen (Violations)IsoStdBadOption- If *this does not contain a value alAccessViolation

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

Record
AUTOSAR/AP/record/SWS_CORE_01133
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01133@rel:R25-11#54a5ac7f
Content hash
54a5ac7f
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01133
Status: valid/unmigrated Version: rel:R25-11#7b7d6eb7 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_01133@rel:R25-11#7b7d6eb7
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#54a5ac7f2026-09-30
  • R24-11rel:R24-11#f020185a2026-10-14
  • R25-11rel:R25-11#7b7d6eb72026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function value_or [SWS_CORE_01134]

template <typename U> constexpr T value_or (U &&) const &;

As per corresponding usage in [optional]

KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: 4420db92e204 Herkunft
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Verwendung

Die Template-Elementfunktion value_or der Klasse ara::core::Optional gemäß [SWS_CORE_01134] dient dem synchronen Abrufen des enthaltenen Wertes oder eines bereitgestellten Ausweichwertes. Sie wird über den Header #include "ara/core/optional.h" eingebunden und ist mit der Signatur template <typename U> constexpr T value_or (U &&) const &; als konstante lvalue-Referenz-Methode deklariert. Das Verhalten richtet sich nach der entsprechenden Definition von std::optional („As per corresponding usage in [optional]“), wodurch bei gesetztem Inhalt der Wert T und andernfalls der übergebene Standardwert zurückgegeben wird.

Fehlerbehandlung und Exception-Sicherheit

Hinsichtlich der Fehlerbehandlung ist die Funktion gemäß [SWS_CORE_01134] explizit als nicht ausnahmesicher („not exception safe“) spezifiziert. Fehlercodes, DET- oder DEM-Meldungen sind für diesen Aufruf nicht vorgesehen. Bei Konvertierungs- oder Kopieroperationen ausgelöste Exceptions können somit nach außen propagieren.

Zusammenspiel

Innerhalb von ara::core::Optional existieren komplementäre Überladungen von value_or:

  • [SWS_CORE_01135] stellt die rvalue-Überladung template <typename U> constexpr T value_or (U &&) &&; bereit, die ebenfalls als nicht ausnahmesicher („not exception safe“) deklariert ist und für temporäre Objekte optimiertes Verschieben ermöglicht.
  • [SWS_CORE_01175] spezifiziert die Überladung für die Spezialisierung ara::core::Optional<T&> mit der Signatur template <typename U> constexpr T value_or (U &&u) const noexcept;, welche im Gegensatz zu [SWS_CORE_01134] als ausnahmesicher („exception safe“) gekennzeichnet ist.

Dieser Nutzungshinweis wurde automatisiert generiert und basiert ausschließlich auf den Spezifikationsdaten von AUTOSAR Release R25-11.

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitnot exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01134
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01134@rel:R25-11#60f23a90
Content hash
60f23a90
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01134
Status: valid/unmigrated Version: rel:R25-11#7c04631e 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_01134@rel:R25-11#7c04631e
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#60f23a902026-09-30
  • R24-11rel:R24-11#75fa1c852026-10-14
  • R25-11rel:R25-11#7c04631e2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function value_or [SWS_CORE_01135]

template <typename U> constexpr T value_or (U &&) &&;

As per corresponding usage in [optional]

KI-GENERIERT ungeprüft Modell: gemini-3.8-flash-medium · Aufwand: medium · Temperatur: nicht steuerbar · Prompt: 1f9eb2809808 Herkunft Offene Fragen (2)
KI-generiertgemini-3.8-flash-medium · 2026-10-13

Verwendung

Die Rvalue-qualifizierte Elementfunktion value_or der Template-Klasse ara::core::Optional wird über die Header-Datei ara/core/optional.h bereitgestellt [SWS_CORE_01135]. Entsprechend dem Verweis auf [optional] dient sie dazu, den enthaltenen Wert synchron abzufragen oder einen übergebenen Ersatzwert zurückzuliefern. Da dieser Aufruf an Rvalue-Referenzen gebunden ist, wird der enthaltene Wert vermutlich per Move-Semantik übertragen, sofern ein Wert vorliegt; andernfalls wird das übergebene Argument ausgewertet und konvertiert. Frage Q-e20f155d58dd0d72 (offen)

Zusammenspiel und Überladungen

Die Funktion ergänzt die Const-Lvalue-Überladung [SWS_CORE_01134], welche denselben Fallback-Mechanismus für langlebige bzw. nicht-temporäre Instanzen anbietet. Für Spezialisierungen auf Referenzen ara::core::Optional<T &> existiert abweichend eine als noexcept deklarierte Signatur [SWS_CORE_01175], wohingegen die allgemeine Überladung für Rvalues von Werttypen vorgesehen ist.

Fehlerbehandlung und Exception-Sicherheit

Die Methode ist explizit als not exception safe deklariert [SWS_CORE_01135]. Spezifische Fehlercodes, DET- oder DEM-Meldungen existieren nicht. Interpretation: Potenzielle Ausnahmen dürften primär aus Move-Konstruktoren oder Konvertierungsoperatoren der beteiligten Typen T und U herrühren, sofern bei der Erzeugung des Rückgabewerts Fehler auftreten. Frage (offen)

Dieser Text wurde durch eine KI erstellt und basiert ausschließlich auf den Spezifikationen des Releases R25-11.

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitnot exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01135
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01135@rel:R25-11#4e564dbd
Content hash
4e564dbd
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01135
Status: valid/unmigrated Version: rel:R25-11#b12481cc 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_01135@rel:R25-11#b12481cc
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#4e564dbd2026-09-30
  • R24-11rel:R24-11#e796ceb42026-10-14
  • R25-11rel:R25-11#b12481cc2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

function ~Optional [SWS_CORE_01112]

~Optional () noexcept(std::is_nothrow_destructible< T >::value);

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

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Exception-Sicherheitconditionally exception safe

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

Record
AUTOSAR/AP/record/SWS_CORE_01112
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01112@rel:R25-11#d0e776bc
Content hash
d0e776bc
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01112
Status: valid/unmigrated Version: rel:R25-11#28cb7e57 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_01112@rel:R25-11#28cb7e57
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#d0e776bc2026-09-30
  • R24-11rel:R24-11#56a370392026-10-14
  • R25-11rel:R25-11#28cb7e572026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

Dokumentation der Typaliase

type alias value_type [SWS_CORE_01102]

using value_type = T;

As per corresponding usage in [optional]

Header-Datei#include "ara/core/optional.h"
Scopeclass ara::core::Optional
Symbolvalue_type

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

Record
AUTOSAR/AP/record/SWS_CORE_01102
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_CORE_01102@rel:R25-11#0d70273d
Content hash
0d70273d
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01102
Status: valid/unmigrated Version: rel:R25-11#6430c943 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_01102@rel:R25-11#6430c943
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#0d70273d2026-09-30
  • R24-11rel:R24-11#75d4d87e2026-10-14
  • R25-11rel:R25-11#6430c9432026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill