class ara::core::InstanceSpecifier

Die Klasse ara::core::InstanceSpecifier dient als typsicherer Wrapper um einen AUTOSAR-shortName-Pfad zur eindeutigen Identifikation von Modellinstanzen in der Adaptive Platform. Die bevorzugte Erzeugung erfolgt ausnahmesicher über die statische Fabrikmethode Create [SWS_CORE_08032], welche einen Pfad validiert und ein ara::core::Result zurückliefert. Als wesentliche Randbedingung garantiert die Methode ToString [SWS_CORE_08041] die Gültigkeit des gelieferten StringView nur für die Lebensdauer der ursprünglich übergebenen Zeichenkette, da kein eigener Puffer verwaltet wird. Zur Laufzeit unterstützt das Objekt vollständige Vergleichsoperationen für Modellabgleiche und die geordnete Ablage in Containern.

mehr ›

Kontext

Die Klasse ara::core::InstanceSpecifier dient als Repräsentation eines AUTOSAR Instance Specifiers und kapselt einen vollständigen shortName-Pfad eines Modellelements. Innerhalb der Adaptive Platform fungiert sie als typsichere Abstraktion über Pfad-Zeichenketten des AUTOSAR-Metamodells. Statt unformatierte Zeichenketten zu verwenden, kapselt dieser Typ die syntaktischen Pfadstrukturen und stellt sicher, dass Instanzen konsistent adressiert werden können. Als primäre Interaktionspartner treten Anwendungskomponenten und Plattformdienste auf, die Modellinstanzen eindeutig referenzieren, vergleichen oder in Sammlungen verwalten. Interpretation: Da die Spezifikation die Klasse als leichtgewichtigen Modellpfad-Wrapper beschreibt, dürfte sie vor allem zur Identifikation und Konfigurationszuordnung von Service-Instanzen und Kommunikationsendpunkten zur Laufzeit dienen. Frage Q-6574e1172032e6d9 (offen)

Lebenszyklus

Für die Erzeugung bietet ara::core::InstanceSpecifier zwei Pfade mit unterschiedlichen Fehler- und Ausnahmesemantiken: die statische Fabrikmethode Create [SWS_CORE_08032] sowie den expliziten Konstruktor [SWS_CORE_08021]. Die Fabrikmethode Create nimmt einen ara::core::StringView entgegen, ist als noexcept sowie threadsicher spezifiziert und gibt das Ergebnis in einem ara::core::Result<InstanceSpecifier> zurück. Im Gegensatz dazu ist der direkte Konstruktor mit noexcept(false) deklariert und wirft bei ungültigen Pfadstrukturen eine ara::core::CoreException, womit er nicht ausnahmesicher ist [SWS_CORE_08021].

Bezüglich der Lebensdauer und Besitzverhältnisse existiert eine entscheidende Eigenschaft: Die Methode ToString liefert eine ara::core::StringView zurück, deren Gültigkeit explizit an die Lebensdauer des Speichers gebunden ist, welcher dem ursprünglich beim Konstruieren übergebenen StringView zugrunde lag [SWS_CORE_08041]. Die Klasse kopiert die zugrundeliegende Zeichenkette folglich nicht in einen eigenen Speicherbereich, sondern verweist auf externe Daten. Entwickler müssen daher sicherstellen, dass die Quellzeichenkette während der gesamten Verwendungsdauer des InstanceSpecifier und der daraus abgeleiteten StringViews im Speicher verbleibt.

Für die weitere Verwaltung im Lebenszyklus sind Kopierkonstruktor [SWS_CORE_08022], Move-Konstruktor [SWS_CORE_08023], Kopierzuweisung [SWS_CORE_08024] und Move-Zuweisung [SWS_CORE_08025] vorhanden. Alle vier Operationen sind als noexcept deklariert und garantieren Ausnahme-Sicherheit. Bei der Nebenläufigkeit ist jedoch zu beachten, dass ausschließlich der Kopierkonstruktor als threadsicher eingestuft ist. Die Move-Operationen, Zuweisungsoperatoren sowie der Destruktor [SWS_CORE_08029] sind nicht threadsicher und verlangen eine externe Synchronisation, wenn dieselbe Instanz nebenläufig modifiziert oder zerstört wird.

Nutzungspfad

Ein typischer Nutzungsablauf umfasst die Instanziierung, die Abfrage der Pfaddarstellung sowie den Vergleich mit anderen Bezeichnern. Bevorzugt wird die nicht-werfende Fabrikfunktion Create aufgerufen [SWS_CORE_08032]. Die Anwendung übergibt den qualifizierten Modellpfad als ara::core::StringView und prüft das resultierende Result-Objekt auf Erfolg.

Sequenzdiagramm: Erzeugung über die Create-Fabrikmethode und anschließende Verwendung zur Pfadabfrage oder Fehlerbehandlung. Quellen: [SWS_CORE_08032], [SWS_CORE_08041]

Nach erfolgreicher Initialisierung kann der Bezeichner vielseitig genutzt werden:

• Zeichenkettendarstellung abrufen: Über ToString [SWS_CORE_08041] erhält der Aufrufer eine StringView-Sicht auf den modellierten Pfad.
• Gleichheits- und Ungleichheitsprüfung: Instanzen können per operator== [SWS_CORE_08042] und operator!= [SWS_CORE_08044] direkt mit anderen InstanceSpecifier-Instanzen verglichen werden. Zudem erlauben Überladungen von operator== [SWS_CORE_08043] und operator!= [SWS_CORE_08045] den direkten Vergleich mit einer ara::core::StringView. Beide Prüfungen liefern nur dann Gleichheit, wenn exakt dasselbe Modellelement bezeichnet wird.
• Sortierung und Container-Ablage: Über den Kleiner-als-Operator operator< [SWS_CORE_08046] lassen sich Instanzen lexikografisch ordnen, was den Einsatz als Schlüssel in geordneten Containern wie Maps ermöglicht.

Fehlerszenarien

Fehlerbedingungen sind bei ara::core::InstanceSpecifier strikt auf die Konstruktionsphase begrenzt. Treten syntaktische oder semantische Mängel im übergebenen Pfad auf, werden zwei spezifische Fehler identifiziert:

• CoreErrc::kInvalidMetaModelShortname: Wird signalisiert, wenn Pfadelemente im übergebenen Namen fehlen oder unzulässige Zeichen enthalten [SWS_CORE_08032], [SWS_CORE_08021].
• CoreErrc::kInvalidMetaModelPath: Tritt auf, wenn die Zeichenkette keinen gültigen Pfad zu einem Modellelement bildet [SWS_CORE_08032], [SWS_CORE_08021].

Die Art der Fehlersignalisierung hängt vom gewählten Erzeugungspfad ab. Bei Verwendung der Fabrikmethode Create [SWS_CORE_08032] wird der Fehlercode im ara::core::Result zurückgegeben; es gilt Rollback-Semantik ohne Ausnahmen. Wird hingegen der Konstruktor InstanceSpecifier [SWS_CORE_08021] aufgerufen, wird eine ara::core::CoreException mit dem entsprechenden Fehlercode geworfen. Alle nachgelagerten Operationen wie ToString [SWS_CORE_08041], Zuweisungen und die Vergleichsoperatoren [SWS_CORE_08042], [SWS_CORE_08044], [SWS_CORE_08046] besitzen keine definierten Fehlerzustände und sind als noexcept deklariert.