classe ara::core::Map::value_compare

La classe utilitaire ara::core::Map::value_compare sert d'objet fonction pour la comparaison relationnelle de deux paires de valeurs d'une map en fonction de leurs clés, à l'aide d'un prédicat de comparaison interne encapsulé [SWS_CORE_01421]. L'instanciation s'effectue de manière protégée, principalement par la structure de map parente, tandis que les appelants réalisent l'évaluation via l'opérateur d'appel operator() [SWS_CORE_01423]. Les opérations n'étant pas sûres vis-à-vis des exceptions selon la spécification, le code appelant doit prendre en compte les exceptions potentielles du prédicat sous-jacent.

plus ›

Contexte

La classe utilitaire ara::core::Map::value_compare fournit, dans le module core d'AUTOSAR Adaptive Platform, un objet fonction permettant de comparer deux éléments clé-valeur complets (value_type) d'une table associative. Conformément à la spécification, la classe s'inspire du comportement établi de la bibliothèque standard C++ pour [map]. La tâche centrale consiste à rendre le prédicat de type Compare, défini pour l'ordonnancement des clés, applicable à des paires entières de valeurs. Pour ce faire, la classe encapsule une instance interne de ce prédicat dans la variable membre protégée comp [SWS_CORE_01421]. De cette façon, value_compare interagit directement avec la structure de données parente ara::core::Map et garantit vis-à-vis de l'extérieur que les algorithmes de tri ou de recherche puissent comparer des paires de valeurs de manière cohérente d'après leurs clés.

Cycle de vie

L'instanciation de value_compare est soumise à des restrictions d'accès strictes : le constructeur value_compare(Compare c) dispose de la visibilité protected [SWS_CORE_01422]. Interprétation : en raison de cette visibilité protégée, la création de nouvelles instances est probablement réservée en premier lieu à la classe englobante ara::core::Map elle-même, tandis que les appelants ordinaires obtiennent des objets fonctions prêts à l'emploi auprès de la map. Question Q-f188cfa9cf627a11 (ouverte) Lors de la construction, l'objet reprend le prédicat de comparaison et le stocke dans la variable protégée comp [SWS_CORE_01421]. Il n'existe pas de cycle de vie comportant des transitions d'état complexes ; après sa création, l'instance reste dans un état d'exécution immuable. Pour le fonctionnement concurrent, cela signifie que les accès concurrents en lecture via l'opérateur d'appel ne sont pas critiques tant que le prédicat encapsulé Compare opère de manière sans état ou thread-safe.

Parcours d'utilisation

Le chemin d'utilisation régulier se concentre sur l'évaluation répétée de paires de valeurs via l'opérateur d'appel de fonction operator() [SWS_CORE_01423]. Celui-ci est déclaré comme méthode const et prend deux références vers des éléments constants de type value_type. Interprétation : lors de l'exécution, operator() accède aux composants de clé des deux paires de valeurs transmises et les transmet au prédicat [SWS_CORE_01421] stocké dans comp afin de renvoyer le résultat relationnel sous forme de valeur booléenne. Question Q-207114486c204301 (ouverte) Le diagramme ci-dessous illustre ce déroulement standardisé :

Diagramme de séquence : déroulement de la comparaison de valeurs via operator() et le prédicat encapsulé comp. Sources : [SWS_CORE_01421], [SWS_CORE_01423]

Ce chemin s'applique typiquement dans les algorithmes qui doivent vérifier ou parcourir des éléments d'une map en fonction de leur ordre de tri, sans que l'utilisateur n'ait à déréférencer manuellement les clés à partir des paires de valeurs.

Scénarios d'erreur

En ce qui concerne la robustesse et le traitement des exceptions, il convient de noter que ni le constructeur [SWS_CORE_01422] ni l'opérateur d'appel operator() [SWS_CORE_01423] ne sont spécifiés comme sûrs vis-à-vis des exceptions ; tous deux sont explicitement classifiés comme « not exception safe ». Interprétation : en pratique, cela signifie que la classe n'encapsule aucun mécanisme propre de traitement des exceptions et que les exceptions déclenchées lors de la copie ou de l'exécution du prédicat défini par l'utilisateur Compare sont directement propagées à l'appelant. Question Q-427fd0afbba7bf9e (ouverte) La spécification ne définit aucun code d'erreur spécifique pour cette classe utilitaire. Dès lors, la possibilité d'instancier et d'exécuter sans erreur le prédicat transmis Compare ainsi que la validité des références transmises à operator() vers value_type constituent une condition préalable essentielle à un fonctionnement sans défaut.