klasse ara::core::Optional< T & >

De elementtoegangsoperator operator-> van de templateklasse ara::core::Optional<T &> dient voor synchrone toegang tot members van het gereferentieerde object [SWS_CORE_01167]. De functie is gedefinieerd in header #include "ara/core/optional.h", behoort tot de scope van ara::core::Optional<T &> en verwacht geen parameters [SWS_CORE_01167]. Als retourwaarde wordt een pointer van het type T const * geretourneerd, die directe leestoegang tot het onderliggende doelobject biedt [SWS_CORE_01167]. Daarmee komt het retourtype overeen met een pointer naar constante data, waardoor modifiërende toegang via deze operator wordt verhinderd.

Wat betreft foutafhandeling is de methode gedeclareerd als noexcept en geclassificeerd als exception safe [SWS_CORE_01167]. Bevat de instantie echter geen waarde (If *this does not contain a value), dan documenteert de specificatie als schending een IsoStdBadOptionalAccessViolation [SWS_CORE_01167]. Vóór dereferentie moet de toepassingssoftware er derhalve voor zorgen dat de optionele referentie geldig is ingesteld, om fouttoestanden tijdens runtime betrouwbaar te voorkomen.

Voor concurrency en aanroepcontext noemt de specificatie geen afzonderlijke beveiligingsmechanismen; vermoedelijk biedt de const-operatie geen interne synchronisatie tegen concurrerende modificaties [SWS_CORE_01167]. Vraag Q-0ebf3ed1284fc0c1 (open) Het algemene gedrag richt zich volgens de specificatie naar het corresponderende gebruik van de C++-standaard voor optionele typen (As per corresponding usage in [optional]) [SWS_CORE_01167].

De overbelaste operator operator-> van de specialisatie ara::core::Optional<T &> maakt synchrone lidtoegang tot de ingekapselde referentie mogelijk ([SWS_CORE_01168]). De functie wordt beschikbaar gesteld via het headerbestand ara/core/optional.h en vereist geen aanroepparameters. Bij aanroep retourneert deze een pointer van het type T * naar het gereferentieerde doelobject, waardoor members van de instantie direct geadresseerd kunnen worden ([SWS_CORE_01168]). De semantiek komt daarbij overeen met het gebruik van [optional] in de C++-standaard ([SWS_CORE_01168]).

Met betrekking tot foutveiligheid is de operator gedeclareerd als noexcept en geclassificeerd als uitzonderingsveilig („exception safe”) ([SWS_CORE_01168]). Bevat de instantie geen waarde (*this does not contain a value), dan is er sprake van een toegangsschending van de categorie IsoStdBadOptionalAccessViolation ([SWS_CORE_01168]). Interpretatie: aangezien de signatuur gedeclareerd is met noexcept, wordt deze ontoelaatbare toestand vermoedelijk niet afgehandeld door het gooien van een reguliere C++-exceptie, maar leidt deze tot een gestandaardiseerde foutafhandeling of programma-afbreking. Vraag Q-c3ef91b84a00cae8 (open)

Als aanroepvoorwaarde moet de ontwikkelaar voorafgaand aan de uitvoering waarborgen dat het Optional-object daadwerkelijk een waarde bevat. Niet-beveiligde toegang zonder voorafgaande controle van de aanwezigheidsstatus schendt de preconditie van de operator ([SWS_CORE_01168]).

De template-lidfunctie emplace van de specialisatie ara::core::Optional<T&> dient voor het toewijzen resp. instellen van een referentie in een optionele container ([SWS_CORE_01164]). De functie is gedefinieerd via het headerbestand #include "ara/core/optional.h" ([SWS_CORE_01164]).

Gebruik en semantiek

De aanroep vindt synchroon plaats en accepteert als parameter een forwarding-referentie u van het type U&& (standaard U = T) ([SWS_CORE_01164]). Interpretatie: Het argument u wordt daarbij vermoedelijk opnieuw gebonden aan de in Optional gehouden referentie, zonder dat er een nieuw object wordt geconstrueerd. Vraag Q-55c9eca385e9e496 (open) Als retourwaarde levert emplace een lvalue-referentie op naar de instantie van Optional zelf (Optional &), wat het aaneenschakelen van bewerkingen mogelijk maakt ([SWS_CORE_01164]). Door de declaratie als constexpr kan de aanroep ook tijdens compilatie in constante expressies worden geëvalueerd ([SWS_CORE_01164]).

