classe ara::core::Optional< T & >

L'opérateur d'accès aux membres operator-> de la classe template ara::core::Optional<T &> sert à l'accès synchrone aux membres de l'objet référencé [SWS_CORE_01167]. La fonction est définie dans l'en-tête #include "ara/core/optional.h", appartient à la portée de ara::core::Optional<T &> et n'attend aucun paramètre [SWS_CORE_01167]. La valeur de retour fournie est un pointeur de type T const * qui permet un accès direct en lecture à l'objet cible sous-jacent [SWS_CORE_01167]. Le type de retour correspond ainsi à un pointeur vers des données constantes, ce qui empêche tout accès modificateur par le biais de cet opérateur.

En ce qui concerne le traitement des erreurs, la méthode est déclarée comme noexcept et classée comme exception safe [SWS_CORE_01167]. Si l'instance ne contient toutefois aucune valeur (If *this does not contain a value), la spécification documente comme violation une IsoStdBadOptionalAccessViolation [SWS_CORE_01167]. Le logiciel utilisateur doit par conséquent s'assurer, avant le déréférencement, que la référence optionnelle contient une valeur valide afin d'éviter de manière fiable des états d'erreur à l'exécution.

Pour la concurrence et le contexte d'appel, la spécification ne mentionne aucun mécanisme de protection particulier ; vraisemblablement, l'opération const n'offre aucune synchronisation interne contre les modifications concurrentes [SWS_CORE_01167]. Question Q-0ebf3ed1284fc0c1 (ouverte) Le comportement général est conforme, d'après la spécification, à l'utilisation correspondante de la norme C++ pour les types optionnels (As per corresponding usage in [optional]) [SWS_CORE_01167].

L'opérateur de surcharge operator-> de la spécialisation ara::core::Optional<T &> permet l'accès synchrone aux éléments de la référence encapsulée ([SWS_CORE_01168]). La fonction est fournie via le fichier d'en-tête ara/core/optional.h et ne requiert aucun paramètre d'appel. Lors de l'appel, elle renvoie un pointeur de type T * vers l'objet cible référencé, ce qui permet d'adresser directement les membres de l'instance ([SWS_CORE_01168]). La sémantique correspond ici à l'utilisation de [optional] dans le standard C++ ([SWS_CORE_01168]).

En ce qui concerne la sécurité vis-à-vis des erreurs, l'opérateur est déclaré comme noexcept et classé comme sûr face aux exceptions (« exception safe ») ([SWS_CORE_01168]). Si l'instance ne contient aucune valeur (*this does not contain a value), il s'agit d'une violation d'accès de la catégorie IsoStdBadOptionalAccessViolation ([SWS_CORE_01168]). Interprétation : la signature étant déclarée avec noexcept, cet état non autorisé ne devrait probablement pas être traité par la levée d'une exception C++ régulière, mais conduire à un traitement des erreurs standardisé ou à une interruption du programme. Question Q-c3ef91b84a00cae8 (ouverte)

Comme condition d'appel, le développeur doit s'assurer avant l'exécution que l'objet Optional contient effectivement une valeur. Un accès non sécurisé sans vérification préalable de l'état d'occupation enfreint la précondition de l'opérateur ([SWS_CORE_01168]).

La fonction membre modèle emplace de la spécialisation ara::core::Optional<T&> sert à l'affectation ou à la définition d'une référence dans un conteneur optionnel ([SWS_CORE_01164]). La fonction est définie via le fichier d'en-tête #include "ara/core/optional.h" ([SWS_CORE_01164]).

Utilisation et sémantique

L'appel s'effectue de manière synchrone et prend comme paramètre une référence de transfert u de type U&& (par défaut U = T) ([SWS_CORE_01164]). Interprétation : l'argument u devrait alors être réassocié à la référence maintenue dans Optional, sans qu'un nouvel objet ne soit construit. Question Q-55c9eca385e9e496 (ouverte) Comme valeur de retour, emplace renvoie une référence lvalue sur l'instance de Optional elle-même (Optional &), ce qui permet d'enchaîner les opérations ([SWS_CORE_01164]). Grâce à la déclaration comme constexpr, l'appel peut également être évalué lors de la compilation dans des expressions constantes ([SWS_CORE_01164]).

