klasse ara::per::UniqueHandle

Het klassetemplate ara::per::UniqueHandle beheert het exclusieve eigenaarschap van bestandsaccessor-objecten van AUTOSAR-persistentie binnen het kader van een strikte move-only-semantiek. Na ontvangst via bestandstoegangsfuncties moet de instantie voorafgaand aan elk gebruik verplicht met operator bool() op geldigheid worden gecontroleerd [SWS_PER_00371]. Een aanroep van andere operators op een lege of overgedragen handle leidt tot ongedefinieerd gedrag [SWS_PER_00399]. Alle bewerkingen zijn gedeclareerd als noexcept, waarbij leestoegangen thread-safe zijn, maar modificerende bewerkingen daarentegen niet.

meer ›

Context

Het klassetemplate ara::per::UniqueHandle dient als typeveilige toegangs-handle naar resource-objecten van AUTOSAR Adaptive-persistentie, te weten ReadAccessor of ReadWriteAccessor. Het wordt geleverd als retourwaarde van de functies OpenFileReadOnly(), OpenFileWriteOnly() en OpenFileReadWrite() en kapselt het exclusieve eigenaarschap van de geopende bestandstoegangsinterface in.

Levenscyclus

De klasse implementeert een strikte move-only-semantiek (Unique Ownership). Om abusievelijke duplicatie van de toegang of gedeeld eigenaarschap te voorkomen, zijn zowel de copy constructor [SWS_PER_00373] als de copy assignment operator [SWS_PER_00374] gedefinieerd als verwijderd (delete). Eigendomsrechten kunnen uitsluitend door verplaatsen worden overgedragen: bij aanroep van de move constructor [SWS_PER_00371] of de move assignment [SWS_PER_00372] wordt het meegegeven bronobject geïnvalideerd en mag het daarna niet meer worden gebruikt.

Een UniqueHandle bevindt zich op elk moment in een geldige toestand (het representeert een valide object van de geparametriseerde klasse) of in een lege respectievelijk geïnvalideerde toestand, zoals die ontstaat na een move-overdracht [SWS_PER_00399]. Bij het beëindigen van de scope wordt de destructor [SWS_PER_00569] uitgevoerd. Vermoedelijk sluit of ruimt de vernietiging van een geldige handle de ingekapselde toegangsbron automatisch op. Vraag Q-e7f12aa0d7c5548d (open)

Toestandsdiagram: levenscyclus en toestandsovergangen van een UniqueHandle tussen geldige en lege toestand. Bronnen: [SWS_PER_00371], [SWS_PER_00372], [SWS_PER_00399], [SWS_PER_00569]

Gebruikspad

Het typische gebruik van UniqueHandle volgt een vastgelegde volgorde van stappen:

1. Overname van de handle: De applicatie ontvangt de handle als resultaat van een aanroep voor bestandstoegang zoals OpenFileReadOnly(), OpenFileWriteOnly() of OpenFileReadWrite().
2. Toestandscontrole: Voorafgaand aan elke verdere bewerking moet de status van de instantie verplicht via operator bool() worden geverifieerd [SWS_PER_00371], [SWS_PER_00372]. De operator retourneert true als er sprake is van een geldig object, en false als de handle leeg is [SWS_PER_00399].
3. Toegang tot het ingekapselde object: Bij een geldige status worden via de pijl-operators operator-> (niet-constant [SWS_PER_00360] of constant [SWS_PER_00361]) of via dereferentie met operator* (niet-constant [SWS_PER_00400] of constant [SWS_PER_00401]) de methoden en gegevens van het doel benaderd.
4. Eigendomsoverdracht of vernietiging: De handle kan desgewenst via std::move aan een andere component worden overgedragen [SWS_PER_00371] of wordt aan het einde van de levensduur automatisch vernietigd [SWS_PER_00569].

Foutscenario's

Een centraal foutscenario is de toegang tot een lege of overgedragen handle: het gebruik van andere operators dan operator bool() op een lege handle leidt volgens de specificatie tot ongedefinieerd gedrag (Undefined Behavior) [SWS_PER_00399]. Voorafgaand aan elke dereferentie is een controle daarom dwingend voorgeschreven [SWS_PER_00371], [SWS_PER_00372].

Wat betreft uitzonderingsveiligheid en concurrency gelden de volgende specificatiedetails:

• Uitzonderingsveiligheid: Alle methoden en operators zijn voorzien van noexcept en gespecificeerd als uitzonderingsveilig (exception safe) ([SWS_PER_00371], [SWS_PER_00372], [SWS_PER_00399], [SWS_PER_00400], [SWS_PER_00401], [SWS_PER_00360], [SWS_PER_00361], [SWS_PER_00569]).
• Thread-safety: De leesoperators operator* [SWS_PER_00400], [SWS_PER_00401], operator-> [SWS_PER_00360], [SWS_PER_00361] en operator bool() [SWS_PER_00399] zijn thread-safe. Wijzigende acties zoals de move assignment [SWS_PER_00372] en de vernietiging via de destructor [SWS_PER_00569] zijn daarentegen expliciet niet thread-safe en vereisen bij gelijktijdige toegang externe synchronisatie.