structure ara::core::hash

La structure template ara::core::hash sert dans le module core d'objet-fonction générique pour le calcul déterministe de valeurs de hachage, comme décrit dans la spécification pour [bitset]. Elle fournit une interface uniforme via laquelle les objets d'entrée sont convertis, par appel de fonction, en valeurs de hachage entières pour l'indexation dans des structures de données associatives. La structure devant être conçue comme un objet-fonction sans état, les calculs de valeurs de hachage s'effectuent sans effets de bord et peuvent être exécutés de façon concurrente sans surcoût de synchronisation. Question (ouverte)

plus ›

Contexte

La structure template ara::core::hash fournit dans le module core de l'AUTOSAR Adaptive Platform (Release R25-11) l'interface standardisée pour la génération de valeurs de hachage (codes de hachage). La déclaration formelle est template <class T> struct hash;. Selon la description de la spécification, le comportement s'aligne sur l'utilisation correspondante dans [bitset]. Dans le contexte du système, ara::core::hash assume probablement le rôle d'un objet-fonction conforme au standard selon le modèle de std::hash, qui fournit aux structures de données et algorithmes une valeur de hachage cohérente pour les instances du type T. Question Q-c0770dd7d494f007 (ouverte)

En tant qu'outil central, la structure interagit typiquement avec des structures de données associatives, des tables de hachage ainsi que des algorithmes génériques. Des spécialisations prédéfinies pour des types de base adaptatifs, comme par exemple pour des ensembles de bits, permettent aux composants de niveau supérieur d'organiser efficacement des objets hétérogènes dans des tables de recherche basées sur le hachage. La responsabilité principale de la structure réside dans l'encapsulation de l'algorithme de hachage propre au type, permettant ainsi aux algorithmes appelants d'opérer indépendamment de la structure interne concrète du type de données utiles.

Cycle de vie

La structure ara::core::hash possède un caractère fonctionnel et ne présente aucun cycle de vie complexe. Selon l'interprétation habituelle, les instances de la classe template ne gèrent aucune ressource système dynamique et ne maintiennent aucun état interne persistant. La création d'un objet-fonction a généralement lieu ad hoc au point d'appel via le constructeur par défaut ou implicitement dans le contexte de classes de conteneurs génériques.

Les instances de ara::core::hash devant être conçues comme des objets-fonctions sans état, il n'existe ni phases de fonctionnement discrètes ni transitions d'état explicites. Question Q-f8cb3f1f0979d453 (ouverte) La destruction d'une instance est triviale et ne requiert aucune logique de libération. L'absence d'état supposée implique par ailleurs que les exécutions parallèles sur plusieurs threads sont intrinsèquement concurrentes et thread-safe : plusieurs flux d'exécution peuvent appeler simultanément le même foncteur ou des instances créées simultanément sans qu'aucun mécanisme de synchronisation ne soit requis.

Parcours d'utilisation

Le déroulement typique lors de l'utilisation de ara::core::hash s'articule selon les étapes suivantes :

• Liaison de type et instanciation : l'appelant instancie l'objet-fonction pour le type cible T souhaité ou déclare la structure comme foncteur de hachage dans une classe template de niveau supérieur.
• Transmission de l'instance : l'objet-fonction est appelé via son opérateur d'appel avec une référence constante sur l'objet cible (par exemple une instance de bitset).
• Traitement de la valeur de retour : l'appel renvoie de manière déterministe une valeur de hachage entière, qui est ensuite utilisée pour déterminer des index de table ou des valeurs de contrôle.

Pour les types de données définis par l'utilisateur, la structure template peut être spécialisée afin de fournir un algorithme de calcul spécifique. Quel que soit le type, il s'applique à chaque déclinaison conforme que des valeurs de hachage identiques doivent être générées de manière reproductible pour des valeurs d'entrée identiques sur l'ensemble de la durée d'exécution.

Scénarios d'erreur

En raison de la nature déterministe des calculs de valeurs de hachage, aucun code d'erreur ni état d'erreur d'exécution ne survient avec ara::core::hash. Selon le principe de conception général, l'évaluation devrait être conçue comme une opération sans exception. Question (ouverte) Les problèmes éventuels se limitent à des choix de conception statiques et aux propriétés inhérentes aux procédés de hachage :

• Absence de spécialisation de type : si ara::core::hash est utilisé pour un type pour lequel aucune spécialisation appropriée n'existe, cela conduit à une erreur au moment de la compilation.
• Collisions de hachage : l'apparition de valeurs de hachage identiques pour des valeurs d'entrée différentes constitue une propriété mathématiquement inévitable. Il ne s'agit pas ici d'une erreur de l'objet-fonction, mais d'un cas normal que la structure de données utilisatrice doit intercepter par une résolution des collisions.
• Préconditions et postconditions : la précondition pour l'exécution est la validité de la valeur de référence de l'objet transmise ; la postcondition est la mise à disposition d'une valeur de hachage stable.