classe ara::core::StringView

usar

A função-membro at da classe ara::core::StringView disponibiliza um acesso de leitura síncrono a carateres individuais ([SWS_CORE_02133]). Aceita como parâmetro o índice pos do tipo size_type e devolve uma referência constante (const_reference) para o carátier nessa posição. A função está especificada como constexpr e noexcept, permitindo que as chamadas também sejam avaliadas em tempo de compilação.

Tratamento de erros

Contrariamente ao comportamento na norma [string.view], a função não lança qualquer exceção do tipo std::out_of_range em caso de erro ([SWS_CORE_02133]). Quando a condição pos >= size() é cumprida, é acionada, em alternativa, uma IsoStdOutOfRangeViolation. A especificação classifica a função como segura quanto a exceções (exception safe).

Simultaneidade e restrições

Dado que at está declarada como const, a chamada não modifica a instância subjacente. O chamador tem de assegurar que a cadeia de carateres referenciada permanece válida durante todo o tempo de vida do objeto StringView. Na ocorrência da violação de limites IsoStdOutOfRangeViolation, a execução deverá ser abortada de forma controlada; rotinas de interrupção definidas pelo utilizador podem ser registadas para o efeito através de AddAbortHandler ([SWS_CORE_00054]) (Interpretação). Pergunta Q-0836f4dc6fa946a6 (aberta)

Interação

O conceito de intercetar excedências de limites através de IsoStdOutOfRangeViolation é aplicado de forma consistente em vários contentores em ara::core:

• Em ara::core::Array ([SWS_CORE_01273], [SWS_CORE_01274]) e ara::core::Map ([SWS_CORE_01456], [SWS_CORE_01457]), at também está declarado como noexcept e seguro contra exceções.
• Em contrapartida, as funções at correspondentes em ara::core::Vector ([SWS_CORE_01354], [SWS_CORE_01355]) e em ara::core::BasicString ([SWS_CORE_03063], [SWS_CORE_03064]) estão classificadas como não seguras contra exceções (not exception safe) e não estão marcadas como noexcept.

usar

A função-membro compare da classe ara::core::StringView do cabeçalho #include "ara/core/string_view.h" serve para a comparação lexicográfica síncrona da visualização de cadeia de caracteres atual com uma instância s passada do tipo StringView [SWS_CORE_02142]. O comportamento segue o uso correspondente em [string.view] do padrão C++ [SWS_CORE_02142]. Como valor de retorno, a função fornece um int, que mapeia a relação relacional das sequências de caracteres [SWS_CORE_02142].

Tratamento de erros

A função é declarada com noexcept e especificada como exception safe [SWS_CORE_02142]. Ela não dispara exceções C++. Códigos de erro específicos, erros de desenvolvimento AUTOSAR (DET) ou notificações ao Diagnostic Event Manager (DEM) não estão previstos para esta operação [SWS_CORE_02142].

Simultaneidade e condições marginais

Devido à classificação como const bem como constexpr, a chamada já pode ser avaliada em tempo de compilação [SWS_CORE_02142]. Interpretação: como a função acessa sequências de caracteres imutáveis apenas para leitura, uma chamada concorrente por meio do mesmo StringView a partir de múltiplas threads deve ser segura para threads, desde que os dados de caracteres subjacentes não sejam modificados. Pergunta Q-7489abeeb3fd7124 (aberta)

Interação

Enquanto tipos básicos em ara::core como ErrorDomain [SWS_CORE_00137] ou ErrorCode [SWS_CORE_00571] disponibilizam prioritariamente operadores binários de igualdade para verificações, compare em StringView oferece um valor de comparação trivalente [SWS_CORE_02142].

usar

A função-membro compare da classe ara::core::StringView realiza uma comparação lexicográfica síncrona de uma parte da visualização de cadeia de caracteres atual com uma StringView s passada [SWS_CORE_02143]. A substring a ser comparada inicia no índice pos1 e abrange um comprimento máximo de n1 caracteres. O valor de retorno é um int inteiro, que indica o resultado relacional. Como a função está declarada como constexpr, a avaliação já pode ocorrer em tempo de compilação [SWS_CORE_02143].

Tratamento de erros

A semântica orienta-se pelas diretrizes de [string.view] do padrão ISO-C++, definindo, contudo, dois desvios essenciais [SWS_CORE_02143]:

• A função é especificada com noexcept e considerada segura para exceções (exception safe) [SWS_CORE_02143].
• Se o índice inicial exceder o comprimento da visualização (pos1 > size()), não é disparada uma exceção padrão do tipo std::out_of_range, mas sim provocada uma IsoStdOutOfRangeViolation [SWS_CORE_02143].

Simultaneidade e condições marginais

Os chamadores devem assegurar previamente que pos1 não exceda o valor de size(), a fim de evitar uma IsoStdOutOfRangeViolation [SWS_CORE_02143]. Como compare está declarada como const e não realiza modificações na instância, o acesso concorrente de leitura a partir de múltiplas threads não deve ser crítico (interpretação). Pergunta Q-be4ec80ab2529ed3 (aberta)

