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

El operador de acceso a miembros operator-> de la clase de plantilla ara::core::Optional<T &> sirve para el acceso síncrono a miembros del objeto referenciado [SWS_CORE_01167]. La función está definida en la cabecera #include "ara/core/optional.h", pertenece al alcance de ara::core::Optional<T &> y no espera parámetros [SWS_CORE_01167]. Como valor de retorno se devuelve un puntero del tipo T const *, que permite un acceso directo de lectura al objeto de destino subyacente [SWS_CORE_01167]. Así, el tipo de retorno corresponde a un puntero a datos constantes, impidiendo accesos modificadores a través de este operador.

En cuanto al tratamiento de errores, el método está declarado como noexcept y clasificado como exception safe [SWS_CORE_01167]. Sin embargo, si la instancia no contiene un valor (If *this does not contain a value), la especificación documenta una IsoStdBadOptionalAccessViolation como infracción [SWS_CORE_01167]. En consecuencia, antes de la desreferenciación, el software de aplicación debe asegurarse de que la referencia opcional esté asignada de forma válida para evitar estados de error en tiempo de ejecución de manera fiable.

Para la concurrencia y el contexto de llamada, la especificación no menciona mecanismos de protección especiales; es probable que la operación const no ofrezca sincronización interna frente a modificaciones concurrentes [SWS_CORE_01167]. Pregunta Q-0ebf3ed1284fc0c1 (abierta) El comportamiento general se rige, según la especificación, por el uso correspondiente del estándar C++ para tipos opcionales (As per corresponding usage in [optional]) [SWS_CORE_01167].

El operador de sobrecarga operator-> de la especialización ara::core::Optional<T &> permite el acceso sincrónico a elementos a la referencia encapsulada ([SWS_CORE_01168]). La función se proporciona a través del archivo de cabecera ara/core/optional.h y no requiere parámetros de llamada. Al invocarse, devuelve un puntero del tipo T * al objeto de destino referenciado, lo que permite direccionar directamente los miembros de la instancia ([SWS_CORE_01168]). La semántica corresponde al uso de [optional] en el estándar de C++ ([SWS_CORE_01168]).

En cuanto a la seguridad frente a fallos, el operador está declarado como noexcept y clasificado como seguro frente a excepciones («exception safe») ([SWS_CORE_01168]). Si la instancia no contiene ningún valor (*this does not contain a value), se produce una violación de acceso de la categoría IsoStdBadOptionalAccessViolation ([SWS_CORE_01168]). Interpretación: Dado que la firma está declarada con noexcept, es de suponer que este estado no permitido probablemente no se gestione mediante el lanzamiento de una excepción regular de C++, sino que dé lugar a un tratamiento de errores estandarizado o a una terminación anormal del programa. Pregunta Q-c3ef91b84a00cae8 (abierta)

Como condición de llamada, el desarrollador debe asegurarse antes de la ejecución de que el objeto Optional realmente contenga un valor. Un acceso no protegido sin comprobar previamente el estado de ocupación infringe la precondición del operador ([SWS_CORE_01168]).

La función miembro plantilla emplace de la especialización ara::core::Optional<T&> sirve para la asignación o fijación de una referencia en un contenedor opcional ([SWS_CORE_01164]). La función está definida a través del archivo de cabecera #include "ara/core/optional.h" ([SWS_CORE_01164]).

Uso y semántica

La llamada se realiza de forma síncrona y recibe como parámetro una referencia de reenvío u de tipo U&& (por defecto U = T) ([SWS_CORE_01164]). Interpretación: Es probable que el argumento u se vuelva a vincular a la referencia contenida en Optional sin que se construya un nuevo objeto. Pregunta Q-55c9eca385e9e496 (abierta) Como valor de retorno, emplace proporciona una referencia lvalue a la propia instancia de Optional (Optional &), lo que permite el encadenamiento de operaciones ([SWS_CORE_01164]). Mediante la declaración como constexpr, la llamada también se puede evaluar en expresiones constantes en tiempo de compilación ([SWS_CORE_01164]).