Foutafhandeling en uitzonderingsveiligheid

De bewerking is gedeclareerd als noexcept en heeft de classificatie exception safe ([SWS_CORE_01164]). Specifieke foutcodes, DET- of DEM-meldingen zijn in het specificatiefragment niet voorzien; falen door C++-excepties is uitgesloten ([SWS_CORE_01164]).

Interactie en afbakening

In tegenstelling tot de primaire template-varianten van ara::core::Optional<T> voor waardetypen, die het ingesloten object in-place construeren, een referentie T& teruggeven en slechts voorwaardelijk uitzonderingsveilig (conditionally exception safe) resp. voorwaardelijk noexcept zijn ([SWS_CORE_01119], [SWS_CORE_01120]), garandeert deze overbelasting voor Optional<T&> strikte uitzonderingsvrijheid ([SWS_CORE_01164]). Andere containers van de module zoals ara::core::Vector ([SWS_CORE_01366]), ara::core::Map ([SWS_CORE_01458]) of ara::core::Variant ([SWS_CORE_01661]) bieden eveneens emplace-methoden, maar hebben zelfstandige semantiek en afwijkende veiligheidsniveaus.

De memberfunctie reset van de specialisatie ara::core::Optional<T&> dient conform [SWS_CORE_01165] voor het resetten van een optioneel referentie-object. Ze wordt via de header #include "ara/core/optional.h" gedeclareerd, accepteert geen parameters en heeft geen retourwaarde (void). Als constexpr-functie kan ze ook in compile-time-evaluaties worden gebruikt; de uitvoering ervan vindt synchroon plaats. Interpretatie: Conform de algemene verwijzing naar het gebruik in [optional] brengt de aanroep de instantie vermoedelijk in een toestand zonder gebonden referentie (disengaged), zodat het object daarna geen waarde meer bevat. Vraag Q-edf521c7744139d2 (open)

Met betrekking tot foutafhandeling is de functie conform [SWS_CORE_01165] voorzien van de identifier noexcept en geclassificeerd als uitzonderingsveilig („exception safe”). Een aanroep werpt zodoende geen uitzonderingen op en meldt geen foutcodes; specifieke DET- of DEM-meldingen zijn in de payload voor deze functie niet voorzien.

In de modulecontext verschilt deze implementatie van de algemene template-klasse ara::core::Optional conform [SWS_CORE_01136], waarvan de reset-methode niet als constexpr is gedeclareerd. Andere reset-functies in de module bestaan voor ara::core::Bitset, waarbij reset() conform [SWS_CORE_01727] een referentie naar het object retourneert of met positieaanduiding conform [SWS_CORE_01728] een ara::core::Result oplevert en bij een ongeldige index IsoStdOutOfRangeViolation opwerpt.

De lidfunctie value_or van de specialisatie ara::core::Optional<T&> wordt beschikbaar gesteld via het headerbestand #include "ara/core/optional.h" [SWS_CORE_01175]. Als sjabloonfunctie neemt zij een parameter U&& u als uitwijkwaarde in ontvangst en geeft synchroon een resultaatwaarde van het type T terug. Interpretatie: Volgens de specificatieaanduiding „As per corresponding usage in [optional]” levert de functie vermoedelijk de door de referentie vastgehouden waarde terug als het object gevuld is, en anders de fallback-waarde u. Vraag Q-c050380198abf06b (open)

Voor de foutafhandeling garandeert de specificatie volledige uitzonderingsveiligheid (exception safe) en declareert zij de methode als noexcept [SWS_CORE_01175]. Noch foutcodes noch meldingen aan fout- of diagnosemonitors zijn voor deze operatie voorzien. Aangezien de lidfunctie bovendien als constexpr en const is gekwalificeerd, kan zij zonder modificatie van het object ook in constante expressies tijdens compileertijd worden geëvalueerd [SWS_CORE_01175].

In de context van de module core staat de functie in nauw verband met de algemene overbelastingen voor niet-referentiële typen. Terwijl [SWS_CORE_01175] voor ara::core::Optional<T&> is gedeclareerd als exception safe, classificeert de specificatie de corresponderende varianten van de primaire template ara::core::Optional – zowel de const-lvalue-overbelasting [SWS_CORE_01134] als de rvalue-overbelasting [SWS_CORE_01135] – telkens als not exception safe.