estrutura ara::core::Monostate

A classe ara::core::Monostate serve no módulo core, de acordo com sua referência a [variant], como um tipo substituto sem estado para representar um estado vazio em estruturas de dados variantes. Interpretação: ela deve atuar como equivalente a std::monostate para tornar ara::core::Variant construtível por padrão quando tipos de carga útil alternativos não fornecerem um construtor padrão. Como a estrutura é definida como final e não contém campos de dados, todas as operações de ciclo de vida ocorrem de forma trivial e sem vinculação dinâmica de recursos. As instâncias são utilizadas principalmente como alternativa padrão e podem ser empregadas concorrentemente sem sobrecarga de sincronização. Pergunta Q-b724690dfd69af81 (aberta)

mais ›

Contexto

A classe ara::core::Monostate representa um elemento básico fundamental dentro do módulo core da AUTOSAR Adaptive Platform. A declaração como struct Monostate final define um tipo unitário sem estado, cuja responsabilidade primária consiste em representar a ausência de um valor utilizável dentro de tipos de soma tipados. Em relação à sua semântica formal e finalidade, a especificação remete ao uso correspondente em [variant]. Interpretação: deduz-se disso que ara::core::Monostate atua como um equivalente direto a std::monostate do padrão C++ e interage estreitamente com ara::core::Variant para dotar variantes de uma alternativa de estado explicitamente vazia. Pergunta (aberta)

Em interfaces C++ em conformidade com o padrão, uma construção de variante tipada exige, para a construção sem parâmetros, que a alternativa de tipo listada em primeiro lugar seja construtível por padrão. Caso nenhum dos tipos funcionais de carga útil forneça um construtor padrão ou uma variante inicialmente não deva representar explicitamente nenhum estado funcional, ara::core::Monostate assume o papel de um marcador de posição bem-formado na primeira posição da lista de tipos. Por meio desse desacoplamento entre a inicialização da variante e a disponibilização real de dados funcionais, a classe assegura que interfaces baseadas em variantes e resultados de funções possam ser sempre inicializados com segurança de tipos, de forma bem-definida e eficiente em termos de memória dentro de softwares de unidades de comando determinísticos.

Ciclo de vida

O ciclo de vida de ara::core::Monostate caracteriza-se por máxima ausência de estado e complexidade mínima. Como a estrutura é declarada como final e não encapsula elementos de dados, uma instância não possui estados internos mutáveis, fases ou transições de estado. Interpretação: como tipo substituto declarado como final sem dados de estado próprios, ara::core::Monostate deve ser trivialmente construtível, copiável, movível e destruível, de modo que todas as operações de ciclo de vida sejam executadas sem alocações dinâmicas de memória, sem risco de exceções e com impacto desprezível em tempo de execução. Pergunta Q-9cf1c06bbd91b6ec (aberta)

A instanciação ocorre geralmente de forma implícita na construção padrão de uma variante circundante ou explicitamente na atribuição de um estado vazio. A destruição não requer nenhuma ação de limpeza, pois nenhum recurso de sistema operacional ou de memória é vinculado. Em relação à posse e concorrência, a classe comporta-se como um tipo de valor puramente elementar: instâncias podem ser criadas, copiadas ou avaliadas concorrentemente em diferentes caminhos de execução sem que ocorram mecanismos de sincronização ou condições de corrida no nível da classe. O tempo de vida de uma instância é estritamente vinculado ao escopo local ou ao contêiner que a envolve.

Caminho de utilização

O caminho de uso típico de ara::core::Monostate está intrinsecamente ligado à declaração e manipulação de ara::core::Variant. Na definição de uma variante, ara::core::Monostate é especificado na primeira posição para permitir um estado inicial vazio. Se a variante for subsequentemente criada por meio de seu construtor padrão, ela assumirá automaticamente esse estado vazio, sem a necessidade de instanciar tipos funcionais.

No decorrer da execução do programa, o utilizador verifica, por meio de consultas de tipo ou padrões Visitor, se a variante contém atualmente o tipo ara::core::Monostate, o que sinaliza um estado inativo ou desocupado. Assim que dados úteis estiverem disponíveis, a variante é sobrescrita com o respectivo valor funcional. A restauração para o estado desocupado ocorre por meio de uma nova atribuição de ara::core::Monostate{}. Interpretação: presume-se que existam operadores de igualdade e comparação para ara::core::Monostate, de modo que comparações entre duas instâncias resultem sempre em igualdade e a comparação relacional de variantes no estado vazio possa ser avaliada de forma determinística. Pergunta (aberta)