Tratamiento de errores y seguridad frente a excepciones

La operación está declarada como noexcept y cuenta con la clasificación exception safe ([SWS_CORE_01164]). En el extracto de la especificación no se contemplan códigos de error específicos ni mensajes DET o DEM; queda descartado un fallo debido a excepciones de C++ ([SWS_CORE_01164]).

Interacción y delimitación

A diferencia de las variantes de plantilla primarias de ara::core::Optional<T> para tipos por valor, las cuales construyen el objeto contenido in situ, devuelven una referencia T& y solo son condicionalmente seguras ante excepciones (conditionally exception safe) o condicionalmente noexcept ([SWS_CORE_01119], [SWS_CORE_01120]), esta sobrecarga para Optional<T&> garantiza una estricta ausencia de excepciones ([SWS_CORE_01164]). Otros contenedores del módulo como ara::core::Vector ([SWS_CORE_01366]), ara::core::Map ([SWS_CORE_01458]) o ara::core::Variant ([SWS_CORE_01661]) ofrecen asimismo métodos emplace, pero poseen semánticas independientes y niveles de seguridad divergentes.

La función miembro reset de la especialización ara::core::Optional<T&> sirve, según [SWS_CORE_01165], para restablecer un objeto de referencia opcional. Se declara mediante el encabezado #include "ara/core/optional.h", no toma parámetros y no tiene valor de retorno (void). Como función constexpr, también puede utilizarse en evaluaciones en tiempo de compilación; su ejecución se realiza de forma síncrona. Interpretación: conforme a la referencia general al uso en [optional], la llamada probablemente sitúe la instancia en un estado sin referencia vinculada (disengaged), de modo que el objeto posteriormente ya no contenga ningún valor. Pregunta Q-edf521c7744139d2 (abierta)

En lo relativo al tratamiento de errores, la función está dotada del identificador noexcept conforme a [SWS_CORE_01165] y clasificada como segura ante excepciones («exception safe»). Por tanto, una llamada no lanza excepciones ni notifica códigos de error; no se contemplan mensajes específicos de DET o DEM en el payload para esta función.

En el contexto del módulo, esta implementación se distingue de la clase de plantilla general ara::core::Optional según [SWS_CORE_01136], cuyo método reset no está declarado como constexpr. Existen otras funciones reset en el módulo para ara::core::Bitset, donde reset() según [SWS_CORE_01727] devuelve una referencia al objeto o, con especificación de posición según [SWS_CORE_01728], devuelve un ara::core::Result y lanza IsoStdOutOfRangeViolation en caso de índice no válido.

La función miembro value_or de la especialización ara::core::Optional<T&> se proporciona a través del archivo de cabecera #include "ara/core/optional.h" [SWS_CORE_01175]. Como función de plantilla, recibe un parámetro U&& u como valor alternativo y devuelve de forma síncrona un valor resultante del tipo T. Interpretación: de acuerdo con la indicación de la especificación «As per corresponding usage in [optional]», es probable que la función devuelva el valor contenido por la referencia cuando el objeto está ocupado y, en caso contrario, el valor de repliegue u. Pregunta Q-c050380198abf06b (abierta)

Para el tratamiento de errores, la especificación garantiza una seguridad total frente a excepciones (exception safe) y declara el método como noexcept [SWS_CORE_01175]. Para esta operación no están previstos códigos de error ni notificaciones a monitores de error o diagnóstico. Dado que la función miembro está cualificada además como constexpr y const, también puede evaluarse en expresiones constantes en tiempo de compilación sin modificar el objeto [SWS_CORE_01175].

En el contexto del módulo core, la función está estrechamente relacionada con las sobrecargas generales para tipos no referenciales. Mientras que [SWS_CORE_01175] para ara::core::Optional<T&> está declarada como exception safe, la especificación clasifica las variantes correspondientes de la plantilla primaria ara::core::Optional —tanto la sobrecarga const lvalue [SWS_CORE_01134] como la sobrecarga rvalue [SWS_CORE_01135]— respectivamente como not exception safe.