struct std::hash< ara::core::Optional< T >

De template-specialisatie std::hash<ara::core::Optional<T>> stelt in de module core van het AUTOSAR Adaptive Platform (release R25-11) een standaardconforme hashfunctie voor ara::core::Optional ter beschikking. Deze maakt het directe gebruik van optionele waarden als sleutel in ongeordende associatieve containers zoals std::unordered_map mogelijk, door de hashwaarde te berekenen aan de hand van de toewijzingsstatus en de opgenomen waarde. Interpretatie: Als belangrijkste randvoorwaarde mag worden aangenomen dat voor het geparametriseerde datatype T een functionele specialisatie std::hash<T> bestaat en dat het toestandloze functie-object gelijktijdig zonder neveneffecten kan worden aangeroepen. Vraag Q-5e98f9abd214d511 (open) Het ontbreken van een waarde in de Optional vormt daarbij geen fouttoestand, maar leidt tot een deterministisch resultaat.

meer ›

Context

De template-klasse std::hash<ara::core::Optional<T>> biedt in de module core van het AUTOSAR Adaptive Platform (release R25-11) een specialisatie van het gestandaardiseerde functie-object std::hash voor het generieke datatype ara::core::Optional. De primaire taak van deze specialisatie bestaat uit het transparant integreren van berekeningen van hashwaarden voor instanties van ara::core::Optional<T> in het standaardconforme hashing-ecosysteem van C++. Op deze manier kunnen optionele waarden direct als sleutel in ongeordende associatieve containers zoals std::unordered_map of std::unordered_set worden ingezet. Interpretatie: De specialisatie van std::hash voor ara::core::Optional<T> vereist vermoedelijk dat voor het onderliggende type T eveneens een geldige specialisatie van std::hash<T> beschikbaar is om de hashwaarde van een aanwezige waarde te bepalen. Vraag Q-1ada0d8edc4f7690 (open)

Levenscyclus

Als specialisatie van een struct volgens de syntaxis template <typename T> struct hash<ara::core::Optional<T>> fungeert dit type als regulier functie-object. Het object bezit doorgaans geen eigen interne toestand en is niet onderhevig aan complexe levenscyclusfasen of kostbare bronreserveringen. De instantiëring vindt plaats op basis van behoefte, gewoonlijk impliciet door de beherende associatieve container of expliciet bij de directe uitvoering van een hashing-bewerking in de applicatiecode.

Eigendomsverhoudingen met betrekking tot de doorgegeven gegevens worden bij de aanroep niet gevestigd, aangezien de instantie van ara::core::Optional<T> louter als constante referentie voor evaluatie wordt geraadpleegd. Na afronding van de functieaanroep of bij het verlaten van de scope van de container wordt de instantie van std::hash triviaal vernietigd. Interpretatie: Het functie-object is toestandloos en kan daarom vermoedelijk vrij van neveneffecten en thread-safe worden gebruikt voor parallelle hashing-operaties over meerdere uitvoeringscontexten heen, zolang de gereferentieerde waarde niet gelijktijdig wordt gewijzigd. Vraag (open)

Gebruikspad

Het typische gebruik vindt plaats in het kader van de toepassing van ara::core::Optional in op hashing gebaseerde datastructuren. Ontwikkelaars nemen de definitie op en declareren bijvoorbeeld een set of een map waarvan het sleuteltype overeenkomt met ara::core::Optional<T>. Bij invoeg-, zoek- of verwijderoperaties roept de container zelfstandig de call-operator operator() van de specialisatie aan.

Bij de evaluatie van de hashwaarde wordt onderscheid gemaakt tussen de aanwezigheid en de afwezigheid van een waarde. Interpretatie: Voor een lege ara::core::Optional (zonder waarde) wordt vermoedelijk een vaste, deterministische hashwaarde berekend, terwijl bij een aanwezige waarde vermoedelijk de hashwaarde van het opgenomen object wordt bepaald via de overeenkomstige hashfunctie van T. Vraag (open) De berekende numerieke waarde van het type std::size_t wordt vervolgens geretourneerd aan de aanroepende container om de opslagbucket te adresseren.

Foutscenario's

Op het niveau van de hashberekening zijn regulier geen foutretouren via foutcodes zoals ara::core::ErrorCode of iets dergelijks voorzien. Een functie-object voor hashwaarden moet deterministisch en betrouwbaar werken om de integriteit van de container-invarianten te bewaren. Het ontbreken van de waarde in ara::core::Optional vormt geen fouttoestand, maar is een reguliere toestand van het object die moet worden omgezet in een gedefinieerde hashwaarde.

Mogelijke compileerfouten treden op als het type T niet hashbaar is en er geen overeenkomstige std::hash<T>-specialisatie bestaat. Runtime-fouten kunnen ontstaan als door de gebruiker gedefinieerde hashfuncties voor het type T excepties opwerpen of ongedefinieerd gedrag veroorzaken. Een voorwaarde voor een foutloze aanroep is de geldigheid van het gereferentieerde ara::core::Optional-object tijdens de uitvoering van de operatie.