class ara::core::FutureErrorDomain

Der Standardkonstruktor FutureErrorDomain() initialisiert eine Instanz der Fehlerdomäne ara::core::FutureErrorDomain synchron und ohne Übergabeparameter [SWS_CORE_00441]. Da die Funktion als constexpr und noexcept deklariert ist, bietet sie vollständige Exception-Sicherheit und kann bereits zur Übersetzungszeit ausgewertet werden [SWS_CORE_00441].

Hinsichtlich Ausführung und Fehlerbehandlung gelten folgende Bedingungen:

• Die Initialisierung ist thread-safe und wirft keine Ausnahmen [SWS_CORE_00441]. Es sind keine spezifischen Fehlercodes oder Meldungen an Diagnose- oder Fehlermanager vorgesehen.
• Die resultierende Instanz stellt elementare Methoden der Domäne bereit, namentlich Name() für den Domänennamen [SWS_CORE_00442], Message() zur Übersetzung von Fehlercodes in lesbaren Text [SWS_CORE_00443] sowie ThrowAsException() zur Auslösung zugehöriger Ausnahmen [SWS_CORE_00444]. Innerhalb des Klassen-Scopes existieren zudem die Typ-Aliase Errc [SWS_CORE_00431] und Exception [SWS_CORE_00432].

Im Schnittstellengefüge stellt die Funktion GetFutureErrorDomain() eine Referenz auf die zentrale globale Singleton-Instanz bereit [SWS_CORE_00480]. Die direkte manuelle Instanziierung über den Konstruktor [SWS_CORE_00441] dürfte in Anwendungsfällen daher vorrangig der internen Bereitstellung dieser Instanz oder speziellen Testzwecken dienen. Frage Q-4b2f868ccb8a5487 (offen) Spezifische Fehlercodes für diese Domäne werden über MakeErrorCode() unter Verwendung der Enumeration FutureErrc erzeugt [SWS_CORE_00490].

Verwendung

Die Elementfunktion Message der Klasse ara::core::FutureErrorDomain dient der synchronen Übersetzung eines numerischen Fehlercodes in eine aussagekräftige Textmeldung [SWS_CORE_00443]. Die Funktion wird über die Header-Datei #include "ara/core/future_error_domain.h" bereitgestellt. Als Eingabeparameter nimmt sie errorCode vom Typ ErrorDomain::CodeType entgegen. Der Rückgabewert ist ein Zeiger auf eine nullterminierte Zeichenkette (const char *) mit der Textmeldung, welcher gemäß Spezifikation niemals nullptr ist [SWS_CORE_00443].

Nebenläufigkeit und Einschränkungen

Die Funktion ist als noexcept qualifiziert sowie als thread-safe und exception safe spezifiziert [SWS_CORE_00443]. Sie kann daher ohne externe Synchronisation sicher aus nebenläufigen Threads aufgerufen werden. Gemäß den Vorgaben der Basisklasse ara::core::ErrorDomain verbleibt der zurückgegebene Zeiger dauerhaft im Besitz der jeweiligen Subklasse und darf vom Aufrufer unter keinen Umständen manuell freigegeben werden [SWS_CORE_00153].

Fehlerbehandlung und Zusammenspiel

Message überschreibt die rein virtuelle Basismethode Message der abstrakten Basisklasse ara::core::ErrorDomain [SWS_CORE_00153], analog zur Implementierung in anderen Fehlerdomänen wie ara::core::CoreErrorDomain [SWS_CORE_05243]. Entstammt der übergebene Code nicht dieser Domäne, stellt dies laut Basisschnittstelle eine Verletzung dar (WrongDomainOfAnErrorCodeViolation) [SWS_CORE_00153]. In typischen Nutzungsszenarien dürften Entwickler diese Methode nur selten direkt an der Domäne aufrufen, da Fehlermeldungen üblicherweise über die Methode Message des Objekts ara::core::ErrorCode abgerufen werden [SWS_CORE_00518]. Frage Q-a083e0ab17abf079 (offen)

