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

La spécialisation de template std::hash<ara::core::Optional<T>> fournit, dans le module core de l’AUTOSAR Adaptive Platform (Release R25-11), une fonction de hachage conforme aux standards pour ara::core::Optional. Elle permet l’utilisation directe de valeurs optionnelles en tant que clés dans des conteneurs associatifs non ordonnés tels que std::unordered_map, en calculant la valeur de hachage d’après l’état d’occupation et la valeur contenue. Interprétation : comme condition aux limites essentielle, il devrait être présumé qu’une spécialisation fonctionnelle std::hash<T> existe pour le type de données paramétré T et que l’objet fonction sans état peut être appelé de manière concurrente sans effets de bord. Question Q-5e98f9abd214d511 (ouverte) L’absence de valeur dans l’optionnel ne constitue pas un état d’erreur, mais mène à un résultat déterministe.

plus ›

Contexte

La classe template std::hash<ara::core::Optional<T>> fournit, dans le module core de l’AUTOSAR Adaptive Platform (Release R25-11), une spécialisation de l’objet fonction standardisé std::hash pour le type de données générique ara::core::Optional. La tâche principale de cette spécialisation consiste à intégrer de manière transparente les calculs de valeurs de hachage pour les instances de ara::core::Optional<T> dans l’écosystème de hachage standard de C++. De cette manière, les valeurs optionnelles peuvent être directement employées comme clés dans des conteneurs associatifs non ordonnés tels que std::unordered_map ou std::unordered_set. Interprétation : la spécialisation de std::hash pour ara::core::Optional<T> devrait présupposer qu’une spécialisation valide de std::hash<T> est également disponible pour le type sous-jacent T, afin de déterminer la valeur de hachage d’une valeur occupée. Question Q-1ada0d8edc4f7690 (ouverte)

Cycle de vie

En tant que spécialisation d’une structure selon la syntaxe template <typename T> struct hash<ara::core::Optional<T>>, ce type agit comme un objet fonction ordinaire. L’objet ne possède généralement aucun état interne propre et n’est soumis à aucune phase complexe de cycle de vie ni à des réservations de ressources coûteuses. L’instanciation se fait à la demande, généralement de façon implicite par le conteneur associatif gestionnaire ou de façon explicite lors de l’exécution directe d’une opération de hachage dans le code applicatif.

Aucune relation de propriété sur les données transmises n’est établie lors de l’appel, car l’instance de ara::core::Optional<T> n’est utilisée qu’en tant que référence constante pour l’évaluation. À l’issue de l’appel de fonction ou lors de la sortie de la portée du conteneur, l’instance de std::hash est détruite de manière triviale. Interprétation : l’objet fonction est sans état et devrait donc pouvoir être utilisé sans effets de bord et avec sûreté de thread pour des opérations de hachage parallèles à travers plusieurs contextes d’exécution, tant que la valeur référencée n’est pas modifiée simultanément. Question (ouverte)

Parcours d'utilisation

L’utilisation typique a lieu dans le cadre de l’emploi de ara::core::Optional au sein de structures de données basées sur le hachage. Les développeurs intègrent la définition et déclarent par exemple un ensemble ou une map dont le type de clé correspond à ara::core::Optional<T>. Lors des opérations d’insertion, de recherche ou de suppression, le conteneur appelle de manière autonome l’opérateur d’appel operator() de la spécialisation.

Lors de l’évaluation de la valeur de hachage, une distinction est faite entre la présence et l’absence d’une valeur. Interprétation : pour un ara::core::Optional vide (sans valeur), une valeur de hachage fixe et déterministe devrait être calculée, tandis qu’en présence d’une valeur, la valeur de hachage de l’objet contenu est vraisemblablement déterminée par la fonction de hachage correspondante de T. Question (ouverte) La valeur numérique obtenue de type std::size_t est ensuite renvoyée au conteneur appelant afin d’adresser le compartiment mémoire (bucket).

Scénarios d'erreur

Au niveau du calcul de hachage, aucun retour d’erreur via des codes d’erreur tels que ara::core::ErrorCode ou similaire n’est prévu en conditions régulières. Un objet fonction pour les valeurs de hachage doit fonctionner de façon déterministe et fiable afin de préserver l’intégrité des invariants du conteneur. L’absence de valeur dans ara::core::Optional ne représente pas un état d’erreur, mais constitue un état ordinaire de l’objet qui doit être converti en une valeur de hachage définie.

Des erreurs potentielles de compilation surviennent si le type T n’est pas hachable et qu’aucune spécialisation correspondante de std::hash<T> n’existe. Des erreurs d’exécution peuvent se produire si des fonctions de hachage définies par l’utilisateur pour le type T lèvent des exceptions ou provoquent un comportement indéfini. La validité de l’objet ara::core::Optional référencé pendant l’exécution de l’opération constitue une précondition pour un appel sans erreur.