classe ara::core::Optional< T & >

O operador de acesso a membros operator-> da classe template ara::core::Optional<T &> serve para o acesso síncrono a membros do objeto referenciado [SWS_CORE_01167]. A função está definida no cabeçalho #include "ara/core/optional.h", pertence ao escopo de ara::core::Optional<T &> e não espera parâmetros [SWS_CORE_01167]. Como valor de retorno, é fornecido um ponteiro do tipo T const *, que permite o acesso direto de leitura ao objeto de destino subjacente [SWS_CORE_01167]. Com isso, o tipo de retorno corresponde a um ponteiro para dados constantes, impedindo acessos modificadores por meio deste operador.

Em relação ao tratamento de erros, o método está declarado como noexcept e classificado como exception safe [SWS_CORE_01167]. Se, contudo, a instância não contiver um valor (If *this does not contain a value), a especificação documenta como violação uma IsoStdBadOptionalAccessViolation [SWS_CORE_01167]. Antes da desreferenciação, o software aplicativo deve, consequentemente, garantir que a referência opcional esteja validamente preenchida, a fim de evitar com segurança estados de erro em tempo de execução.

Para concorrência e contexto de chamada, a especificação não menciona mecanismos de proteção específicos; provavelmente a operação const não oferece sincronização interna contra modificações concorrentes [SWS_CORE_01167]. Pergunta Q-0ebf3ed1284fc0c1 (aberta) O comportamento geral orienta-se, de acordo com a especificação, pelo uso correspondente do padrão C++ para tipos opcionais (As per corresponding usage in [optional]) [SWS_CORE_01167].

O operador de sobrecarga operator-> da especialização ara::core::Optional<T &> permite o acesso síncrono a membros da referência encapsulada ([SWS_CORE_01168]). A função é disponibilizada através do arquivo de cabeçalho ara/core/optional.h e não requer parâmetros de chamada. Ao ser chamada, ela retorna um ponteiro do tipo T * para o objeto de destino referenciado, permitindo que membros da instância sejam endereçados diretamente ([SWS_CORE_01168]). A semântica corresponde ao uso de [optional] no padrão C++ ([SWS_CORE_01168]).

Quanto à segurança contra falhas, o operador é declarado como noexcept e classificado como seguro contra exceções (“exception safe”) ([SWS_CORE_01168]). Se a instância não contiver nenhum valor (*this does not contain a value), ocorre uma violação de acesso da categoria IsoStdBadOptionalAccessViolation ([SWS_CORE_01168]). Interpretação: Como a assinatura está declarada com noexcept, presume-se que este estado inadmissível não seja tratado pelo lançamento de uma exceção C++ regular, mas sim resulte em um tratamento de erro padronizado ou na terminação do programa. Pergunta Q-c3ef91b84a00cae8 (aberta)

Como pré-condição de chamada, o desenvolvedor deve assegurar antes da execução que o objeto Optional realmente contém um valor. Um acesso não protegido sem verificação prévia do estado de preenchimento viola a pré-condição do operador ([SWS_CORE_01168]).

A função-membro de modelo emplace da especialização ara::core::Optional<T&> destina-se à atribuição ou à definição de uma referência num contentor opcional ([SWS_CORE_01164]). A função é definida através do ficheiro de cabeçalho #include "ara/core/optional.h" ([SWS_CORE_01164]).

Utilização e semântica

A chamada ocorre de forma síncrona e recebe como parâmetro uma referência de reencaminhamento u do tipo U&& (por predefinição U = T) ([SWS_CORE_01164]). Interpretação: o argumento u deverá ser revinculado à referência mantida no Optional, sem que um novo objeto seja construído. Pergunta Q-55c9eca385e9e496 (aberta) Como valor de retorno, emplace devolve uma referência lvalue para a própria instância de Optional (Optional &), o que permite o encadeamento de operações ([SWS_CORE_01164]). Devido à declaração como constexpr, a chamada também pode ser avaliada em expressões constantes em tempo de compilação ([SWS_CORE_01164]).

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

