classe ara::diag::DiagnosticSovdRecordContentElementDataIterator

La classe ara::diag::DiagnosticSovdRecordContentElementDataIterator sert d'itérateur pour le parcours séquentiel d'éléments de données de diagnostic d'un enregistrement SOVD ([SWS_DM_02258]). Via les opérateurs de déréférencement, les applications accèdent à des éléments du type DiagnosticSovdContentElementDataWithKey, tandis que l'avancement s'effectue au moyen de l'opérateur d'incrémentation. Comme contrainte centrale, toutes les fonctions sont spécifiées comme noexcept et sûres pour les threads ([SWS_DM_02263]). Interprétation : l'application appelante doit vérifier elle-même avant chaque accès si la fin de la séquence est atteinte afin d'éviter tout comportement indéfini. Question Q-819b2e03155473ad (ouverte)

plus ›

Contexte

La classe ara::diag::DiagnosticSovdRecordContentElementDataIterator est spécifiée dans l'Adaptive Platform AUTOSAR comme itérateur pour les éléments de données d'enregistrements SOVD (Service-Oriented Vehicle Diagnostics) ([SWS_DM_02258], AUTOSAR_AP_SWS_Diagnostics §8.60.10 « Class: DiagnosticSovdRecordContentElementDataIterator »). Au sein du sous-système de diagnostic, elle sert d'interface d'accès standardisée pour parcourir élément par élément les données de diagnostic structurées d'un enregistrement SOVD.

Parmi les principaux partenaires d'interaction figurent l'application de diagnostic demandeuse, qui traite les données d'enregistrement, ainsi que la structure de données sous-jacente du module de diagnostic. L'itérateur assure l'accès à des éléments de données individuels du type DiagnosticSovdContentElementDataWithKey en fournissant, via ses opérateurs de déréférencement, au choix des références ou des pointeurs vers ces éléments de données ([SWS_DM_02259], [SWS_DM_02260]).

Cycle de vie

Les instances de l'itérateur sont typiquement créées lors d'opérations d'interrogation sur des contenus SOVD. La spécification ne définit aucun constructeur public autonome pour l'itérateur dans le périmètre de l'API ; les instances devraient donc être principalement fournies par des conteneurs de niveau supérieur ou des fonctions d'interrogation et copiées sous forme de valeurs. Question Q-e79bbdff728ef3f2 (ouverte) L'itérateur référence des données utiles existantes sans en assumer la propriété.

Le cycle de vie au sein d'une opération de parcours est piloté par des étapes d'avancement et des comparaisons de position. L'opérateur d'incrémentation préfixée operator++ permet d'avancer l'itérateur vers l'élément de données suivant ([SWS_DM_02263]). La validité et l'atteinte de la fin de séquence sont déterminées via les opérateurs d'égalité et d'inégalité operator== ([SWS_DM_02261]) et operator!= ([SWS_DM_02262]) par rapport à un itérateur sentinelle ou de fin.

En ce qui concerne la concurrence, toutes les fonctions membres de la classe sont explicitement spécifiées comme étant sûres pour les threads ([SWS_DM_02259], [SWS_DM_02260], [SWS_DM_02261], [SWS_DM_02262], [SWS_DM_02263]). Cela autorise des accès en lecture parallèles sur des instances d'itérateur distinctes dans des environnements multithreads.

Parcours d'utilisation

Le déroulement typique lors de l'évaluation de contenus d'enregistrements SOVD suit le modèle classique d'itérateur vers l'avant (forward iterator) en C++ :

• Vérification de la condition d'interruption : avant chaque accès, l'application compare la position actuelle avec l'itérateur de fin au moyen de operator!= ([SWS_DM_02262]).
• Accès à l'élément : si l'itérateur est positionné sur un élément valide, l'application accède soit par référence via operator* au DiagnosticSovdContentElementDataWithKey ([SWS_DM_02259]), soit utilise l'opérateur d'accès aux membres operator-> ([SWS_DM_02260]) pour adresser directement des méthodes ou des champs de l'élément de données.
• Avancement : l'itérateur est incrémenté vers la position suivante au moyen de operator++ ([SWS_DM_02263]).

Diagramme de séquence : déroulement typique du parcours d'éléments de données d'un enregistrement SOVD. Sources : [SWS_DM_02259], [SWS_DM_02260], [SWS_DM_02262], [SWS_DM_02263].

Scénarios d'erreur

Toutes les opérations spécifiées de l'itérateur sont déclarées comme sûres vis-à-vis des exceptions (exception safe) et comme noexcept ([SWS_DM_02259], [SWS_DM_02260], [SWS_DM_02261], [SWS_DM_02262], [SWS_DM_02263]). Cela signifie qu'en fonctionnement normal, aucune exception n'est levée et aucun code d'erreur n'est à évaluer.

Interprétation : une précondition essentielle pour les appels de operator*, operator-> et operator++ est que l'itérateur doit référencer une position valide et ne doit pas correspondre à l'itérateur de fin. Question (ouverte) L'avancement ou le déréférencement d'un itérateur non valide devrait, dans le contexte standard de C++, conduire à un comportement indéfini. Les applications doivent donc vérifier rigoureusement l'atteinte de la fin au moyen de operator!= ou operator== ([SWS_DM_02261], [SWS_DM_02262]).