structure ara::core::variant_alternative

Le modèle de structure ara::core::variant_alternative sert, dans le module core de l'AUTOSAR Adaptive Platform, d'outil d'interrogation statique de type pour les alternatives d'un type variant. Interprétation : il devrait déterminer au moment de la compilation, à l'aide d'un index I, le type de l'alternative correspondante de T et le mettre à disposition via un alias de type. Question (ouverte) Comme aucune instanciation n'a lieu à l'exécution, il n'existe aucun cycle de vie dynamique ni aucun besoin de mémoire. La contrainte essentielle réside dans le fait que l'index choisi doit se situer parmi les alternatives existantes du type variant, car des index non valides conduisent vraisemblablement à une erreur de compilation.

plus ›

Contexte

Le template ara::core::variant_alternative est une structure d'assistance dans le module core de l'AUTOSAR Adaptive Platform dans la version R25-11. La spécification définit la signature comme template <std::size_t I, typename T> struct variant_alternative; et renvoie, quant à sa signification, à l'utilisation correspondante dans [variant]. Interprétation : la structure devrait faire office de trait de type (type trait) standardisé permettant aux développeurs et aux bibliothèques génériques d'accéder au type de l'alternative stockée à la position I d'une union typée. Dans l'architecture du module, le modèle constitue un outil important pour la vérification statique et la déduction de types en associant des mécanismes au moment de la compilation à des types de données variants tels que ara::core::variant. Question (ouverte)

Cycle de vie

En tant que pure construction d'assistance à la métaprogrammation, ara::core::variant_alternative ne possède vraisemblablement aucun cycle de vie dynamique à l'exécution. Question Q-8996e46fa1d6552b (ouverte) Il n'existe ni opérations d'instanciation en mémoire vive, ni allocations, affectations ou phases de destruction. Toutes les évaluations ont lieu intégralement pendant l'analyse sémantique et la compilation par le compilateur. Le template ne gère aucun état interne et n'établit aucune relation de possession sur les ressources système. Pour cette raison, aucun aspect lié à la concurrence ou à la synchronisation des threads n'apparaît, car aucun état persistant d'objet ne subsiste en mémoire une fois le processus de compilation achevé.

Parcours d'utilisation

Le chemin d'utilisation typique s'effectue intégralement dans le cadre de la métaprogrammation de templates pendant la compilation d'un module logiciel. Les développeurs utilisent la structure lorsque, dans des fonctions ou des algorithmes génériques, le type sous-jacent d'une alternative déterminée doit être déduit au moment de la compilation :

1. Mise à disposition d'un type variant T approprié encapsulant plusieurs alternatives typées.
2. Transmission de l'index de base zéro I ainsi que du type variant T en tant qu'arguments de template à ara::core::variant_alternative.
3. Interprétation : le template devrait exporter, par le biais d'un alias de type imbriqué (tel que type), le type de données défini à l'index I. Question Q-1f2023e9b96ac254 (ouverte)
4. Utilisation du type extrait pour la conception de signatures de fonctions génériques, pour la définition de variables temporaires ou pour des assertions statiques au moment de la compilation.

Scénarios d'erreur

Étant donné que ara::core::variant_alternative est résolu de manière purement statique au moment de la compilation, il n'existe pas de codes d'erreur à l'exécution ni d'exceptions. Tous les scénarios d'erreur se manifestent directement sous la forme d'erreurs de compilation. Si un index I supérieur ou égal au nombre d'alternatives déclarées dans le type variant est spécifié, l'instanciation devrait échouer, car aucune spécialisation valide n'existe vraisemblablement pour des index non autorisés. Une autre erreur de compilation survient si un type T qui ne représente pas un variant est transmis. Les préconditions statiques exigent ainsi le respect d'une plage d'index valide et d'un type variant compatible. Question Q-a3df69d58f6360a4 (ouverte)