A operação está declarada como noexcept e possui a classificação exception safe ([SWS_CORE_01164]). Códigos de erro específicos, mensagens DET ou DEM não estão previstos no excerto da especificação; uma falha por exceções C++ está excluída ([SWS_CORE_01164]).

Interação e distinção

Ao contrário das variantes primárias de modelo de ara::core::Optional<T> para tipos de valor, que constroem o objeto contido in-place, devolvem uma referência T& e são apenas condicionalmente seguras quanto a exceções (conditionally exception safe) ou condicionalmente noexcept ([SWS_CORE_01119], [SWS_CORE_01120]), esta sobrecarga para Optional<T&> garante estrita isenção de exceções ([SWS_CORE_01164]). Outros contentores do módulo, tais como ara::core::Vector ([SWS_CORE_01366]), ara::core::Map ([SWS_CORE_01458]) ou ara::core::Variant ([SWS_CORE_01661]), também oferecem métodos emplace, mas possuem semânticas próprias e níveis de segurança divergentes.

A função-membro reset da especialização ara::core::Optional<T&> serve, de acordo com [SWS_CORE_01165], para redefinir um objeto de referência opcional. Ela é declarada por meio do cabeçalho #include "ara/core/optional.h", não recebe parâmetros e não possui valor de retorno (void). Como função constexpr, também pode ser utilizada em avaliações em tempo de compilação; sua execução ocorre de forma síncrona. Interpretação: De acordo com a referência geral ao uso em [optional], a chamada provavelmente coloca a instância em um estado sem referência vinculada (disengaged), de modo que o objeto não contenha mais nenhum valor em seguida. Pergunta Q-edf521c7744139d2 (aberta)

Em relação ao tratamento de erros, a função é provida do identificador noexcept de acordo com [SWS_CORE_01165] e classificada como segura contra exceções (“exception safe”). Uma chamada, portanto, não lança exceções e não reporta códigos de erro; mensagens DET ou DEM específicas não estão previstas no payload para esta função.

No contexto do módulo, esta implementação difere da classe de template geral ara::core::Optional de acordo com [SWS_CORE_01136], cujo método reset não é declarado como constexpr. Outras funções reset no módulo existem para ara::core::Bitset, onde reset(), de acordo com [SWS_CORE_01727], retorna uma referência ao objeto ou, com especificação de posição de acordo com [SWS_CORE_01728], retorna um ara::core::Result e, no caso de índice inválido, lança IsoStdOutOfRangeViolation.

A função-membro value_or da especialização ara::core::Optional<T&> é disponibilizada por meio do arquivo de cabeçalho #include "ara/core/optional.h" [SWS_CORE_01175]. Como função de template, ela recebe um parâmetro U&& u como valor alternativo e retorna síncronamente um valor de resultado do tipo T. Interpretação: de acordo com a indicação da especificação «As per corresponding usage in [optional]», a função provavelmente deve retornar o valor mantido pela referência quando o objeto estiver preenchido e, caso contrário, o valor de fallback u. Pergunta Q-c050380198abf06b (aberta)

Para o tratamento de erros, a especificação garante segurança total para exceções (exception safe) e declara o método como noexcept [SWS_CORE_01175]. Nem códigos de erro nem notificações para monitores de erro ou de diagnóstico estão previstos para esta operação. Como a função-membro também é qualificada como constexpr e const, ela também pode ser avaliada em expressões constantes em tempo de compilação sem modificação do objeto [SWS_CORE_01175].

No contexto do módulo core, a função está estreitamente relacionada com as sobrecargas gerais para tipos não referenciais. Enquanto [SWS_CORE_01175] para ara::core::Optional<T&> é declarado como exception safe, a especificação classifica as variantes correspondentes do template primário ara::core::Optional – tanto a sobrecarga const lvalue [SWS_CORE_01134] quanto a sobrecarga rvalue [SWS_CORE_01135] – cada uma como not exception safe.