structure ara::core::in_place_t

La structure ara::core::in_place_t sert de type tag pour identifier les opérations où des objets doivent être construits directement sur place sans opérations de copie [SWS_CORE_04012]. Une instance est typiquement transmise aux constructeurs de classes enveloppes telles que ara::core::Optional afin de relayer directement les arguments au constructeur du type contenu. La création s'effectue via un constructeur par défaut explicite, défini comme sûr vis-à-vis des exceptions et noexcept [SWS_CORE_04012]. Comme le type est sans état, il n'existe aucun scénario d'erreur ni phase complexe de cycle de vie.

plus ›

Contexte

La structure ara::core::in_place_t est un type tag au sein du module core d'AUTOSAR Adaptive Platform et est fournie via le fichier d'en-tête #include "ara/core/utility.h" [SWS_CORE_04012]. Dans les interfaces C++ modernes, un tel type tag sert d'élément de contrôle sémantique pour la résolution des surcharges lors de la création d'objets. Le rôle principal de ara::core::in_place_t consiste à déclarer explicitement des opérations comme des constructions in situ. Une instance de ce type est transmise à des constructeurs spécialisés de classes enveloppes telles que ara::core::Optional, afin de signaler l'intention sans équivoque que l'objet conservé dans le conteneur doit être construit directement sur place.

Grâce à ce mécanisme, la nécessité de créer en dehors du conteneur un objet temporaire qui devrait ensuite être transféré dans le conteneur par constructeur de copie ou de déplacement disparaît. La classe fait ainsi office d'intermédiaire entre le code d'application appelant et les routines d'initialisation des types englobants, ce qui lui confère une importance particulière pour la gestion des ressources et l'efficacité dans le contexte d'applications critiques pour la sécurité.

Cycle de vie

Le cycle de vie de ara::core::in_place_t est de conception minimaliste. La classe déclare un constructeur par défaut explicite explicit in_place_t() noexcept = default; qualifié de noexcept [SWS_CORE_04012]. En tant que structure tag sans état, le type ne possède aucune variable membre ni ressource dynamique. Interprétation : la structure sert exclusivement de marqueur de type pour la résolution de surcharges par le compilateur et n'encapsule aucune donnée d'exécution. Question Q-2fd481aaddfdfbf3 (ouverte) Par conséquent, il n'existe ni états complexes ni transitions entre différentes phases de vie.

Les instances de ara::core::in_place_t sont habituellement créées directement au point d'appel comme valeurs temporaires et immédiatement transmises à la méthode cible. Elles n'engendrent aucune relation de possession sur des ressources gérées, et aucun travail de nettoyage n'est requis lors de la destruction de l'objet. Comme le type est parfaitement immuable et sans état, l'instanciation et la destruction sont naturellement sûres vis-à-vis de la concurrence et peuvent être utilisées sans danger à travers plusieurs threads sans mécanisme de synchronisation.

Parcours d'utilisation

Le chemin d'utilisation typique de ara::core::in_place_t se concentre sur le transfert direct des arguments de construction à des wrappers tels que ara::core::Optional. Dans un premier temps, l'application inclut le fichier d'en-tête requis #include "ara/core/utility.h" [SWS_CORE_04012]. Lors de la déclaration ou de l'initialisation d'un objet ara::core::Optional, le développeur transmet une instance de ara::core::in_place_t comme premier argument au constructeur. Les arguments suivants correspondent exactement à la liste des paramètres du constructeur du type destiné à être contenu dans le Optional.

Grâce à l'évaluation du tag, le constructeur du conteneur appelle directement en interne le constructeur approprié de l'objet de données utiles dans la zone de mémoire interne. Cela évite les opérations superflues de copie et de déplacement, ce qui est particulièrement avantageux pour les types entraînant des copies coûteuses ou dont le constructeur de copie a été supprimé. Une fois le constructeur cible appelé avec succès, l'objectif du tag est pleinement atteint et l'instance temporaire du tag est automatiquement détruite.

Scénarios d'erreur

En ce qui concerne les scénarios d'erreur et la sécurité vis-à-vis des exceptions, ara::core::in_place_t est totalement exempt d'erreur. Selon la spécification, le constructeur par défaut est déclaré comme noexcept et possède la classification exception safe [SWS_CORE_04012]. Il n'existe aucune précondition pour l'appel du constructeur par défaut, et aucun code d'erreur ni exception C++ n'est déclenché.

Si une erreur devait survenir pendant une construction sur place (in-place), la cause ne réside pas dans ara::core::in_place_t, mais exclusivement dans le constructeur du type de données utiles encapsulé. Si son constructeur lève des exceptions ou signale des états d'erreur en présence de paramètres non valides, les mécanismes de gestion d'erreur définis du conteneur englobant ou du type cible interviennent. Pour in_place_t lui-même, aucune postcondition ni opération de nettoyage n'est requise en cas d'erreur.