classe ara::core::InstanceSpecifier

La classe ara::core::InstanceSpecifier sert d'enveloppeur à sûreté de typage autour d'un chemin shortName AUTOSAR pour l'identification univoque d'instances de modèle dans l'Adaptive Platform. La création privilégiée s'effectue de manière sûre vis-à-vis des exceptions via la méthode de fabrique statique Create [SWS_CORE_08032], qui valide un chemin et renvoie un ara::core::Result. En tant que contrainte essentielle, la méthode ToString [SWS_CORE_08041] ne garantit la validité du StringView fourni que pour la durée de vie de la chaîne de caractères initialement transmise, car aucun tampon propre n'est géré. Au moment de l'exécution, l'objet prend en charge des opérations de comparaison complètes pour les rapprochements de modèles et le stockage ordonné dans des conteneurs.

plus ›

Contexte

La classe ara::core::InstanceSpecifier sert de représentation d'un AUTOSAR Instance Specifier et encapsule un chemin shortName complet d'un élément de modèle. Au sein de l'Adaptive Platform, elle fait office d'abstraction à sûreté de typage sur des chaînes de caractères de chemin du métamodèle AUTOSAR. Au lieu d'utiliser des chaînes de caractères non formatées, ce type encapsule les structures syntaxiques de chemin et garantit que les instances peuvent être adressées de manière cohérente. Les principaux partenaires d'interaction sont des composants d'application et des services de plateforme qui référencent, comparent ou gèrent de manière univoque des instances de modèle dans des collections. Interpretation : étant donné que la spécification décrit la classe comme un conteneur léger de chemin de modèle, elle devrait principalement servir à l'identification et à l'affectation de configuration d'instances de service et de points de terminaison de communication à l'exécution. Question Q-6574e1172032e6d9 (ouverte)

Cycle de vie

Pour la création, ara::core::InstanceSpecifier propose deux chemins avec des sémantiques d'erreurs et d'exceptions distinctes : la méthode de fabrique statique Create [SWS_CORE_08032] ainsi que le constructeur explicite [SWS_CORE_08021]. La méthode de fabrique Create accepte un ara::core::StringView, est spécifiée comme noexcept ainsi que thread-safe, et retourne le résultat dans un ara::core::Result<InstanceSpecifier>. En revanche, le constructeur direct est déclaré avec noexcept(false) et lève une ara::core::CoreException en cas de structures de chemin invalides, ce qui fait qu'il n'est pas sûr vis-à-vis des exceptions [SWS_CORE_08021].

Concernant la durée de vie et les relations de propriété, il existe une propriété déterminante : la méthode ToString renvoie une ara::core::StringView dont la validité est explicitement liée à la durée de vie de la mémoire sur laquelle reposait le StringView initialement transmis lors de la construction [SWS_CORE_08041]. La classe ne copie par conséquent pas la chaîne sous-jacente dans une zone mémoire propre, mais référence des données externes. Les développeurs doivent donc s'assurer que la chaîne source reste en mémoire pendant toute la durée d'utilisation de l'InstanceSpecifier et des StringViews qui en découlent.

Pour la suite de la gestion au cours du cycle de vie, le constructeur de copie [SWS_CORE_08022], le constructeur de déplacement [SWS_CORE_08023], l'opérateur d'assignation par copie [SWS_CORE_08024] et l'opérateur d'assignation par déplacement [SWS_CORE_08025] sont présents. Les quatre opérations sont déclarées comme noexcept et garantissent la sécurité vis-à-vis des exceptions. En matière de concurrence, il convient toutefois de noter que seul le constructeur de copie est classé comme thread-safe. Les opérations de déplacement, les opérateurs d'assignation ainsi que le destructeur [SWS_CORE_08029] ne sont pas thread-safe et requièrent une synchronisation externe si la même instance est modifiée ou détruite de manière concurrente.

Parcours d'utilisation

Un déroulement d'utilisation typique comprend l'instanciation, l'interrogation de la représentation de chemin ainsi que la comparaison avec d'autres identifiants. De manière privilégiée, la fonction de fabrique ne levant pas d'exception Create est appelée [SWS_CORE_08032]. L'application transmet le chemin de modèle qualifié sous forme de ara::core::StringView et vérifie le succès de l'objet Result résultant.

Diagramme de séquence : création via la méthode de fabrique Create et utilisation consécutive pour l'interrogation de chemin ou le traitement des erreurs. Sources : [SWS_CORE_08032], [SWS_CORE_08041]

Après une initialisation réussie, l'identifiant peut être utilisé de multiples façons :

• Récupérer la représentation sous forme de chaîne de caractères : via ToString [SWS_CORE_08041], l'appelant obtient une vue StringView sur le chemin modélisé.
• Contrôle d'égalité et d'inégalité : les instances peuvent être comparées directement avec d'autres instances de InstanceSpecifier par operator== [SWS_CORE_08042] et operator!= [SWS_CORE_08044]. De plus, des surcharges de operator== [SWS_CORE_08043] et operator!= [SWS_CORE_08045] permettent la comparaison directe avec une ara::core::StringView. Les deux vérifications ne retournent l'égalité que si exactement le même élément de modèle est désigné.
• Tri et stockage dans des conteneurs : l'opérateur inférieur à operator< [SWS_CORE_08046] permet d'ordonner lexicographiquement les instances, ce qui autorise leur utilisation comme clés dans des conteneurs ordonnés tels que des maps.

Scénarios d'erreur

Les conditions d'erreur sont, pour ara::core::InstanceSpecifier, strictement limitées à la phase de construction. Si des défauts syntaxiques ou sémantiques apparaissent dans le chemin transmis, deux erreurs spécifiques sont identifiées :

• CoreErrc::kInvalidMetaModelShortname : signalée lorsque des éléments de chemin manquent dans le nom transmis ou contiennent des caractères non autorisés [SWS_CORE_08032], [SWS_CORE_08021].
• CoreErrc::kInvalidMetaModelPath : se produit lorsque la chaîne de caractères ne forme pas un chemin valide vers un élément de modèle [SWS_CORE_08032], [SWS_CORE_08021].

Le mode de signalement d'erreur dépend du chemin de création choisi. En cas d'utilisation de la méthode de fabrique Create [SWS_CORE_08032], le code d'erreur est renvoyé dans le ara::core::Result ; une sémantique de rollback sans exceptions s'applique. Si en revanche le constructeur InstanceSpecifier [SWS_CORE_08021] est appelé, une ara::core::CoreException avec le code d'erreur correspondant est levée. Toutes les opérations en aval telles que ToString [SWS_CORE_08041], les assignations et les opérateurs de comparaison [SWS_CORE_08042], [SWS_CORE_08044], [SWS_CORE_08046] ne possèdent aucun état d'erreur défini et sont déclarées comme noexcept.