A função-membro compare da classe ara::core::StringView ([SWS_CORE_02144], arquivo de cabeçalho #include "ara/core/string_view.h") serve para a comparação síncrona e lexicográfica de duas subcadeias de caracteres. O comportamento básico corresponde ao funcionamento em [string.view] do padrão ISO-C++, apresentando, contudo, desvios específicos para o AUTOSAR Adaptive [SWS_CORE_02144].

Os parâmetros passados determinam os recortes a serem comparados de ambas as sequências [SWS_CORE_02144]:

• pos1 e n1: índice inicial e número máximo de caracteres dentro da instância chamadora.
• s: o objeto a ser comparado do tipo StringView.
• pos2 e n2: índice inicial e número máximo de caracteres dentro do objeto passado s.

Como valor de retorno, a função fornece um valor inteiro (int), que é negativo se a própria subsequência for lexicograficamente menor, zero em caso de correspondência e positivo se for maior [SWS_CORE_02144].

Em relação ao tratamento de erros, a implementação difere do padrão: o método é declarado como noexcept e considerado seguro para exceções (exception safe) [SWS_CORE_02144]. Caso uma das posições iniciais esteja fora da faixa válida (pos1 > size() || pos2 > s.size()), nenhuma exceção std::out_of_range é lançada, sendo disparada uma IsoStdOutOfRangeViolation [SWS_CORE_02144].

Por meio dos qualificadores constexpr e const, a função já pode ser avaliada durante a compilação [SWS_CORE_02144]. Como nenhum estado interno é modificado, acessos de leitura concorrentes à mesma instância devem ser seguros para threads. Pergunta Q-a93f872ee88becc9 (aberta)

A função-membro compare da classe ara::core::StringView (arquivo de cabeçalho #include "ara/core/string_view.h") serve para a comparação lexicográfica e síncrona da visualização de cadeia de caracteres atual com uma cadeia de caracteres C terminada em nulo const char* s [SWS_CORE_02145]. Como a operação é especificada como constexpr, a avaliação pode ocorrer tanto em tempo de execução quanto no âmbito de expressões em tempo de compilação. Como valor de retorno, a função fornece um valor inteiro do tipo int, cujo sinal reflete o resultado da comparação de forma análoga a [string.view]: um valor menor que zero significa que a instância precede lexicograficamente s; o valor zero significa igualdade; um valor maior que zero indica que a instância sucede s [SWS_CORE_02145].

Em relação ao tratamento de erros, a especificação AUTOSAR diverge explicitamente do modelo em [string.view]: o método está declarado como noexcept e possui a propriedade exception safe [SWS_CORE_02145]. As chamadas, portanto, têm a garantia de não lançar exceções C++. Códigos de erro específicos, retornos para o Development Error Tracer (DET) ou para o Diagnostic Event Manager (DEM) não estão previstos para esta função básica.

Como método qualificado como const, compare não modifica o estado da instância de ara::core::StringView e pode ser chamado de forma concorrente em leitura com segurança. Na utilização, deve-se observar que o ponteiro s provavelmente deve apontar para uma sequência de caracteres válida, uma vez que a semântica adotada de [string.view] provavelmente causará comportamento indefinido caso seja passado um ponteiro nulo [SWS_CORE_02145]. Pergunta Q-cff1a1f55603dbd4 (aberta)

usar

O método compare da classe ara::core::StringView possibilita uma comparação lexicográfica síncrona de uma parte da visualização de cadeia de caracteres com uma cadeia de caracteres C terminada em nulo s [SWS_CORE_02146]. São passados o índice inicial pos1, o comprimento máximo n1 bem como o ponteiro s para a sequência de caracteres a ser comparada. O valor de retorno do tipo int reflete o resultado da ordenação relacional de forma análoga à biblioteca padrão: um valor de retorno menor que zero, igual a zero ou maior que zero caracteriza a relação lexicográfica [SWS_CORE_02146].

Tratamento de erros e condições de contorno

A operação é especificada como noexcept e “exception safe” [SWS_CORE_02146]. Diferentemente do comportamento segundo o padrão C++ [string.view], um índice inicial inválido com pos1 > size() não dispara uma exceção std::out_of_range, mas leva a uma IsoStdOutOfRangeViolation [SWS_CORE_02146]. Essa violação deve ser considerada um erro de programação no contexto de tempo de execução do AUTOSAR e forçar um encerramento direto da plataforma, já que exceções C++ regulares não podem escapar além dos limites de noexcept. Pergunta Q-d4ce6b496b80fdde (aberta) Deve-se também assegurar que s aponte para uma cadeia de caracteres válida, uma vez que um ponteiro nulo presumivelmente provoca comportamento indefinido.

simultaneidade

Como compare está definido como const e constexpr, o estado da instância permanece inalterado [SWS_CORE_02146]. Acessos concorrentes de leitura ao mesmo objeto ara::core::StringView são, portanto, executáveis com segurança.

usar

A função-membro compare da classe ara::core::StringView do cabeçalho ara/core/string_view.h realiza uma comparação lexicográfica síncrona [SWS_CORE_02147]. Nessa operação, uma subsequência da instância atual, iniciando a partir do índice pos1 com no máximo n1 caracteres, é comparada com os primeiros n2 caracteres do array de caracteres C externo s. O valor de retorno inteiro (int) segue a semântica de [string.view] e sinaliza por meio de seu sinal se a própria parte é lexicograficamente menor, igual ou maior que a sequência de referência. Como método constexpr e const, ela não modifica o objeto e já pode ser avaliada em tempo de compilação [SWS_CORE_02147].

Tratamento de erros e condições de contorno

No que diz respeito ao tratamento de erros e à segurança de exceções, o AUTOSAR define dois desvios vinculativos do padrão [SWS_CORE_02147]:

• A função-membro é especificada como noexcept e totalmente classificada como exception safe [SWS_CORE_02147].
• Se a posição inicial exceder o comprimento da instância (pos1 > size()), não é lançada uma exceção std::out_of_range, mas sim disparada uma IsoStdOutOfRangeViolation [SWS_CORE_02147].

Interpretação: devido à combinação da garantia noexcept com IsoStdOutOfRangeViolation, uma extrapolação de intervalo não deve ser capturável por meio de blocos try-catch C++ clássicos, mas leva presumivelmente a um encerramento imediato ou a um tratamento de erro pela plataforma. Pergunta Q-67fb8eda4c594a06 (aberta)

Utilização e contexto de chamada

A função-membro contains da classe ara::core::StringView serve para a verificação síncrona se uma visualização de caracteres contém uma subsequência de caracteres pré-definida [SWS_CORE_02154]. A função é definida no cabeçalho ara/core/string_view.h de acordo com a semântica do esboço de trabalho do padrão C++ N4950 ([string.view]) [SWS_CORE_02154]. Como parâmetro, o método recebe por valor outra instância de StringView (sv) e retorna diretamente um valor booleano do tipo bool: true se a subsequência ocorrer, caso contrário false [SWS_CORE_02154].

Por meio da especificação como constexpr, a chamada pode ocorrer tanto em tempo de execução quanto já durante a compilação no âmbito de contextos de compile time [SWS_CORE_02154].

Tratamento de erros e segurança contra exceções

Para contains, o comportamento é fixado como exception safe e a assinatura explicitamente assinalada com noexcept [SWS_CORE_02154]. A função consequentemente não lança exceções C++ sob nenhuma circunstância e não retorna erros por meio de ara::core::Result ou ara::core::ErrorCode. Não existem mensagens de erro de DET nem de DEM para esta função básica.

Simultaneidade e restrições

Como função-membro constante (const), contains não modifica o estado da instância StringView [SWS_CORE_02154]. Interpretação: chamadas paralelas puramente de leitura na mesma instância StringView ou no buffer de caracteres subjacente devem ser irrestritamente reentrantes e concorrentemente seguras, desde que a área de memória referenciada não seja alterada simultaneamente por nenhuma thread. Pergunta Q-80f1a9989a098913 (aberta) Não existem condições de ordem especiais ou obrigações de inicialização além da disponibilização de um StringView válido.

A função-membro contains verifica de forma síncrona se um determinado caractere c está contido dentro de uma ara::core::StringView [SWS_CORE_02155]. A função está declarada no cabeçalho ara/core/string_view.h e segue a semântica de [string.view] do rascunho de padrão C++ N4950 [SWS_CORE_02155]. Ela recebe um único caractere do tipo char e retorna um valor booleano do tipo bool, que provavelmente resulta em true se, e somente se, o caractere for encontrado na região de texto referenciada [SWS_CORE_02155]. Pergunta Q-3293fccace7af3ab (aberta)

Quanto ao tratamento de erros, a operação está declarada como noexcept e especificada como segura contra exceções (exception safe) [SWS_CORE_02155]. Nenhuma exception é lançada e nenhum código de erro é sinalizado via DET, DEM ou tipos de retorno; a inexistência do caractere é reportada regularmente através do valor de retorno booleano.

Como a função está designada como constexpr bem como const, ela já pode ser avaliada em tempo de compilação [SWS_CORE_02155]. As chamadas não modificam o objeto ara::core::StringView subjacente, razão pela qual acessos paralelos de leitura na mesma instância provavelmente devem ser concorrentemente seguros. Pergunta Q-298dbc4d080853bc (aberta)

Na interação dos tipos base do módulo core, contains serve para a inspeção direta de texto em visualizações de cadeias de caracteres [SWS_CORE_02155]. Enquanto tipos como ara::core::Result oferecem mecanismos de verificação próprios para valores ou erros contidos – como HasValue [SWS_CORE_00751] ou CheckError [SWS_CORE_00765] –, contains opera de forma leve, sem alocação ou encapsulamento de erros.

A função-membro contains da classe ara::core::StringView verifica de forma síncrona se a cadeia de caracteres referenciada contém a sequência de caracteres str passada como parâmetro [SWS_CORE_02156]. A função é disponibilizada por meio do arquivo de cabeçalho ara/core/string_view.h e fornece o resultado da verificação como valor de retorno do tipo bool [SWS_CORE_02156]. Graças à declaração como constexpr, a chamada pode ser executada tanto em tempo de execução quanto no escopo de expressões em tempo de compilação [SWS_CORE_02156].

A semântica funcional segue a definição de [string.view] no Working Draft do padrão C++ N4950, apresentando, no entanto, um desvio vinculativo: a função é declarada no AUTOSAR Adaptive com o identificador noexcept [SWS_CORE_02156]. Correspondentemente, a operação é especificada como segura para exceções (exception safe), garantindo que nenhuma exceção C++ seja disparada durante a execução [SWS_CORE_02156]. Códigos de erro específicos do AUTOSAR ou mensagens para registradores de erros de desenvolvimento ou de diagnóstico não estão definidos para esta função [SWS_CORE_02156].

Como função-membro constante (const), contains não modifica a instância chamadora [SWS_CORE_02156]. Interpretação: para o parâmetro str, deve-se pressupor a passagem de uma cadeia de caracteres válida terminada em nulo, uma vez que a interface utiliza const char *str e não prevê verificação de comprimento ou de erro em separado [SWS_CORE_02156]. Pergunta Q-a2d7cd456a72a792 (aberta)

usar

A função-membro síncrona copy da classe ara::core::StringView ([SWS_CORE_02140]) copia uma substring para um buffer fornecido. O acesso ocorre por meio do arquivo de cabeçalho #include "ara/core/string_view.h":

• Parâmetros: char *s faz referência ao array de destino, n determina o número máximo de caracteres a serem copiados e pos define a posição inicial (valor padrão 0).
• Valor de retorno: Um valor do tipo size_type, que indica o número de caracteres efetivamente copiados.
• Semântica: A função opera de forma síncrona e orienta-se pela especificação ISO-C++ [string.view] ([SWS_CORE_02140]).

Tratamento de erros

Em caso de erro, quando pos > size() se aplica, é disparada uma IsoStdOutOfRangeViolation ([SWS_CORE_02140]). Isso difere do padrão [string.view], que lança std::out_of_range. Como a interface é declarada como noexcept, o disparo da violação provavelmente levará ao encerramento direto do processo (interpretação: nenhuma exceção C++ é propagada). Pergunta Q-4ddbe4dfb002c41f (aberta)

Simultaneidade e restrições

A operação é especificada como const e noexcept, sendo considerada exception safe ([SWS_CORE_02140]). O chamador deve assegurar que o array de destino s forneça memória suficiente para pelo menos min(n, size() - pos) caracteres, já que erros de intervalo do buffer de destino não são interceptados.

Interação

Em comparação com ara::core::BasicString::copy ([SWS_CORE_03410]), que opera com value_type e é classificada como not exception safe, a variante em StringView oferece uma garantia noexcept segura contra exceções ([SWS_CORE_02140]).

A função-membro crbegin da classe ara::core::StringView retorna sincronamente um reverse iterator constante (const_reverse_iterator) para o primeiro caractere da visualização de caracteres invertida [SWS_CORE_02126]. A função não recebe parâmetros, é declarada por meio do arquivo de cabeçalho ara/core/string_view.h e segue a semântica padrão de [string.view] [SWS_CORE_02126].

Em relação ao tratamento de erros, a operação é definida como noexcept e especificada como segura contra exceções (exception safe) [SWS_CORE_02126]. Não são retornados códigos de erro nem emitidas mensagens de erro via DET ou DEM, pois a chamada ocorre garantidamente livre de erros [SWS_CORE_02126].

Graças à especificação como constexpr e const, a função também pode ser chamada no âmbito de expressões constantes em tempo de compilação [SWS_CORE_02126]. Interpretação: Chamadas paralelas de crbegin na mesma instância deverão ser concorrentemente thread-safe, uma vez que a operação não realiza nenhuma modificação no objeto. Pergunta Q-ce8bc6d0753d1aa8 (aberta)

A interface integra-se perfeitamente ao conceito de iteradores entre contêineres do AUTOSAR Adaptive Core. Implementações constexpr equivalentes de crbegin encontram-se em ara::core::Array [SWS_CORE_01260] bem como em ara::core::Span [SWS_CORE_01978]. Além disso, contêineres como ara::core::Vector [SWS_CORE_01342], ara::core::Map [SWS_CORE_01450] e ara::core::BasicString [SWS_CORE_03049] também disponibilizam pontos de entrada const_reverse_iterator correspondentes não constexpr.

A função-membro crend da classe ara::core::StringView retorna um iterador reverso constante ([SWS_CORE_02127]). A chamada ocorre de forma síncrona e sem parâmetros em uma instância existente a partir do cabeçalho ara/core/string_view.h. O const_reverse_iterator retornado marca o final lógico de uma iteração invertida; conforme a referência C++ [string.view], ele aponta, como posição sentinela, para o elemento teórico imediatamente anterior ao primeiro caractere da string (Interpretação: de forma análoga ao padrão C++). Pergunta Q-5fd666f8d3eaf308 (aberta)

Tratamento de erros e simultaneidade

A função é declarada como noexcept e especificada como segura contra exceções («exception safe») ([SWS_CORE_02127]). Não são disparadas exceções, não são retornados códigos de erro nem emitidas mensagens DET/DEM. Devido à qualificação constexpr, o iterador já pode ser gerado em tempo de compilação. Como método puramente const sem efeitos de estado, chamadas de leitura simultâneas na mesma instância deverão ser concorrentemente seguras (Interpretação). Pergunta Q-207e2b9561f61d27 (aberta)

Interação

A interface segue o conceito uniforme de iteração de ara::core para estruturas de dados sequenciais. Especificações correlatas definem interfaces crend análogas:

• ara::core::Array ([SWS_CORE_01261]) e ara::core::Span ([SWS_CORE_01979]), também especificadas como constexpr,
• ara::core::Vector ([SWS_CORE_01343]), ara::core::Map ([SWS_CORE_01451]) e ara::core::BasicString ([SWS_CORE_03050]).

usar

A função-membro ara::core::StringView::ends_with verifica de forma síncrona se a sequência de caracteres examinada termina com a subsequência passada sv [SWS_CORE_02151]. Ela é declarada no arquivo de cabeçalho ara/core/string_view.h e segue a semântica padronizada do C++ de acordo com [string.view] da ISO/IEC 14882:2020 [SWS_CORE_02151]. Graças à marcação como constexpr, a comparação já pode ser avaliada em tempo de compilação. Como se trata de um método const, o objeto chamador não é modificado.

Tratamento de erros e simultaneidade

A especificação atribui a ends_with a propriedade exception safe e a declara como noexcept [SWS_CORE_02151]. A função, portanto, não lança exceções e não reporta falhas através de canais de erro do AUTOSAR, como DET ou DEM, nem por códigos de erro específicos. Como pura operação de leitura em uma visualização imutável de cadeia de caracteres, a função deve ser reentrante e segura em acessos de leitura concorrentes à mesma instância sem mecanismos de sincronização. Pergunta Q-821d4d0f216694ef (aberta)

Interação

O método é parte da classe ara::core::StringView e é complementado por sobrecargas relacionadas: além da avaliação em relação a outro objeto StringView, estão disponíveis variantes para verificação contra um único caractere char [SWS_CORE_02152] bem como contra uma C-string terminada em nulo const char* [SWS_CORE_02153], que também são seguras contra exceções e utilizáveis em tempo de compilação.

usar

A função-membro ends_with da classe ara::core::StringView verifica de forma síncrona se a cadeia de caracteres referenciada termina com o caractere especificado c ([SWS_CORE_02152]). Ela é declarada por meio do cabeçalho ara/core/string_view.h e segue o funcionamento padronizado de [string.view] conforme a ISO/IEC 14882:2020 ([SWS_CORE_02152]). Graças à designação como constexpr, a avaliação pode ser realizada tanto em tempo de execução quanto previamente no âmbito da compilação ([SWS_CORE_02152]).

Tratamento de erros e comportamento em tempo de execução

A interface garante segurança total contra exceções (“exception safe”) e é provida do especificador noexcept ([SWS_CORE_02152]). Consequentemente, ela nunca lança exceções e não utiliza mensagens de erro via DET ou DEM. No caso de uma cadeia de caracteres vazia, a verificação sempre retorna o resultado booleano false.

Concorrência e interação

Como ends_with é definida como uma operação puramente const sem efeitos de estado, um acesso simultâneo de leitura a partir de múltiplas threads à mesma instância deve ser seguro (interpretação). Pergunta Q-b3a5dccbd8ff638a (aberta) Além do caractere individual, ara::core::StringView oferece duas outras sobrecargas para verificações de terminação: a comparação com outra StringView ([SWS_CORE_02151]) e a verificação contra uma C-string terminada em nulo do tipo const char* ([SWS_CORE_02153]). Ambas as variantes também são executadas de forma síncrona, constexpr e noexcept ([SWS_CORE_02151], [SWS_CORE_02153]).

A função-membro ends_with da classe ara::core::StringView verifica de forma síncrona se a sequência de caracteres considerada termina com uma determinada cadeia de caracteres [SWS_CORE_02153]. A função aceita um ponteiro const char* str como parâmetro e fornece um valor de retorno do tipo bool [SWS_CORE_02153]. Graças à declaração como constexpr, a avaliação pode ocorrer tanto em tempo de execução quanto já em tempo de compilação [SWS_CORE_02153]. A semântica funcional segue a definição da seção [string.view] do padrão ISO/IEC 14882:2020 [SWS_CORE_02153].

Em relação ao tratamento de erros, a função é declarada como noexcept e classificada como com segurança contra exceções (exception safe), razão pela qual nenhuma exceção do C++ é gerada [SWS_CORE_02153]. Códigos de erro específicos do AUTOSAR ou mensagens de erro para o DET ou DEM não estão previstos para esta função auxiliar.

Interpretação: na chamada, o parâmetro str deve apontar para uma cadeia de caracteres válida e terminada em nulo, uma vez que nenhum parâmetro de comprimento adicional é passado [SWS_CORE_02153]. Pergunta Q-d6d076a1a2ab7dce (aberta) Como o método é qualificado como const e não modifica nenhum estado interno, o acesso de leitura simultâneo à mesma instância é seguro.

A função está disponível através do arquivo de cabeçalho #include "ara/core/string_view.h" no escopo de ara::core::StringView [SWS_CORE_02153]. Ela complementa sobrecargas relacionadas de ends_with, que recebem um objeto StringView [SWS_CORE_02151] ou um único caractere char [SWS_CORE_02152] em vez de uma C-string.

A função-membro find da classe ara::core::StringView procura de forma síncrona pela primeira ocorrência da substring s passada a partir da posição inicial pos de acordo com o comportamento em [string.view] [SWS_CORE_02157]. A função é definida como constexpr e const, permitindo que ela também possa ser chamada em tempo de compilação e em instâncias imutáveis [SWS_CORE_02157].

No que tange ao tratamento de erros, o método é declarado como noexcept e classificado como seguro contra exceções (exception safe) [SWS_CORE_02157]; códigos de erro específicos bem como mensagens DET ou DEM não estão previstos. Como a execução não altera o estado do objeto, o acesso de leitura simultâneo de múltiplos fluxos de execução à mesma instância de StringView provavelmente é permitido sem sincronização adicional. Pergunta Q-e27507133b5a4e20 (aberta)

Dentro de ara::core::StringView, esta função é complementada por outras sobrecargas de busca para caracteres individuais do tipo char [SWS_CORE_02158] bem como strings C [SWS_CORE_02159], [SWS_CORE_02160]. Na interação com outros contêineres, ara::core::BasicString fornece uma função de busca comparável para StringView [SWS_CORE_03315], enquanto a função find em ara::core::Map serve para a busca por chaves e retorna iteradores [SWS_CORE_01490].

Utilização e parâmetros

A função-membro síncrona find da classe ara::core::StringView procura a primeira ocorrência do caractere c a partir da posição de índice pos ([SWS_CORE_02158]). Ela é incluída por meio do arquivo de cabeçalho #include "ara/core/string_view.h" e fornece como valor de retorno o índice da ocorrência do tipo size_type. Se o caractere não for encontrado, o valor npos deverá ser retornado de acordo com a referência a [string.view]. Pergunta Q-60ea50d6f006004f (aberta)

Tratamento de erros e simultaneidade

A função é declarada com noexcept e especificada como segura contra exceções (exception safe) ([SWS_CORE_02158]). Pela identificação como constexpr e const, ela é adequada para expressões constantes em tempo de compilação e não modifica o objeto subjacente. Acessos de leitura concorrentes à mesma instância são presumivelmente reentrantes e thread-safe, desde que a cadeia de caracteres referenciada permaneça inalterada na memória. Pergunta (aberta)

Interação e alternativas

O método complementa outras sobrecargas de find em ara::core::StringView que procuram por substrings ([SWS_CORE_02157]) ou sequências de ponteiros ([SWS_CORE_02159], [SWS_CORE_02160]). Diferentemente da busca baseada em caracteres em ara::core::BasicString ([SWS_CORE_03324]), que é classificada como not exception safe, esta variante garante total isenção de exceções. Ela também se distingue da busca baseada em chave em ara::core::Map ([SWS_CORE_01490]).

usar

A função-membro find da classe ara::core::StringView ([SWS_CORE_02159]) destina-se à pesquisa síncrona de uma sequência de carateres dentro da vista de string. É disponibilizada através do ficheiro de cabeçalho ara/core/string_view.h. A função aceita um ponteiro s para um array de carateres, uma posição inicial pos do tipo size_type bem como a contagem de carateres a pesquisar n, e retorna a posição encontrada como size_type. Interpretação: de acordo com a semântica referenciada de [string.view], s deverá apontar para um campo com pelo menos n carateres e, em caso de pesquisa mal-sucedida, deverá ser retornado o valor npos. Pergunta Q-e7f54bb1b42a99d8 (aberta)

Tratamento de erros e simultaneidade

O método é declarado como noexcept e especificado como exception safe ([SWS_CORE_02159]). Os estados de erro não são, portanto, sinalizados através de exceções C++. Como a função é definida como const e constexpr, não modifica a instância e é adequada para avaliações em tempo de compilação, bem como para acessos concorrentes de leitura.

Interação

Dentro de ara::core::StringView, a função complementa outras sobrecargas de pesquisa:

• Pesquisa por uma StringView ([SWS_CORE_02157]) ou por um único caráter ([SWS_CORE_02158]),
• Pesquisa com base numa string C terminada em nulo ([SWS_CORE_02160]), na qual não é especificado nenhum comprimento explícito n.

Em comparação com a assinatura correspondente em ara::core::BasicString ([SWS_CORE_03409]), que é declarada como not exception safe e não garante noexcept, a variante em StringView ([SWS_CORE_02159]) oferece estrita segurança contra exceções sem overhead de alocação.

usar

A função-membro síncrona find da classe ara::core::StringView ([SWS_CORE_02160]) do cabeçalho #include "ara/core/string_view.h" pesquisa a primeira ocorrência da cadeia de carateres C especificada s a partir da posição inicial pos. O comportamento funcional orienta-se pela norma C++ [string.view], divergindo contudo pela identificação explícita como noexcept ([SWS_CORE_02160]).

Tratamento de erros

A função é definida como exception safe e garante a ausência de quaisquer exceções ([SWS_CORE_02160]). Não existem códigos de erro específicos nem mensagens ao DET ou DEM. Interpretação: caso a cadeia de carateres procurada não esteja contida, a falha da pesquisa deverá ser indicada pelo valor de retorno npos, de forma análoga ao comportamento padrão de [string.view]. Pergunta Q-febde79f1c992c2a (aberta)

Simultaneidade e condições marginais

Como find é declarada como constexpr e const ([SWS_CORE_02160]), a chamada não modifica o estado do objeto StringView e pode ser avaliada logo em tempo de compilação. Interpretação: acessos de leitura concorrentes através de múltiplas threads deverão ser reentrantes e seguros para concorrência sem medidas de sincronização adicionais. Pergunta (aberta)

Interação

Dentro de ara::core::StringView existem outras sobrecargas de find para parâmetros StringView ([SWS_CORE_02157]), carateres individuais ([SWS_CORE_02158]) bem como subcadeias de carateres com limitação explícita de comprimento n ([SWS_CORE_02159]). Ao contrário das operações análogas de pesquisa de strings C em ara::core::BasicString ([SWS_CORE_03408], [SWS_CORE_03409]), que estão classificadas como not exception safe, a implementação em ara::core::StringView assegura total segurança contra exceções ([SWS_CORE_02160]).

usar

A função-membro find_first_not_of da classe ara::core::StringView ([SWS_CORE_02173]) destina-se à busca síncrona pelo primeiro caractere dentro da visualização de cadeia de caracteres que não esteja contido no StringView s fornecido. Como segundo parâmetro, pode ser especificada opcionalmente a posição inicial pos (valor padrão pos=0). A função retorna a posição de índice encontrada como size_type. O comportamento orienta-se pela semântica correspondente em [string.view]. Interpretação: Se nenhum caractere divergente for encontrado, a função deverá retornar o valor npos de acordo com essa semântica padrão. Pergunta Q-8f55419868615e5a (aberta)

Tratamento de erros e simultaneidade

A função é declarada como noexcept e especificada como segura contra exceções (“exception safe”) ([SWS_CORE_02173]). Nenhuma exceção é lançada e não há mensagens de erro específicas definidas via DET ou DEM. Por meio dos qualificadores const e constexpr, a chamada pode ocorrer livre de efeitos colaterais em tempo de compilação ou em paralelo sobre objetos inalterados.

Interação e sobrecargas

Dentro de ara::core::StringView, a função é complementada por outras sobrecargas de noexcept:

• Busca por caracteres diferentes de um único caractere char c ([SWS_CORE_02174]).
• Busca com base em uma string C const char *s com restrição de comprimento n ([SWS_CORE_02175]) ou a partir da posição inicial ([SWS_CORE_02176]).

Existe um padrão de busca semelhante para ara::core::BasicString, entre outros com StringView ([SWS_CORE_03319]) e BasicString ([SWS_CORE_03337]). Ao contrário de StringView, as sobrecargas locais para ponteiros e caracteres ([SWS_CORE_03338], [SWS_CORE_03339], [SWS_CORE_03340]) são classificadas como não seguras contra exceções.

A função-membro find_first_not_of da classe ara::core::StringView determina de forma síncrona a posição do primeiro caractere dentro da sequência de caracteres que é diferente do caractere passado c [SWS_CORE_02174]. A busca começa por padrão no início da view ou a partir do deslocamento opcional pos. Devido à referência ao padrão [string.view], a função provavelmente retorna o índice de base zero do tipo size_type do caractere encontrado ou o valor npos, caso não exista caractere diferente. Pergunta Q-9f3eeedf35e475e7 (aberta)

Em relação ao tratamento de erros, a função é declarada como noexcept e especificada como com segurança contra exceções (exception safe) [SWS_CORE_02174]. Ela, portanto, não lança exceções, não utiliza mensagens DET ou DEM e relata a não localização de um caractere unicamente através de seu valor de retorno.

Como método constexpr e const, find_first_not_of já pode ser avaliado em tempo de compilação e garante um acesso de leitura sem estado e livre de efeitos colaterais ao array de caracteres subjacente. Chamadas concorrentes na mesma instância de StringView são, portanto, reentrantes e seguras sem sincronização adicional.

A função faz parte de uma família de operações de busca em ara::core::StringView e complementa as sobrecargas para a busca de subsequências divergentes usando StringView [SWS_CORE_02173] bem como pares de ponteiro-comprimento ou C-strings terminadas em nulo [SWS_CORE_02175] [SWS_CORE_02176]. Um equivalente funcional para cadeias de caracteres mutáveis existe em ara::core::BasicString [SWS_CORE_03340], o qual, ao contrário de StringView, é declarado como não seguro contra exceções.

A função-membro find_first_not_of da classe ara::core::StringView serve, de acordo com [SWS_CORE_02175], para a localização síncrona do primeiro caractere dentro da cadeia de caracteres que não ocorre em uma sequência de caracteres predefinida. O comportamento corresponde essencialmente ao uso em [string.view], com o desvio documentado de que a função é declarada como noexcept [SWS_CORE_02175]. Interpretação: através da referência a [string.view], os parâmetros s, pos e n devem limitar a busca a partir da posição pos aos primeiros n caracteres do array s [SWS_CORE_02175]. Pergunta Q-745f5bc9246c11a2 (aberta)

Utilização e tratamento de erros

A função é definida como constexpr e const, é disponibilizada através do arquivo de cabeçalho #include "ara/core/string_view.h" e retorna um índice do tipo size_type [SWS_CORE_02175]. A especificação classifica o método como exception safe [SWS_CORE_02175]. Como é especificada como noexcept, ela não lança exceções; códigos de erro ou mensagens para o DET ou DEM não estão definidos [SWS_CORE_02175].

Interação e alternativas

Em ara::core::StringView, sobrecargas relacionadas estão disponíveis para padrões de busca divergentes:

• Busca através de outra visualização de cadeia de caracteres StringView de acordo com [SWS_CORE_02173],
• Busca pela primeira divergência de um único caractere c de acordo com [SWS_CORE_02174] e
• Busca com base em um ponteiro terminado em nulo const char *s sem indicação explícita de comprimento de acordo com [SWS_CORE_02176].

Em contraste com a assinatura estruturalmente semelhante em ara::core::BasicString [SWS_CORE_03338], classificada como not exception safe e que não possui noexcept, a variante em StringView oferece total segurança contra exceções [SWS_CORE_02175].

A função-membro find_first_not_of da classe ara::core::StringView ([SWS_CORE_02176]) do cabeçalho ara/core/string_view.h busca de forma síncrona, a partir da posição inicial pos, pelo primeiro caractere que não ocorre na cadeia de caracteres s. O comportamento corresponde à definição em [string.view], mas difere pela identificação explícita como noexcept ([SWS_CORE_02176]). Interpretação: a partir da referência ao padrão [string.view], deve decorrer que s precisa apontar para um array de caracteres válido e terminado em nulo e, em caso de falha, npos é retornado. Pergunta Q-aa48a331975274a1 (aberta)

Em relação ao tratamento de erros, a função é especificada como com segurança contra exceções (exception safe) ([SWS_CORE_02176]). Nenhuma exceção é lançada; mensagens de erro de tempo de execução através de mecanismos AUTOSAR, como DET ou DEM, não estão definidas no payload para esta função.

Devido à qualificação como constexpr e const ([SWS_CORE_02176]), a operação de busca não modifica o estado do objeto StringView. Ela é reentrante e pode ser executada em quaisquer threads, bem como já em tempo de compilação em expressões constantes.

Na interação com interfaces relacionadas, a função complementa outras sobrecargas dentro de ara::core::StringView, nomeadamente para a busca com um StringView ([SWS_CORE_02173]), um caractere individual char ([SWS_CORE_02174]) ou um buffer com restrição de comprimento n ([SWS_CORE_02175]). Em contraste com as sobrecargas baseadas em ponteiro em ara::core::BasicString ([SWS_CORE_03338], [SWS_CORE_03339]), classificadas como not exception safe, esta variante em StringView garante total segurança contra exceções.

A função-membro find_first_of da classe ara::core::StringView ([SWS_CORE_02165]) pesquisa uma sequência de caracteres sincronamente a partir do índice pos pela primeira ocorrência de qualquer caractere da visão de caracteres passada s. O método retorna a posição encontrada como índice do tipo size_type.

Conforme a especificação, a função é declarada como noexcept e classificada como segura contra exceções (exception safe) ([SWS_CORE_02165]). Ela não dispara exceções e não reporta erros ao DET ou DEM. Interpretação: Se nenhum caractere correspondente for encontrado ou se o índice inicial estiver fora do intervalo válido, o resultado deverá corresponder ao valor npos, de forma análoga à semântica padrão de [string.view]. Pergunta Q-ad877979579b5bd1 (aberta)

Como find_first_of é especificada como const, a chamada não realiza alterações de estado ([SWS_CORE_02165]). Acessos de leitura concorrentes à mesma instância são possíveis sem sincronização adicional. Graças à identificação como constexpr, a busca também pode ser avaliada em tempo de compilação.

No módulo core existem outras sobrecargas para ara::core::StringView, incluindo para caracteres individuais ([SWS_CORE_02166]), ponteiros com contagem explícita de caracteres ([SWS_CORE_02167]) bem como cadeias de caracteres terminadas em nulo ([SWS_CORE_02168]). Na classe ara::core::BasicString, está disponível com [SWS_CORE_03317] uma sobrecarga comparável para StringView; diferentemente de StringView, as funções de busca baseadas em ponteiros presentes ali são declaradas como não seguras contra exceções ([SWS_CORE_03330]).

usar

A função-membro find_first_of da classe ara::core::StringView serve para buscar de forma síncrona a primeira ocorrência de um caractere dentro da cadeia de caracteres referenciada [SWS_CORE_02166]. Ela está disponível através do cabeçalho ara/core/string_view.h e recebe o caractere procurado c bem como, opcionalmente, a posição inicial pos, que por padrão é definida como 0. A função retorna o índice do local encontrado do tipo size_type de acordo com o comportamento em [string.view] [SWS_CORE_02166]. Como método constexpr, ela pode ser executada tanto em tempo de execução quanto durante a compilação.

Tratamento de erros

A função é declarada como noexcept e explicitamente classificada como com segurança contra exceções («exception safe») [SWS_CORE_02166]. Nenhuma exceção é lançada, e a especificação não define códigos de erro específicos ou mensagens para o rastreamento de erros de desenvolvimento (DET) ou para o gerenciamento de memória de erros (DEM).

Simultaneidade e restrições

Como função-membro constante (const), a chamada não modifica a instância de ara::core::StringView [SWS_CORE_02166]. Interpretação: chamadas paralelas de leitura para o mesmo objeto a partir de múltiplas threads devem, portanto, ser reentrantes e seguras para concorrência, desde que o buffer de caracteres subjacente permaneça inalterado. Pergunta Q-b86dddc1a54a05e1 (aberta)

Interação

A função faz parte das interfaces de busca de ara::core::StringView. Além da busca por caracteres individuais, existem sobrecargas análogas, também especificadas como noexcept, para substrings usando StringView [SWS_CORE_02165] e representações de ponteiro [SWS_CORE_02167], [SWS_CORE_02168]. Diferentemente disso, a classe ara::core::BasicString declara sobrecargas relacionadas para caracteres individuais [SWS_CORE_03332] e ponteiros [SWS_CORE_03330], [SWS_CORE_03331] sem noexcept e as classifica como sem segurança contra exceções («not exception safe»), enquanto as variantes de string com BasicString [SWS_CORE_03329] e StringView [SWS_CORE_03317] permanecem seguras contra exceções.

A função-membro find_first_of da classe ara::core::StringView ([SWS_CORE_02167]) do arquivo de cabeçalho #include "ara/core/string_view.h" busca de forma síncrona pela primeira ocorrência de um caractere da sequência de caracteres s a partir da posição pos. O parâmetro n limita a quantidade de caracteres a serem considerados do ponteiro passado. A função retorna a posição encontrada como size_type; se nenhum caractere for encontrado, de acordo com [string.view], o valor npos provavelmente será retornado. Pergunta Q-eac57a47043e5b33 (aberta)

Para o contexto de chamada e o tratamento de erros, aplicam-se as seguintes diretrizes:

• Segurança contra exceções e avaliação em tempo de compilação: o método é definido como constexpr e const. Como um desvio do padrão [string.view], ele é explicitamente declarado com noexcept e especificado como com segurança contra exceções («exception safe») ([SWS_CORE_02167]). Nenhuma exceção é lançada e nenhum código de erro é reportado.
• Sobrecargas relacionadas em StringView: adicionalmente, estão disponíveis variantes para ponteiros de cadeia de caracteres sem limitação de comprimento ([SWS_CORE_02168]), para objetos ara::core::StringView ([SWS_CORE_02165]) e para caracteres individuais ([SWS_CORE_02166]), que também são noexcept.
• Diferenciação em relação a BasicString: ao contrário da sobrecarga correspondente em ara::core::BasicString ([SWS_CORE_03330]), que é classificada como não segura contra exceções («not exception safe») e sem noexcept, a implementação de StringView garante total isenção de exceções ([SWS_CORE_02167]).

usar

A função-membro find_first_of da classe ara::core::StringView do cabeçalho ara/core/string_view.h pesquisa sincronamente na vista de carateres a partir da posição pos pela primeira ocorrência de qualquer caráter da cadeia de carateres s [SWS_CORE_02168]. Como valor de retorno, fornece o índice correspondente como size_type. Graças à especificação como constexpr, este procedimento de pesquisa pode ser executado logo em tempo de compilação [SWS_CORE_02168].

Tratamento de erros e simultaneidade

A função é declarada como noexcept e especificada como segura contra exceções (exception safe) [SWS_CORE_02168]. Não existem códigos de erro específicos nem mensagens ao DET ou DEM. Como o método não altera o estado da instância (const), o acesso de leitura simultâneo a partir de múltiplas threads é seguro. Interpretação: como a assinatura não prevê nenhum parâmetro de comprimento, o chamador deverá ter a obrigação de passar uma string C válida terminada em nulo para s, a fim de evitar comportamento indefinido. Pergunta Q-6b692ff18063aef5 (aberta)

Interação

Dentro de ara::core::StringView, a função complementa as sobrecargas para StringView [SWS_CORE_02165], carateres individuais [SWS_CORE_02166] bem como sequências de carateres com limite explícito de comprimento n [SWS_CORE_02167], que são todas definidas como constexpr e noexcept. Ao contrário das funções análogas de pesquisa por ponteiro em ara::core::BasicString, que estão classificadas como não seguras contra exceções (not exception safe) [SWS_CORE_03330], [SWS_CORE_03331], a implementação em ara::core::StringView garante total ausência de exceções [SWS_CORE_02168].