estructura ara::core::Monostate

La clase ara::core::Monostate actúa en el módulo core, de acuerdo con su referencia a [variant], como tipo sustituto sin estado para la representación de un estado vacío en estructuras de datos variantes. Interpretación: es de prever que funcione como homólogo de std::monostate para hacer que ara::core::Variant sea construible por defecto cuando los tipos de carga útil alternativos no proporcionen un constructor por defecto. Pregunta Q-b724690dfd69af81 (abierta) Dado que la estructura está definida como final y no contiene campos de datos, todas las operaciones de ciclo de vida se realizan de forma trivial y sin asignación dinámica de recursos. Las instancias se utilizan principalmente como alternativa por defecto y pueden emplearse de forma concurrente sin sobrecarga de sincronización.

más ›

Contexto

La clase ara::core::Monostate representa un bloque de construcción elemental dentro del módulo core de AUTOSAR Adaptive Platform. La declaración como struct Monostate final define un tipo unidad sin estado cuya responsabilidad principal consiste en representar la ausencia de un valor utilizable dentro de tipos suma tipificados. En cuanto a su semántica formal y propósito, la especificación remite al uso correspondiente en [variant]. Interpretación: de esto se deduce que ara::core::Monostate funciona como homólogo directo de std::monostate del estándar C++ e interactúa estrechamente con ara::core::Variant para dotar a las variantes de una alternativa de estado explícitamente vacía. Pregunta (abierta)

En interfaces conformes con el estándar de C++, una construcción de variante tipificada requiere para su construcción sin parámetros que la primera alternativa de tipo especificada sea construible por defecto. En caso de que ninguno de los tipos funcionales proporcione un constructor por defecto o de que una variante deba representar inicialmente de forma explícita ningún estado funcional, ara::core::Monostate asume en la primera posición de la lista de tipos el papel de un marcador de posición bien formado. Gracias a este desacoplamiento entre la inicialización de la variante y la provisión efectiva de datos funcionales, la clase garantiza que las interfaces y los resultados de función basados en variantes dentro del software determinista de la unidad de control puedan inicializarse siempre de forma segura respecto a tipos, bien definida y con uso eficiente de memoria.

Ciclo de vida

El ciclo de vida de ara::core::Monostate se caracteriza por una carencia total de estado y una complejidad mínima. Dado que la estructura está declarada como final y no encapsula elementos de datos, una instancia no posee estados internos variables, fases ni transiciones de estado. Interpretación: al tratarse de un tipo sustituto declarado final sin datos de estado propios, es de prever que ara::core::Monostate sea trivialmente construible, copiable, trasladable y destruible, de modo que todas las operaciones de su ciclo de vida se ejecuten sin asignaciones dinámicas de memoria, sin riesgo de excepciones y con una sobrecarga de tiempo de ejecución despreciable. Pregunta Q-9cf1c06bbd91b6ec (abierta)

La instanciación se produce por regla general de forma implícita durante la construcción por defecto de una variante contenedora o de forma explícita al asignar un estado vacío. La destrucción no requiere ninguna acción de limpieza, ya que no se vinculan recursos de memoria ni del sistema operativo. En cuanto a la propiedad y la concurrencia, la clase se comporta como un tipo de valor puramente elemental: las instancias pueden crearse, copiarse o evaluarse de forma concurrente en diferentes rutas de ejecución sin que puedan producirse mecanismos de sincronización o condiciones de carrera a nivel de clase. La vida útil de una instancia queda estrictamente ligada al ámbito local o al contenedor envolvente.

Ruta de uso

La ruta de uso típica de ara::core::Monostate está indiscutiblemente ligada a la declaración y el manejo de ara::core::Variant. Al definir una variante, ara::core::Monostate se indica en primera posición para permitir un estado inicial vacío. Si la variante se crea a continuación a través de su constructor por defecto, asume automáticamente este estado vacío sin necesidad de instanciar tipos funcionales.

En el curso posterior de la ejecución del programa, el usuario comprueba mediante consultas de tipos o patrones de visitante si la variante contiene actualmente el tipo ara::core::Monostate, lo que señala un estado inactivo o desocupado. Tan pronto como se dispone de datos de carga útil, la variante se sobrescribe con el valor funcional correspondiente. El restablecimiento al estado desocupado se realiza mediante una nueva asignación de ara::core::Monostate{}. Interpretación: es de suponer que para ara::core::Monostate existen operadores de igualdad y de comparación, de modo que las comparaciones de dos instancias siempre den como resultado la igualdad y la comparación relacional de variantes en estado vacío pueda evaluarse de forma determinista. Pregunta (abierta)