struct ara::core::variant_alternative< I, volatile T >

De partiële specialisatie ara::core::variant_alternative< I, volatile T > dient in AUTOSAR Adaptive core voor het statisch opvragen van het type van een alternatief uit een dragertype conform het gebruik in [variant]. Interpretatie: zij waarborgt vermoedelijk dat bij een volatile-gekwalificeerd varianttype ook het via de index I bepaalde elementtype de volatile-kwalificeerder behoudt. Vraag (open) De constructie fungeert louter als compile-tijd-type-trait zonder eigen runtime-instanties of dynamische levenscycli. Als belangrijkste randvoorwaarde moet de index I tijdens compileertijd binnen het geldige bereik van de beschikbare alternatieven liggen, aangezien foutieve invoer vermoedelijk tot harde compilerfouten leidt.

meer ›

Context

Het klassensjabloon ara::core::variant_alternative< I, volatile T > vormt een partiële specialisatie van de metaprogrammeringshulpklasse variant_alternative in de module core van het AUTOSAR Adaptive Platform. Conform de beschrijving richt de functionaliteit zich naar het overeenkomstige gebruik in [variant]. Interpretatie: de verwijzing naar [variant] duidt vermoedelijk op de afstemming op de ISO-C++17-standaard voor std::variant en de bijbehorende hulpklassen, volgens welke deze specialisatie het type van het I-de alternatief van een dragertype bepaalt met behoud van de volatile-kwalificeerder. Vraag Q-494dca5b2019f9f0 (open) In generieke softwarearchitecturen heeft het sjabloon een nauwe wisselwerking met varianttypen en generieke functies die getypeerde toegang of type-opvragingen op varianten uitvoeren. Terwijl het primaire sjabloon wordt ingezet voor ongekwalificeerde typen, zorgt deze partiële specialisatie ervoor dat de kwalificeerder volatile van het omsluitende type T correct wordt overgedragen op het resulterende membertype. Daardoor blijft de type-integriteit ook gewaarborgd in hardwarenabije of gelijktijdige scenario's waarin objecten worden gedeclareerd met het sleutelwoord volatile.

Levenscyclus

Bij ara::core::variant_alternative< I, volatile T > gaat het om een zuivere metaprogrammeringsconstructie die tijdens compileertijd wordt geëvalueerd. Dienovereenkomstig heeft de structuur geen dynamische runtime-levenscyclus. Er bestaan noch creatieprocessen via constructors, noch vernietigingsfasen of dynamische geheugenallocaties tijdens runtime op de heap of stack. Interpretatie: de structuur dient vermoedelijk uitsluitend als compileertijd-typefunctie en laat in de gegenereerde binaire code geen zelfstandige datastructuren of instanties achter. Vraag Q-f673d2447f2e3077 (open) Ook eigendomsverhoudingen of toestandstransities vervallen volledig. Met betrekking tot gelijktijdigheid is de constructie inherent thread-safe, aangezien de type-evaluatie volledig en onveranderlijk tijdens het compilatieproces door de compiler plaatsvindt en er tijdens runtime generlei veranderbare toestanden bestaan.

Gebruikspad

Het typische gebruikspad van deze specialisatie bevindt zich in template-bibliotheken, generieke algoritmen of op typen gebaseerde dispatch-mechanismen waarbij het alternatieve type van een variant aan de hand van een statische index moet worden bepaald. De ontwikkelaar of het aanroepende template geeft tijdens compile-time de constante index I van het type std::size_t evenals het gekwalificeerde type volatile T door. Via het ingebedde lid type wordt het bepaalde type geëxtraheerd, dat op zijn beurt met volatile is gekwalificeerd. In de praktijk wordt vaak de bijbehorende type-alias ara::core::variant_alternative_t gebruikt om de toegang in de broncode beknopt vorm te geven. Het aldus verkregen type dient vervolgens als functieparameter, returntype of als invoer voor verdere type-transformaties. Aangezien de evaluatie volledig statisch plaatsvindt, bestaat de interactieketen uitsluitend uit de template-instantiatie tijdens het build-proces.

Foutscenario's

Aangezien ara::core::variant_alternative< I, volatile T > geen uitvoerbare runtime-functies of -methoden biedt, treden runtime-fouten, retourcodes of foutobjecten zoals ara::core::ErrorCode niet op. Mogelijke foutscenario's zijn daarom volledig beperkt tot de compilatie-fase. Interpretatie: Een foutieve aanroep met een index I die groter is dan of gelijk is aan het aantal in het onderliggende type opgenomen alternatieven, leidt vermoedelijk tot een harde afbreking van de compilatie. Vraag (open) Een dergelijke compilatiefout wordt typisch geactiveerd wanneer het onderliggende template geen geldige typedefinitie voor de opgevraagde index kan oplossen. Een ander foutscenario ontstaat wanneer het type T geen geldig variant-type is waarvoor het primaire template is gedefinieerd. In alle foutgevallen wordt het foutieve gebruik direct door de statische typecontrole van de C++-compiler aan het licht gebracht, zodat een foutieve toestand tijdens runtime uitgesloten is.