classe ara::diag::DiagnosticSovdArrayContentElementDataConstIterator

A classe ara::diag::DiagnosticSovdArrayContentElementDataConstIterator fornece um iterador forward somente de leitura para elementos de array no contexto de diagnóstico SOVD ([SWS_DM_02221]). Aplicações a utilizam para percorrer passo a passo estruturas de dados do tipo DiagnosticSovdContentElementData por meio de operadores de comparação, desreferenciação e incremento ([SWS_DM_02222]). Como todas as operações são especificadas como noexcept, a verificação dos limites de iteração cabe ao chamador para evitar comportamento indefinido em posições inválidas.

mais ›

Contexto

A classe ara::diag::DiagnosticSovdArrayContentElementDataConstIterator é parte integrante do módulo de Diagnostics (diag) da AUTOSAR Adaptive Platform ([SWS_DM_02221], AUTOSAR_AP_SWS_Diagnostics §8.60.2 «Class: DiagnosticSovdArrayContentElementDataConstIterator»). Ela cumpre os requisitos padrão para o Service-Oriented Vehicle Diagnostics (SOVD) e disponibiliza um iterador forward constante para campos de dados sequenciais. Sua responsabilidade central é o encapsulamento do acesso somente de leitura a elementos individuais do tipo DiagnosticSovdContentElementData ([SWS_DM_02222], [SWS_DM_02223]). Como parceiros de interação atuam aplicações de diagnóstico que avaliam conteúdos de array em conformidade com SOVD por meio do arquivo de cabeçalho ara/diag/diagnostic_sovd_content_element_data.h, sem poder modificar as estruturas de memória subjacentes.

Ciclo de vida

A especificação da classe [SWS_DM_02221] não lista construtores públicos. Portanto, a instanciação do iterador normalmente não deve ocorrer pelo software de aplicação em si, mas ser fornecida por métodos de contêiner do objeto de dados de nível superior. Pergunta Q-a2a94d90c92beb71 (aberta) Após a criação, o iterador representa uma posição fixa dentro da sequência do array.

A transição para a próxima posição ocorre por meio do operador de pré-incremento operator++, que retorna uma referência ao próprio objeto iterador incrementado ([SWS_DM_02226]). Em relação à concorrência, todas as funções-membro da classe são expressamente especificadas como thread-safe (thread-safe) ([SWS_DM_02222] a [SWS_DM_02226]). Múltiplas threads podem, portanto, ler a mesma posição ou posições distintas concorrentemente. Caso uma instância de iterador seja avançada de forma modificadora por operator++, isso exige sincronização externa em caso de uso compartilhado. O tempo de vida dos dados úteis referenciados deve estar estritamente vinculado ao tempo de vida do contêiner de dados que os fornece. Pergunta Q-743ef89528de7a75 (aberta)

Caminho de utilização

O fluxo de uso típico corresponde ao idioma clássico de C++ para iteradores constantes sobre uma coleção. No início de uma iteração, o chamador verifica a validade da posição atual por meio do operador de desigualdade operator!= ([SWS_DM_02225]) ou do operador de igualdade operator== ([SWS_DM_02224]) em comparação com o iterador final. Se o iterador estiver dentro do intervalo válido, a aplicação acessa o elemento para leitura:

• Por meio do operador de desreferenciação operator* ([SWS_DM_02222]), é retornada uma referência constante DiagnosticSovdContentElementData const&.
• Por meio do operador de seta operator-> ([SWS_DM_02223]), é fornecido um ponteiro constante DiagnosticSovdContentElementData const*, o que permite o acesso direto a métodos do elemento.

Em seguida, o chamador avança o iterador em uma posição com operator++ ([SWS_DM_02226]) e repete a verificação de posição até que o estado final seja alcançado.

Diagrama de sequência: fluxo típico da iteração passo a passo sobre elementos de array SOVD. Fontes: [SWS_DM_02222], [SWS_DM_02225], [SWS_DM_02226]

Cenários de erro

A interface não define códigos de erro especiais ou retornos de status sob a forma de ara::core::Result. Todas as operações são especificadas como exception-safe (exception safe) e dotadas do especificador noexcept ([SWS_DM_02222] a [SWS_DM_02226]). Nenhuma exceção C++ é lançada durante a operação contínua.

Como pré-condição essencial para chamadas de operator* e operator->, o iterador deve ser passível de desreferenciação. A desreferenciação de um iterador inválido ou do iterador final provavelmente leva a comportamento indefinido devido à ausência de mecanismos de tratamento de erro. Da mesma forma, cabe ao chamador assegurar que dois iteradores comparados provenham da mesma sequência. Pergunta Q-9144a319e654f27a (aberta)