Traitement des erreurs et sécurité vis-à-vis des exceptions

L'opération est déclarée comme noexcept et possède la classification exception safe ([SWS_CORE_01164]). Des codes d'erreur spécifiques, des messages DET ou DEM ne sont pas prévus dans l'extrait de spécification ; un échec dû à des exceptions C++ est exclu ([SWS_CORE_01164]).

Interaction et délimitation

À la différence des variantes de modèles primaires de ara::core::Optional<T> pour les types de valeur, qui construisent l'objet contenu sur place, renvoient une référence T& et ne sont que conditionnellement sûres vis-à-vis des exceptions (conditionally exception safe) ou conditionnellement noexcept ([SWS_CORE_01119], [SWS_CORE_01120]), cette surcharge garantit pour Optional<T&> une absence stricte d'exceptions ([SWS_CORE_01164]). D'autres conteneurs du module comme ara::core::Vector ([SWS_CORE_01366]), ara::core::Map ([SWS_CORE_01458]) ou ara::core::Variant ([SWS_CORE_01661]) proposent également des méthodes emplace, mais possèdent des sémantiques propres et des niveaux de sécurité divergents.

La fonction membre reset de la spécialisation ara::core::Optional<T&> sert, conformément à [SWS_CORE_01165], à réinitialiser un objet de référence optionnel. Elle est déclarée via l'en-tête #include "ara/core/optional.h", ne prend aucun paramètre et ne possède aucune valeur de retour (void). En tant que fonction constexpr, elle peut également être utilisée dans des évaluations au moment de la compilation ; son exécution s'effectue de manière synchrone. Interprétation : conformément au renvoi général à l'utilisation dans [optional], l'appel fait probablement passer l'instance dans un état sans référence liée (disengaged), de sorte que l'objet ne contient plus aucune valeur par la suite. Question Q-edf521c7744139d2 (ouverte)

En ce qui concerne le traitement des erreurs, la fonction est dotée de l'identifiant noexcept conformément à [SWS_CORE_01165] et classée comme sûre vis-à-vis des exceptions (« exception safe »). Un appel ne lève donc aucune exception et ne signale aucun code d'erreur ; aucun message DET ou DEM spécifique n'est prévu dans la charge utile pour cette fonction.

Dans le contexte du module, cette implémentation diffère de la classe modèle générale ara::core::Optional conformément à [SWS_CORE_01136], dont la méthode reset n'est pas déclarée comme constexpr. D'autres fonctions reset dans le module existent pour ara::core::Bitset, où reset() renvoie, conformément à [SWS_CORE_01727], une référence vers l'objet ou renvoie, avec indication de la position conformément à [SWS_CORE_01728], un ara::core::Result et lève IsoStdOutOfRangeViolation en cas d'indice invalide.

La fonction membre value_or de la classe de spécialisation ara::core::Optional<T&> est mise à disposition via le fichier d'en-tête #include "ara/core/optional.h" [SWS_CORE_01175]. En tant que fonction modèle, elle reçoit en paramètre U&& u une valeur de repli et renvoie de manière synchrone une valeur de résultat du type T. Interprétation : selon la mention de spécification « As per corresponding usage in [optional] », la fonction devrait renvoyer la valeur contenue par la référence lorsque l'objet contient une valeur, et la valeur de repli u dans le cas contraire. Question Q-c050380198abf06b (ouverte)

Pour le traitement des erreurs, la spécification garantit une sécurité totale vis-à-vis des exceptions (exception safe) et déclare la méthode comme noexcept [SWS_CORE_01175]. Ni codes d'erreur ni notifications à des moniteurs d'erreurs ou de diagnostic ne sont prévus pour cette opération. Comme la fonction membre est de plus qualifiée de constexpr ainsi que de const, elle peut également être évaluée à la compilation dans des expressions constantes sans modification de l'objet [SWS_CORE_01175].

Dans le contexte du module core, la fonction est étroitement liée aux surcharges générales pour les types non référentiels. Tandis que [SWS_CORE_01175] est déclarée comme exception safe pour ara::core::Optional<T&>, la spécification classe les variantes correspondantes du modèle principal ara::core::Optional – tant la surcharge const-lvalue [SWS_CORE_01134] que la surcharge rvalue [SWS_CORE_01135] – respectivement comme not exception safe.