klasse ara::core::InstanceSpecifier

De klasse ara::core::InstanceSpecifier dient als typeveilige wrapper rond een AUTOSAR-shortName-pad voor de eenduidige identificatie van modelinstanties in het Adaptive Platform. De voorkeurscreatie vindt uitzonderingsveilig plaats via de statische fabrieksmethode Create [SWS_CORE_08032], die een pad valideert en een ara::core::Result retourneert. Als wezenlijke randvoorwaarde garandeert de methode ToString [SWS_CORE_08041] de geldigheid van de geretourneerde StringView uitsluitend voor de levensduur van de oorspronkelijk meegegeven tekenreeks, aangezien er geen eigen buffer wordt beheerd. Tijdens runtime ondersteunt het object volledige vergelijkingsoperaties voor modelvergelijkingen en de geordende opslag in containers.

meer ›

Context

De klasse ara::core::InstanceSpecifier dient als representatie van een AUTOSAR Instance Specifier en kapselt een volledig shortName-pad van een modelelement in. Binnen het Adaptive Platform fungeert deze als typeveilige abstractie over pad-tekenreeksen van het AUTOSAR-metamodel. In plaats van niet-geformatteerde tekenreeksen te gebruiken, kapselt dit type de syntactische padstructuren in en waarborgt het dat instanties consistent kunnen worden geadresseerd. Als primaire interactiepartners treden applicatiecomponenten en platformservices op die modelinstanties eenduidig refereren, vergelijken of in verzamelingen beheren. Interpretatie: Aangezien de specificatie de klasse beschrijft als een lichtgewicht modelpad-wrapper, dient deze vermoedelijk vooral voor de identificatie en configuratietoewijzing van service-instanties en communicatie-eindpunten tijdens runtime. Vraag Q-6574e1172032e6d9 (open)

Levenscyclus

Voor de creatie biedt ara::core::InstanceSpecifier twee paden met verschillende fout- en uitzonderingssemantiek: de statische fabrieksmethode Create [SWS_CORE_08032] evenals de expliciete constructor [SWS_CORE_08021]. De fabrieksmethode Create accepteert een ara::core::StringView, is gespecificeerd als noexcept evenals thread-safe en retourneert het resultaat in een ara::core::Result<InstanceSpecifier>. Daarentegen is de directe constructor gedeclareerd met noexcept(false) en gooit bij ongeldige padstructuren een ara::core::CoreException op, waardoor deze niet uitzonderingsveilig is [SWS_CORE_08021].

Wat betreft levensduur en eigendomsverhoudingen bestaat er een doorslaggevende eigenschap: De methode ToString retourneert een ara::core::StringView waarvan de geldigheid expliciet is gebonden aan de levensduur van het geheugen dat ten grondslag lag aan de oorspronkelijk bij de constructie meegegeven StringView [SWS_CORE_08041]. De klasse kopieert de onderliggende tekenreeks bijgevolg niet naar een eigen geheugengebied, maar verwijst naar externe gegevens. Ontwikkelaars moeten er daarom voor zorgen dat de brontekenreeks gedurende de gehele gebruiksduur van de InstanceSpecifier en de daarvan afgeleide StringViews in het geheugen blijft.

Voor het verdere beheer tijdens de levenscyclus zijn copy-constructor [SWS_CORE_08022], move-constructor [SWS_CORE_08023], copy-toewijzing [SWS_CORE_08024] en move-toewijzing [SWS_CORE_08025] aanwezig. Alle vier operaties zijn gedeclareerd als noexcept en garanderen uitzonderingsveiligheid. Bij gelijktijdigheid moet er echter op worden gelet dat uitsluitend de copy-constructor als thread-safe is geclassificeerd. De move-operaties, toewijzingsoperatoren evenals de destructor [SWS_CORE_08029] zijn niet thread-safe en vereisen externe synchronisatie wanneer dezelfde instantie gelijktijdig wordt gewijzigd of vernietigd.

Gebruikspad

Een typisch gebruiksverloop omvat de instantiëring, het opvragen van de padweergave evenals de vergelijking met andere aanduidingen. Bij voorkeur wordt de niet-gooiende fabrieksfunctie Create aangeroepen [SWS_CORE_08032]. De applicatie geeft het gekwalificeerde modelpad mee als ara::core::StringView en controleert het resulterende Result-object op succes.

Sequentiediagram: Creatie via de Create-fabrieksmethode en aansluitend gebruik voor padopvraag of foutafhandeling. Bronnen: [SWS_CORE_08032], [SWS_CORE_08041]

Na succesvolle initialisatie kan de identifier veelzijdig worden gebruikt:

• Tekenreeksweergave ophalen: Via ToString [SWS_CORE_08041] verkrijgt de aanroeper een StringView-weergave van het gemodelleerde pad.
• Gelijkheids- en ongelijkheidscontrole: Instanties kunnen via operator== [SWS_CORE_08042] en operator!= [SWS_CORE_08044] direct met andere InstanceSpecifier-instanties worden vergeleken. Bovendien maken overbelastingen van operator== [SWS_CORE_08043] en operator!= [SWS_CORE_08045] de directe vergelijking met een ara::core::StringView mogelijk. Beide controles leveren uitsluitend gelijkheid op wanneer exact hetzelfde modelelement wordt aangeduid.
• Sortering en containeropslag: Via de kleiner-dan-operator operator< [SWS_CORE_08046] kunnen instanties lexicografisch worden geordend, wat het gebruik als sleutel in geordende containers zoals maps mogelijk maakt.

Foutscenario's

Foutcondities zijn bij ara::core::InstanceSpecifier strikt beperkt tot de constructiefase. Doen zich syntactische of semantische gebreken voor in het meegegeven pad, dan worden twee specifieke fouten geïdentificeerd:

• CoreErrc::kInvalidMetaModelShortname: Wordt gesignaleerd wanneer padelementen in de meegegeven naam ontbreken of ontoelaatbare tekens bevatten [SWS_CORE_08032], [SWS_CORE_08021].
• CoreErrc::kInvalidMetaModelPath: Treedt op wanneer de tekenreeks geen geldig pad naar een modelelement vormt [SWS_CORE_08032], [SWS_CORE_08021].

De manier van foutsignalering hangt af van het gekozen creatiepad. Bij gebruik van de fabrieksmethode Create [SWS_CORE_08032] wordt de foutcode in de ara::core::Result geretourneerd; er geldt rollback-semantiek zonder uitzonderingen. Wordt daarentegen de constructor InstanceSpecifier [SWS_CORE_08021] aangeroepen, dan wordt een ara::core::CoreException met de bijbehorende foutcode opgeworpen. Alle nageschakelde operaties zoals ToString [SWS_CORE_08041], toewijzingen en de vergelijkingsoperatoren [SWS_CORE_08042], [SWS_CORE_08044], [SWS_CORE_08046] hebben geen gedefinieerde fouttoestanden en zijn gedeclareerd als noexcept.