throw expression

Sinaliza uma condição errônea e executa um manipulador de erro.

A expressão throw constrói um objeto temporário em armazenagem não especificada, com o mesmo tipo como expression (com CV-qualificadores removido e o tipo de convertido a partir de matriz de T para ponteiro para T e de T para função retornando ponteiro para funcionar retornando T, conforme necessário) e inicializa-lo de expression da mesma maneira que um os argumentos da função ou valores de retorno são inicializados a partir dos parâmetros de função ou o argumento de uma expressão return (ou seja, elisão cópia e construção mudança ocorrer, se possível). O objeto de exceção persiste até o último cláusula catch completa ou até que o std::exception_ptr passado que faz referência a esse objeto é destruído.

Uma vez que o objecto exceção é construído, o fluxo de controlo funciona para trás (para cima da pilha de chamadas) até que atinja o início de um bloco try, altura em que os parâmetros dos blocos catch associados são comparados com o expression atirado para encontrar uma correspondência. Se nenhuma correspondência é encontrada, o fluxo de controlo continua a desenrolar a pilha até que o bloco try seguinte, e assim por diante. Se uma correspondência for encontrada, o controle de fluxo de saltos para o bloco catch correspondência (o manipulador de exceção'), que executa normalmente.

Original:

Once the exception object is constructed, the control flow works backwards (up the call stack) until it reaches the start of a try block, at which point the parameters of the associated catch blocks are compared with the thrown expression to find a match. If no match is found, the control flow continues to unwind the stack until the next try block, and so on. If a match is found, the control flow jumps to the matching catch block (the exception handler), which executes normally.

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Como o fluxo de controle move-se a pilha de chamadas, destruidores são invocados para todos os objetos com '<div class="t-tr-text">duração de armazenamento automático

Original:

automatic storage duration

The text has been machine-translated via [http://translate.google.com Google Translate].
You can help to correct and verify the translation. Click [http://en.cppreference.com/w/Cppreference:MachineTranslations here] for instructions.

O tiro de expressão sem um operando só pode ser utilizado dentro de um bloco catch (que chama std::terminate se usado de outra forma). Ele abandona a execução do bloco de captura e passa o controle para a próxima cláusula correspondência captura na pilha de chamada (mas não de uma outra cláusula capturas após o bloco try mesmo), reutilizando o objeto de exceção existente: há novos objetos são feitos.

Veja std::terminate e std::unexpected para o tratamento de erros que surgem durante o tratamento de exceções.

Enquanto lance-expressão pode ser utilizada para transferir o controlo para um bloco de código arbitrário até a pilha de execução, por razões arbitrárias (semelhante ao std::longjmp), o seu uso pretendido é o tratamento de erros.

Lançando uma exceção é usada para sinalizar erros de funções, em que os "erros" são tipicamente limitadas a apenas o seguinte Erro de citação: </ref> de fecho em falta, para o elemento <ref>^[1]:

# Falhas para estabelecer invariantes

Falhas # para atender as pós-condições

Falhas # para atender os pré-requisitos do chamador

Em particular, isto implica que as falhas de construtores ea maioria dos operadores deve ser relatado lançando exceções.

Após a condição de erro é relatado por uma função, garantias adicionais podem ser fornecidas em relação ao estado do programa. As seguintes quatro níveis de garantia exceção são geralmente reconhecidos B. Erro de citação: </ref> de fecho em falta, para o elemento <ref>^[2][3], which are strict supersets of each other:

# Nothrow (ou nofail) garantia de exceção - nunca a função lança exceções.

# Garantia exceção Forte - Se a função lança uma exceção, o estado do programa é revertida para o estado pouco antes da chamada de função.

# Garantia exceção Básico - Se a função lança uma exceção, o programa está em um estado válido. Ele pode exigir a limpeza, mas todas as invariantes estão intactos.

# Não há garantia de exceção - Se a função lança uma exceção, o programa não pode estar em um estado válido: vazamentos de recursos, corrupção de memória, ou outros invariante-destruindo erros podem ter ocorrido.

Enquanto objetos de qualquer tipo completo e ponteiros cv para void podem ser jogados como objetos de exceção, todas as funções da biblioteca padrão jogar anônimos objetos temporários por valor, e os tipos de esses objetos são derivadas (direta ou indiretamente) de std::exception. Exceções definidas pelo usuário geralmente seguem esse padrão. D. Erro de citação: </ref> de fecho em falta, para o elemento <ref>^[4]

Para evitar cópias desnecessárias do objeto de exceção e objeto de corte, a melhor prática para cláusulas de captura é para pegar referência. S. Erro de citação: </ref> de fecho em falta, para o elemento <ref>^[5][6]