struct ara::core::Monostate

De klasse ara::core::Monostate dient in de module core volgens haar referentie naar [variant] als toestandloos plaatsvervangend type voor de representatie van een lege toestand in variante datastructuren. Interpretatie: zij fungeert vermoedelijk als tegenhanger van std::monostate om ara::core::Variant standaardconstrueerbaar te maken wanneer alternatieve nuttige typen geen standaardconstructor bieden. Vraag Q-b724690dfd69af81 (open) Omdat de structuur als final is gedefinieerd en geen datavelden bevat, verlopen alle levenscyclusoperaties triviaal en zonder dynamische resourcebinding. De instanties worden voornamelijk gebruikt als standaardalternatief en kunnen zonder synchronisatie-inspanning gelijktijdig worden ingezet.

meer ›

Context

De klasse ara::core::Monostate vormt een elementaire bouwsteen binnen de module core van het AUTOSAR Adaptive Platform. De declaratie als struct Monostate final definieert een toestandloos unit-type waarvan de primaire verantwoordelijkheid erin bestaat het ontbreken van een bruikbare waarde binnen getypeerde somtypen weer te geven. Wat betreft de formele semantiek en het gebruiksdoel verwijst de specificatie naar het corresponderende gebruik in [variant]. Interpretatie: hieruit kan worden afgeleid dat ara::core::Monostate fungeert als directe tegenhanger van std::monostate uit de C++-standaard en nauw samenwerkt met ara::core::Variant om varianten te voorzien van een expliciet leeg toestandsalternatief. Vraag (open)

In standaardconforme C++-interfaces vereist een getypeerde variantenconstructie voor parameterloze constructie dat het op de eerste plaats vermelde typealternatief standaardconstrueerbaar is. Voor zover geen van de functionele nuttige typen een standaardconstructor biedt of een variant initieel expliciet geen functionele toestand moet vertegenwoordigen, neemt ara::core::Monostate op de eerste positie van de typenlijst de rol van een goedgevormde tijdelijke aanduiding op zich. Door deze ontkoppeling van varianteninitialisatie en de daadwerkelijke beschikbaarstelling van functionele data waarborgt de klasse dat op varianten gebaseerde interfaces en functieresultaten binnen deterministische ECU-software altijd typeveilig, goedgevormd en geheugenefficiënt kunnen worden geïnitialiseerd.

Levenscyclus

De levenscyclus van ara::core::Monostate kenmerkt zich door maximale toestandloosheid en minimale complexiteit. Omdat de structuur als final is gedeclareerd en geen data-elementen inkapselt, bezit een instantie geen veranderlijke interne toestanden, fasen of toestandsovergangen. Interpretatie: als finaal gedeclareerd plaatsvervangend type zonder eigen toestandsdata is ara::core::Monostate vermoedelijk triviaal construeerbaar, kopieerbaar, verplaatsbaar en vernietigbaar, zodat alle levenscyclusoperaties zonder dynamische geheugenallocaties, zonder uitzonderingsgevaar en met verwaarloosbare runtime-overhead worden uitgevoerd. Vraag Q-9cf1c06bbd91b6ec (open)

Het instantiëren gebeurt in de regel impliciet bij de default-constructie van een omsluitende variant of expliciet bij de toekenning van een lege status. De vernietiging vereist generlei opschoonacties, aangezien er geen besturingssysteem- of geheugenbronnen worden gebonden. Met betrekking tot eigendomsverhoudingen en gelijktijdigheid gedraagt de klasse zich als een zuiver elementair waardetype: instanties kunnen gelijktijdig op verschillende uitvoeringspaden worden gecreëerd, gekopieerd of geëvalueerd, zonder dat synchronisatiemechanismen of dataraces op klasseniveau kunnen optreden. De levensduur van een instantie is daarbij strikt gebonden aan de lokale scope of aan de omsluitende container.

Gebruikspad

Het typische gebruikspad van ara::core::Monostate is onlosmakelijk verbonden met de declaratie en hantering van ara::core::Variant. Bij de definitie van een variant wordt ara::core::Monostate op de eerste positie opgegeven om een lege initiële toestand toe te staan. Wordt de variant vervolgens via zijn standaardconstructor gecreëerd, dan neemt deze automatisch deze lege toestand aan, zonder dat er functionele typen hoeven te worden geïnstantieerd.

In het verdere verloop van de programma-uitvoering controleert de gebruiker via typecontroles of visitor-patronen of de variant momenteel het type ara::core::Monostate bevat, wat een inactieve of onbezette toestand signaleert. Zodra er nuttige data beschikbaar zijn, wordt de variant overschreven met de corresponderende functionele waarde. Een reset naar de onbezette toestand vindt plaats door hernieuwde toekenning van ara::core::Monostate{}. Interpretatie: voor ara::core::Monostate bestaan vermoedelijk gelijkheids- en vergelijkingsoperatoren, zodat vergelijkingen van twee instanties altijd gelijkheid opleveren en de relationele vergelijking van varianten in de lege toestand deterministisch kan worden geëvalueerd. Vraag (open)