classe ara::core::InstanceSpecifier

A classe ara::core::InstanceSpecifier serve como wrapper com segurança de tipos em torno de um caminho shortName do AUTOSAR para a identificação inequívoca de instâncias de modelo na Adaptive Platform. A criação preferencial ocorre de forma segura contra exceções através do método de fábrica estático Create [SWS_CORE_08032], que valida um caminho e retorna um ara::core::Result. Como restrição essencial, o método ToString [SWS_CORE_08041] garante a validade do StringView fornecido apenas durante o tempo de vida da cadeia de carateres originalmente passada, uma vez que não é gerido nenhum buffer próprio. Em tempo de execução, o objeto suporta operações completas de comparação para correspondência de modelos e armazenamento ordenado em contentores.

mais ›

Contexto

A classe ara::core::InstanceSpecifier serve como representação de um AUTOSAR Instance Specifier e encapsula um caminho shortName completo de um elemento de modelo. Dentro da Adaptive Platform, atua como uma abstração com segurança de tipos sobre cadeias de carateres de caminhos do metamodelo AUTOSAR. Em vez de utilizar cadeias de carateres não formatadas, este tipo encapsula as estruturas sintáticas dos caminhos e assegura que as instâncias possam ser endereçadas de forma consistente. Como parceiros primários de interação surgem componentes de aplicação e serviços de plataforma que referenciam, comparam ou gerem instâncias de modelo de forma inequívoca em coleções. Interpretação: como a especificação descreve a classe como um wrapper leve de caminhos de modelo, deverá servir principalmente para a identificação e associação de configuração de instâncias de serviço e pontos finais de comunicação em tempo de execução. Pergunta Q-6574e1172032e6d9 (aberta)

Ciclo de vida

Para a criação, ara::core::InstanceSpecifier oferece dois caminhos com semânticas de erro e de exceção distintas: o método de fábrica estático Create [SWS_CORE_08032], bem como o construtor explícito [SWS_CORE_08021]. O método de fábrica Create recebe um ara::core::StringView, está especificado como noexcept e thread-safe, e retorna o resultado num ara::core::Result<InstanceSpecifier>. Em contrapartida, o construtor direto está declarado com noexcept(false) e lança um ara::core::CoreException em caso de estruturas de caminho inválidas, não sendo, portanto, seguro contra exceções [SWS_CORE_08021].

Relativamente ao tempo de vida e às relações de posse, existe uma propriedade determinante: o método ToString retorna uma ara::core::StringView cuja validade está explicitamente vinculada ao tempo de vida da memória subjacente ao StringView originalmente passado na construção [SWS_CORE_08041]. Por conseguinte, a classe não copia a cadeia de carateres subjacente para uma área de memória própria, mas referencia dados externos. Os programadores devem, portanto, assegurar que a cadeia de carateres de origem permaneça em memória durante todo o período de utilização do InstanceSpecifier e das StringViews dele derivadas.

Para a gestão adicional no ciclo de vida, estão disponíveis o construtor de cópia [SWS_CORE_08022], o construtor de movimento [SWS_CORE_08023], a atribuição por cópia [SWS_CORE_08024] e a atribuição por movimento [SWS_CORE_08025]. Todas as quatro operações estão declaradas como noexcept e garantem segurança contra exceções. No que respeita à concorrência, no entanto, deve ter-se em conta que apenas o construtor de cópia é classificado como thread-safe. As operações de movimento, os operadores de atribuição e o destrutor [SWS_CORE_08029] não são thread-safe e exigem sincronização externa se a mesma instância for modificada ou destruída concorrentemente.

Caminho de utilização

Um fluxo de utilização típico inclui a instanciação, a consulta da representação do caminho e a comparação com outros identificadores. Preferencialmente, chama-se a função de fábrica que não lança exceções Create [SWS_CORE_08032]. A aplicação passa o caminho de modelo qualificado como ara::core::StringView e verifica o sucesso do objeto Result resultante.

Diagrama de sequência: criação através do método de fábrica Create e posterior utilização para consulta de caminho ou tratamento de erros. Fontes: [SWS_CORE_08032], [SWS_CORE_08041]

Após a inicialização bem-sucedida, o identificador pode ser utilizado de várias formas:

• Obter a representação em cadeia de carateres: através de ToString [SWS_CORE_08041], o chamador obtém uma vista StringView sobre o caminho modelado.
• Verificação de igualdade e desigualdade: as instâncias podem ser comparadas diretamente com outras instâncias de InstanceSpecifier através de operator== [SWS_CORE_08042] e operator!= [SWS_CORE_08044]. Além disso, sobrecargas de operator== [SWS_CORE_08043] e operator!= [SWS_CORE_08045] permitem a comparação direta com uma ara::core::StringView. Ambas as verificações só produzem igualdade se for designado exatamente o mesmo elemento de modelo.
• Ordenação e armazenamento em contentores: através do operador menor que operator< [SWS_CORE_08046], as instâncias podem ser ordenadas lexicograficamente, o que permite a sua utilização como chave em contentores ordenados, tais como maps.

Cenários de erro

As condições de erro em ara::core::InstanceSpecifier estão estritamente limitadas à fase de construção. Caso ocorram falhas sintáticas ou semânticas no caminho passado, são identificados dois erros específicos:

• CoreErrc::kInvalidMetaModelShortname: é sinalizado quando faltam elementos de caminho no nome passado ou quando estes contêm carateres inadmissíveis [SWS_CORE_08032], [SWS_CORE_08021].
• CoreErrc::kInvalidMetaModelPath: ocorre quando a cadeia de carateres não forma um caminho válido para um elemento de modelo [SWS_CORE_08032], [SWS_CORE_08021].

O tipo de sinalização de erro depende do caminho de criação escolhido. Ao utilizar o método de fábrica Create [SWS_CORE_08032], o código de erro é retornado no ara::core::Result; aplica-se semântica de rollback sem exceções. Se, por outro lado, for chamado o construtor InstanceSpecifier [SWS_CORE_08021], é lançada uma ara::core::CoreException com o código de erro correspondente. Todas as operações subsequentes, como ToString [SWS_CORE_08041], atribuições e os operadores de comparação [SWS_CORE_08042], [SWS_CORE_08044], [SWS_CORE_08046], não possuem estados de erro definidos e estão declaradas como noexcept.