class ara::core::Map::value_compare

Die Hilfsklasse ara::core::Map::value_compare dient als Funktionsobjekt zum relationalen Vergleichen zweier Wertepaare einer Map anhand ihrer Schlüssel unter Verwendung eines intern gekapselten Vergleichsprädikats [SWS_CORE_01421]. Die Instanziierung erfolgt geschützt primär durch die übergeordnete Map-Struktur, während Aufrufer die Auswertung über den Aufrufoperator operator() durchführen [SWS_CORE_01423]. Da die Operationen laut Spezifikation nicht ausnahmesicher sind, muss der aufrufende Code mögliche Ausnahmen des zugrunde liegenden Prädikats berücksichtigen.

mehr ›

Kontext

Die Hilfsklasse ara::core::Map::value_compare stellt im Modul core der AUTOSAR Adaptive Platform ein Funktionsobjekt bereit, mit dessen Hilfe zwei vollständige Schlüssel-Wert-Elemente (value_type) einer assoziativen Tabelle verglichen werden können. Gemäß der Spezifikation orientiert sich die Klasse am etablierten Verhalten der C++-Standardbibliothek für [map]. Die zentrale Aufgabe besteht darin, das für die Ordnung der Schlüssel definierte Prädikat vom Typ Compare auf ganze Wertepaare anwendbar zu machen. Hierzu kapselt die Klasse eine interne Instanz dieses Prädikats in der geschützten Elementvariable comp [SWS_CORE_01421]. Auf diese Weise interagiert value_compare direkt mit der übergeordneten Datenstruktur ara::core::Map und stellt nach außen sicher, dass Sortier- oder Suchalgorithmen Wertepaare konsistent anhand ihrer Schlüssel vergleichen können.

Lebenszyklus

Die Instanziierung von value_compare unterliegt strikten Zugriffsbeschränkungen: Der Konstruktor value_compare(Compare c) ist mit der Sichtbarkeit protected versehen [SWS_CORE_01422]. Interpretation: Aufgrund dieser geschützten Sichtbarkeit dürfte die Erzeugung neuer Instanzen primär der umschließenden Klasse ara::core::Map selbst vorbehalten sein, während gewöhnliche Aufrufer fertige Funktionsobjekte von der Map beziehen. Frage Q-f188cfa9cf627a11 (offen) Bei der Konstruktion übernimmt das Objekt das Vergleichsprädikat und speichert es in der geschützten Variablen comp [SWS_CORE_01421]. Ein Lebenszyklus mit komplexen Zustandsübergängen liegt nicht vor; die Instanz verbleibt nach ihrer Erzeugung in einem unveränderlichen Ausführungszustand. Für den nebenläufigen Betrieb bedeutet dies, dass parallele Lesezugriffe über den Aufrufoperator unkritisch sind, solange das gekapselte Prädikat Compare zustandslos bzw. threadsicher operiert.

Nutzungspfad

Der reguläre Nutzungspfad konzentriert sich auf die wiederholte Auswertung von Wertepaaren über den Funktionsaufrufoperator operator() [SWS_CORE_01423]. Dieser ist als const-Methode deklariert und nimmt zwei Referenzen auf konstante Elemente vom Typ value_type entgegen. Interpretation: Bei der Ausführung greift operator() auf die Schlüsselanteile der beiden übergebenen Wertepaare zu und übergibt diese an das in comp hinterlegte Prädikat [SWS_CORE_01421], um das relationale Ergebnis als booleschen Wert zurückzugeben. Frage Q-207114486c204301 (offen) Das nachfolgende Diagramm veranschaulicht diesen standardisierten Ablauf:

Sequenzdiagramm: Ablauf des Wertevergleichs über operator() und das gekapselte Prädikat comp. Quellen: [SWS_CORE_01421], [SWS_CORE_01423]

Dieser Pfad findet typischerweise in Algorithmen Anwendung, die Elemente einer Map anhand ihrer Sortierreihenfolge überprüfen oder durchlaufen müssen, ohne dass der Anwender die Schlüssel manuell aus den Wertepaaren dereferenzieren muss.

Fehlerszenarien

In Bezug auf die Robustheit und Ausnahmebehandlung ist zu beachten, dass weder der Konstruktor [SWS_CORE_01422] noch der Aufrufoperator operator() [SWS_CORE_01423] als ausnahmesicher spezifiziert sind; beide sind explizit als „not exception safe“ klassifiziert. Interpretation: Dies bedeutet in der Praxis, dass die Klasse keine eigenen Mechanismen zur Ausnahmebehandlung kapselt und Ausnahmen, die beim Kopieren oder Ausführen des benutzerdefinierten Prädikats Compare ausgelöst werden, direkt an den Aufrufer propagiert werden. Frage Q-427fd0afbba7bf9e (offen) Spezifische Fehlercodes definiert die Spezifikation für diese Hilfsklasse nicht. Als wesentliche Vorbedingung für einen fehlerfreien Betrieb gilt daher die fehlerfreie Instanziierbarkeit und Ausführbarkeit des übergebenen Prädikats Compare sowie die Gültigkeit der an operator() übergebenen Referenzen auf value_type.