Die synchrone Elementfunktion Name() der Klasse ara::core::FutureErrorDomain wird über den Header ara/core/future_error_domain.h eingebunden [SWS_CORE_00442]. Sie nimmt keine Parameter entgegen und gibt den Namen der Fehlerdomäne als Zeiger auf eine konstante Zeichenkette (const char *) zurück [SWS_CORE_00442].

Hinsichtlich der Fehlerbehandlung und Ausführungssicherheit ist die Methode als noexcept deklariert und als ausnahmesicher (exception safe) spezifiziert [SWS_CORE_00442]. Es werden weder C++-Exceptions ausgelöst noch Fehlerzustände an DET oder DEM gemeldet.

Für die Nebenläufigkeit gilt, dass die Funktion uneingeschränkt threadsicher (thread-safe) ist und parallel aus mehreren Kontexten heraus aufgerufen werden darf [SWS_CORE_00442]. Da sie die rein virtuelle Schnittstelle ara::core::ErrorDomain::Name() überschreibt [SWS_CORE_00152], gelten deren Lebensdauer- und Eigentumsregeln: Der zurückgegebene Zeiger verbleibt im Eigentum der Fehlerdomäne und darf vom Aufrufer keinesfalls freigegeben werden [SWS_CORE_00152]. Die gelieferte Zeichenkette ist nullterminiert und garantiert niemals nullptr [SWS_CORE_00152].

Im Zusammenspiel mit dem Gesamtsystem fungiert die Methode als domänenspezifische Ausprägung der allgemeinen Fehlerdomänen-Schnittstelle [SWS_CORE_00152], vergleichbar mit der Implementierung in anderen Domänen wie ara::core::CoreErrorDomain [SWS_CORE_05242]. Interpretation: Da der Aufrufer den Speicher nicht verwalten darf, dürfte der Zeiger auf ein statisches String-Literal verweisen, dessen Gültigkeit die gesamte Programmlaufzeit umfasst. Frage Q-e1867dfe78e89540 (offen)

Die Elementfunktion ara::core::FutureErrorDomain::ThrowAsException wandelt eine übergebene Instanz von ErrorCode synchron in eine Ausnahme um und wirft diese als FutureException aus [SWS_CORE_00444]. Die ausgelöste Exception kapselt dabei den übergebenen Fehlercode [SWS_CORE_00444]. Damit implementiert die Klasse die rein virtuelle Schnittstelle ThrowAsException der Basisklasse ara::core::ErrorDomain [SWS_CORE_00154].

Hinsichtlich Ausführung und Randbedingungen gelten folgende Spezifikationen:

• Aufruf und Parameter: Die Funktion erwartet als Eingabeparameter eine Referenz auf ein ErrorCode-Objekt (errorCode) und besitzt keinen Rückgabewert, da sie den Kontrollfluss durch das Auslösen der Exception abbricht [SWS_CORE_00444].
• Fehlerverhalten und Ausnahme-Sicherheit: Die Funktion ist mit noexcept(false) deklariert und als not exception safe klassifiziert [SWS_CORE_00444]. Bei Aufruf wird stets die spezifizierte FutureException ausgelöst [SWS_CORE_00444].
• Nebenläufigkeit: Die Implementierung ist als thread-safe eingestuft und kann somit sicher aus parallelen Ausführungskontexten heraus aufgerufen werden [SWS_CORE_00444].
• Compiler-Einschränkung: Wenn C++-Exceptions in der Compiler-Toolchain deaktiviert sind, darf diese Funktion nicht an der Überladungsauflösung (Overload Resolution) teilnehmen [SWS_CORE_00444].

Im Zusammenspiel mit dem Fehlersystem von Adaptive AUTOSAR korrespondiert diese Funktion direkt mit ara::core::ErrorCode::ThrowAsException, dessen Verhalten als Weiterleitung an die zugehörige Domäne definiert ist (this->Domain().ThrowAsException(*this)) [SWS_CORE_00519]. Sie entspricht damit den domänenspezifischen Implementierungen in anderen Domänen wie ara::core::CoreErrorDomain::ThrowAsException, welche stattdessen eine CoreException auslöst [SWS_CORE_05244].