classe ara::core::ErrorCode

O construtor de template ErrorCode instancia sincronamente uma descrição de erro dentro da classe ara::core::ErrorCode a partir do arquivo de cabeçalho ara/core/error_code.h [SWS_CORE_00512]. Ele aceita um valor de código de erro específico de domínio e de um tipo de enumeração EnumT, bem como dados adicionais específicos do fornecedor opcionais data do tipo ErrorDomain::SupportDataType, que são inicializados vazios por padrão [SWS_CORE_00512]. Como restrição essencial, o construtor participa da resolução de sobrecarga via SFINAE apenas se EnumT for de fato um tipo de enumeração [SWS_CORE_00512]. Diferentemente da sobrecarga alternativa com passagem explícita de domínio [SWS_CORE_00513], a atribuição ao ErrorDomain adequado provavelmente deve ser deduzida implicitamente com base no tipo EnumT. Pergunta Q-83bc8268971748ff (aberta)

Em relação à concorrência e à segurança contra erros, o construtor é especificado como seguro para threads (thread-safe), bem como totalmente seguro contra exceções (exception safe), e está declarado como noexcept [SWS_CORE_00512]. Graças à qualificação constexpr, a instanciação já pode ocorrer em tempo de compilação em expressões constantes [SWS_CORE_00512]. Mensagens de erro específicas de DET ou DEM não estão definidas para a construção. Se o erro representado precisar ser sinalizado como exceção no fluxo de controle posterior, a instância criada disponibiliza o método ThrowAsException(), que determina e lança o tipo de exceção adequado [SWS_CORE_00519]; correspondentemente, o domínio de erro também pode lançar a exceção diretamente [SWS_CORE_00154].

Na interação com o sistema geral, as propriedades do objeto podem ser consultadas através dos métodos Value() [SWS_CORE_00514], Domain() [SWS_CORE_00515], SupportData() [SWS_CORE_00516] e da representação em texto Message() [SWS_CORE_00518]. Em comparações de valores através de operator== [SWS_CORE_00571] e operator!= [SWS_CORE_00572], são considerados exclusivamente Value() e Domain(), enquanto SupportData() permanece desconsiderado [SWS_CORE_00571]. Além disso, o objeto gerado serve de base para o encapsulamento em objetos de exceção padronizados como ara::core::Exception [SWS_CORE_00611] (legível via Error() [SWS_CORE_00613]), ara::core::CoreException [SWS_CORE_05212] ou ara::core::FutureException [SWS_CORE_00412].

A função-membro SupportData() da classe ara::core::ErrorCode do cabeçalho #include "ara/core/error_code.h" retorna dados de contexto complementares referentes a um erro [SWS_CORE_00516]. O método é chamado sincronamente sobre uma instância, não requer parâmetros e retorna um valor do tipo ErrorDomain::SupportDataType [SWS_CORE_00516]. Devido à declaração como constexpr e noexcept, a chamada é garantidamente livre de exceções e já pode ser avaliada em tempo de compilação [SWS_CORE_00516].

Em relação à concorrência e à segurança de execução, o método é especificado como seguro para threads (thread-safe) e seguro contra exceções (exception safe) [SWS_CORE_00516]. Como se trata de um acesso de leitura ao contexto de erro interno, não ocorrem estados de erro, tornando a chamada adequada também para caminhos de execução críticos e concorrentes [SWS_CORE_00516].

Na interação com as demais interfaces de tratamento de erros, SupportData() lê aqueles dados adicionais específicos do fornecedor que foram passados opcionalmente ao construtor de ErrorCode através do parâmetro data [SWS_CORE_00513]. Ao comparar dois códigos de erro por meio de operator==, deve-se observar que as instâncias são avaliadas como iguais exclusivamente com base nos retornos de Value() e Domain(); o valor de retorno de SupportData() expressamente não é considerado para a comparação de igualdade [SWS_CORE_00571].

A função de membro ThrowAsException da classe ara::core::ErrorCode serve para disparar sincronamente um erro ocorrido como uma exceção C++ ([SWS_CORE_00519]). A função não recebe parâmetros de entrada e não possui valor de retorno, já que o fluxo de controle regular é interrompido pelo lançamento da exceção.

Para determinar o tipo concreto de exceção, o método delega o disparo ao domínio de erro atribuído de acordo com o comportamento this->Domain().ThrowAsException(*this) ([SWS_CORE_00519]). Por meio da interface da classe base ara::core::ErrorDomain ([SWS_CORE_00154]), o respectivo domínio determina o tipo de exceção apropriado conforme a especificação de [SWS_CORE_10953]. A exceção lançada contém sempre a instância originária de ErrorCode. Domínios concretos implementam isso especificamente:

• ara::core::FutureErrorDomain lança uma FutureException com a instância de erro fornecida ([SWS_CORE_00444]).
• ara::core::CoreErrorDomain lança uma CoreException que encapsula a instância ([SWS_CORE_05244], [SWS_CORE_10304]).

Em relação à concorrência e condições de contorno, ThrowAsException é especificado como thread-safe ([SWS_CORE_00519]). A segurança contra exceções é declarada com not exception safe, e a assinatura exibe explicitamente noexcept(false) ([SWS_CORE_00519]). Uma restrição central da toolchain consiste no fato de que a função não participa da resolução de sobrecarga quando exceções C++ estão desativadas no compilador ([SWS_CORE_00519]).