classe ara::core::Bitset::reference

La classe utilitaire ara::core::Bitset::reference fait office de type proxy pour l'accès de type lvalue à des bits individuels d'un ara::core::Bitset. Elle permet la modification ciblée de la valeur du bit référencé, en particulier son inversion via la fonction membre flip() conformément à [SWS_CORE_01712]. Grâce à la déclaration de flip() comme noexcept, l'opération est garantie sûre vis-à-vis des exceptions [SWS_CORE_01712]. Comme contrainte essentielle, l'objet proxy ne reste valide, selon l'interprétation, que pendant la durée de vie du conteneur englobant.

plus ›

Contexte

La classe utilitaire imbriquée ara::core::Bitset::reference agit, au sein du module core de l'AUTOSAR Adaptive Platform, comme un objet proxy pour l'accès à des bits individuels dans un ara::core::Bitset. Comme les bits individuels ne possèdent pas d'adresse mémoire propre dans le système de types C++ et ne peuvent donc pas être représentés directement sous forme de référence native (bool&), reference implémente le concept de std::bitset::reference issu de la norme C++ [bitset]. La classe sert d'intermédiaire entre le code appelant et la mémoire de bits interne du conteneur ara::core::Bitset. Elle permet aux développeurs de traiter un bit individuel syntaxiquement et sémantiquement comme une référence modifiable, en mappant directement les opérations sur le proxy sur le bit sous-jacent dans le bitset. La fonction membre flip(), conforme à [SWS_CORE_01712], constitue un élément essentiel de cette interface et fournit une inversion directe de l'état du bit adressé.

Cycle de vie

Les instances de ara::core::Bitset::reference présentent typiquement un caractère éphémère. Selon l'interprétation, la création n'est pas effectuée comme un objet autonome par le développeur d'application, mais est initiée en interne par les mécanismes d'accès non constants du conteneur ara::core::Bitset lorsqu'un accès lvalue à une position de bit spécifique est requis. L'objet proxy créé se lie logiquement à la position de bit spécifique et à la zone mémoire sous-jacente du conteneur. La durée de vie de l'instance de reference est ainsi strictement couplée à l'existence de l'objet Bitset englobant : si le Bitset référencé est détruit ou si sa mémoire devient invalide, un accès ultérieur via l'objet proxy conduit vraisemblablement à un comportement indéfini (dangling reference). Question Q-44ce3478c9a2d987 (ouverte) Après l'achèvement d'opérations telles que l'inversion de bits via flip() conformément à [SWS_CORE_01712], l'objet temporaire est généralement détruit immédiatement. En matière de concurrence, il convient de noter que des accès concurrents en écriture à des bits distincts ou identiques d'un même conteneur via des instances distinctes de reference sans synchronisation externe ne sont vraisemblablement pas thread-safe.

Parcours d'utilisation

Le cas d'utilisation principal de ara::core::Bitset::reference consiste en la consultation et la modification ciblées de valeurs de bits individuels. Dans le déroulement typique, un appelant accède à une position de bit dans ara::core::Bitset via l'opérateur d'indexation, ce qui renvoie un objet temporaire reference. Des opérations de modification peuvent dès lors être exécutées sur cette référence. Spécifiquement pour l'inversion de la valeur du bit, la classe met à disposition la fonction membre flip(), qui est spécifiée conformément à [SWS_CORE_01712]. Cette méthode inverse l'état actuel du bit référencé (0 devient 1, 1 devient 0) et renvoie une référence lvalue vers l'objet proxy lui-même (reference&). Cela permet le chaînage d'autres appels ou une réutilisation directe du résultat modifié.

Diagramme de séquence : déroulement typique de l'inversion de bit via l'objet proxy reference. Sources : [SWS_CORE_01712]

Scénarios d'erreur

La classe ara::core::Bitset::reference se distingue par une conception axée sur la robustesse et les performances. Pour la fonction membre centrale flip(), la sécurité vis-à-vis des exceptions « exception safe » ainsi que l'identifiant noexcept sont explicitement définis conformément à [SWS_CORE_01712]. Cela signifie que l'appel de flip() ne lève à coup sûr aucune exception C++. Les états d'erreur ou les traitements d'exception ne surviennent donc pas lors de cet appel ; la validité de la référence sous-jacente à l'objet conteneur constitue une précondition pour une exécution sans erreur.