klasse ara::core::Map::value_compare

De hulpklasse ara::core::Map::value_compare dient als functieobject voor het relationeel vergelijken van twee waardeparen van een map aan de hand van hun sleutels met behulp van een intern ingekapseld vergelijkingspredicaat [SWS_CORE_01421]. De instantiëring geschiedt beschermd primair door de bovenliggende map-structuur, terwijl aanroepers de evaluatie uitvoeren via de aanroepoperator operator() [SWS_CORE_01423]. Omdat de bewerkingen volgens de specificatie niet uitzonderingsveilig zijn, moet de aanroepende code rekening houden met mogelijke excepties van het onderliggende predicaat.

meer ›

Context

De hulpklasse ara::core::Map::value_compare stelt in de module core van het AUTOSAR Adaptive Platform een functieobject beschikbaar waarmee twee volledige sleutel-waarde-elementen (value_type) van een associatieve tabel kunnen worden vergeleken. Volgens de specificatie sluit de klasse aan bij het gevestigde gedrag van de C++-standaardbibliotheek voor [map]. De centrale taak bestaat erin het voor de ordening van de sleutels gedefinieerde predicaat van het type Compare toepasbaar te maken op gehele waardeparen. Hiertoe kapselt de klasse een interne instantie van dit predicaat in de protected lidvariabele comp in [SWS_CORE_01421]. Op deze wijze interageert value_compare rechtstreeks met de bovenliggende datastructuur ara::core::Map en waarborgt naar buiten toe dat sorteer- of zoekalgoritmen waardeparen consistent aan de hand van hun sleutels kunnen vergelijken.

Levenscyclus

De instantiëring van value_compare is onderworpen aan strikte toegangsbeperkingen: de constructor value_compare(Compare c) is voorzien van de zichtbaarheid protected [SWS_CORE_01422]. Interpretatie: vanwege deze protected zichtbaarheid is het aanmaken van nieuwe instanties vermoedelijk primair voorbehouden aan de omsluitende klasse ara::core::Map zelf, terwijl gewone aanroepers kant-en-klare functieobjecten betrekken van de map. Vraag Q-f188cfa9cf627a11 (open) Bij de constructie neemt het object het vergelijkingspredicaat over en slaat dit op in de protected variabele comp [SWS_CORE_01421]. Een levenscyclus met complexe toestandsovergangen is niet aanwezig; de instantie blijft na haar creatie in een onveranderlijke uitvoeringstoestand. Voor gelijktijdig gebruik betekent dit dat parallelle leestoegangen via de aanroepoperator niet kritiek zijn, zolang het ingekapselde predicaat Compare toestandloos respectievelijk thread-safe opereert.

Gebruikspad

Het reguliere gebruikspad concentreert zich op de herhaalde evaluatie van waardeparen via de functieaanroepoperator operator() [SWS_CORE_01423]. Deze is gedeclareerd als const-methode en accepteert twee referenties naar constante elementen van het type value_type. Interpretatie: bij de uitvoering benadert operator() de sleutelgedeelten van de twee overgedragen waardeparen en geeft deze door aan het in comp opgeslagen predicaat [SWS_CORE_01421] om het relationele resultaat als booleaanse waarde te retourneren. Vraag Q-207114486c204301 (open) Het onderstaande diagram illustreert dit gestandaardiseerde verloop:

Sequentiediagram: verloop van de waardevergelijking via operator() en het ingekapselde predicaat comp. Bronnen: [SWS_CORE_01421], [SWS_CORE_01423]

Dit pad wordt typisch toegepast in algoritmen die elementen van een map aan de hand van hun sorteervolgorde moeten controleren of doorlopen, zonder dat de gebruiker de sleutels handmatig uit de waardeparen hoeft te derefereren.

Foutscenario's

Met betrekking tot robuustheid en exceptieafhandeling moet worden opgemerkt dat noch de constructor [SWS_CORE_01422], noch de aanroepoperator operator() [SWS_CORE_01423] als uitzonderingsveilig is gespecificeerd; beide zijn expliciet geclassificeerd als „not exception safe”. Interpretatie: dit betekent in de praktijk dat de klasse geen eigen mechanismen voor exceptieafhandeling inkapselt en dat excepties die worden geactiveerd bij het kopiëren of uitvoeren van het door de gebruiker gedefinieerde predicaat Compare, rechtstreeks naar de aanroeper worden gepropageerd. Vraag Q-427fd0afbba7bf9e (open) De specificatie definieert voor deze hulpklasse geen specifieke foutcodes. Als wezenlijke voorwaarde voor een foutloze werking geldt daarom de foutloze instantieerbaarheid en uitvoerbaarheid van het overgedragen predicaat Compare evenals de geldigheid van de aan operator() doorgegeven referenties naar value_type.