structure ara::core::variant_alternative< I, const T >

ara::core::variant_alternative<I, const T> sert d'outil d'aide à la métaprogrammation par template dans le module core afin de déterminer au moment de la compilation le type de la I-ième alternative d'un type somme avec une qualification const supplémentaire. Lors de l'instanciation, le compilateur évalue statiquement l'index I par rapport au type const T et met le type d'alternative résultant, protégé en écriture, à disposition des fonctions génériques. Comme la structure opère purement au niveau du moment de la compilation, il n'existe ni objets à l'exécution ni erreurs d'exécution ; interprétation : un index non valide I devrait conduire directement à l'interruption du processus de compilation. Question (ouverte)

plus ›

Contexte

La spécialisation de template ara::core::variant_alternative<I, const T> fait partie du module core de l'AUTOSAR Adaptive Platform. Elle agit comme une construction d'assistance pour la métaprogrammation par template et sert à déterminer le type d'une alternative particulière à la position d'index I pour un type const T qualifié const. La description de la spécification renvoie à cet égard à l'utilisation correspondante dans le contexte de [variant]. Interprétation : compte tenu de ce référencement au concept de variant, la classe devrait reproduire la sémantique de std::variant_alternative issue du standard C++ et servir de passerelle pour l'accès à ara::core::variant. Le modèle de classe garantit que les algorithmes génériques et les fonctions d'assistance travaillant avec des références constantes vers des variants peuvent déduire au moment de la compilation le type constant adéquat de l'alternative concernée. Cela évite d'avoir à reconstruire manuellement les qualificateurs const ou à les ajouter via des traits d'assistance lors d'interrogations de types génériques. Question Q-94ac01e93461aed6 (ouverte)

Cycle de vie

Pour ara::core::variant_alternative<I, const T>, il n'existe aucun cycle de vie classique pendant l'exécution d'une application. Interprétation : étant donné que la déclaration décrit une pure structure de template, l'instanciation et l'évaluation devraient s'effectuer sans exception pendant le processus de compilation par le compilateur C++. Question Q-2d665335d7c514da (ouverte) Aucune ressource de mémoire dynamique n'est requise et aucun objet n'est créé ou détruit sur la pile ou sur le tas. Les relations de possession, les phases d'initialisation ou les transitions d'état explicites sont inexistantes. Concernant la concurrence, la construction est sans restriction sûre : puisque toutes les résolutions de types sont achevées statiquement avant l'exécution du programme et qu'aucun état modifiable ou partagé ne subsiste en mémoire, un nombre quelconque de threads peut exploiter simultanément des méthodes ou des types de données reposant sur ce trait sans qu'aucun mécanisme de synchronisation ne soit requis.

Parcours d'utilisation

Le domaine d'application principal de ce trait réside dans l'implémentation d'interfaces génériques, de vérifications de types et de mécanismes de dispatch pour les structures de données basées sur des variants. Un chemin d'utilisation typique commence par la transmission, par un utilisateur ou un framework de niveau supérieur, d'un type const T accompagné d'un index entier constant I comme arguments de template à ara::core::variant_alternative. Le compilateur résout cette spécialisation partielle et transforme le type de base de l'alternative à la position I en son type correspondant qualifié const. Ce type résultant est ensuite utilisé comme type de retour pour des fonctions d'inspection, comme type de paramètre pour des accès en lecture ou pour la vérification statique d'hypothèses de types. Comme l'ensemble de la séquence est intégralement pris en charge pendant le processus de compilation, aucune étape de calcul supplémentaire, aucun appel de fonction ni aucun accès à la mémoire n'apparaît au moment de l'exécution du programme.

Scénarios d'erreur

En raison de la nature statique de cette construction de métaprogrammation, il n'existe à l'exécution aucun scénario d'erreur ni code d'erreur tel que ara::core::ErrorCode ou exception C++. Les causes d'erreur sont d'ordre purement syntaxique ou sémantique et mènent à des erreurs pendant la compilation. Interprétation : si l'index I se situe en dehors de la plage autorisée – c'est-à-dire s'il est supérieur ou égal au nombre total d'alternatives définies dans le variant – ou si T n'est pas un type variant autorisé, le compilateur devrait interrompre la compilation. Question (ouverte) Une précondition pour une utilisation réussie est donc que l'index I reste dans les limites du tampon de types et que T soit un type somme complet et compatible en matière de types.