throw expression

Indique une condition d'erreur et excute un gestionnaire d'erreur .

L'expression jet construit un objet temporaire de stockage spcifi, avec le mme type que expression (avec CV-qualificatifs limin et le type de tableau de conversion de pointeur pour T T et T de la fonction de retour un pointeur de fonction de retour T, au besoin) , et l'initialise partir expression de la mme manire un les arguments des fonctions ou valeurs de retour sont initialises partir des paramtres de la fonction ou de l'argument d'une expression return (c.-copie lision et la construction dmnagement aura lieu si possible). L'objet exception persiste jusqu' ce que la clause catch dernire se termine ou jusqu' ce que le dernier std::exception_ptr qui fait rfrence cet objet est dtruit .

Une fois l'objet exception est construit, le flux de contrle fonctionne l'envers (la pile des appels) jusqu' ce qu'il atteigne le dbut d'un bloc try, quel point les paramtres des blocs catch associs sont compares la expression lanc pour trouver une correspondance. Si aucune correspondance n'est trouve, le flux de contrle continue dtendre la pile jusqu' ce que le bloc try suivante, et ainsi de suite. Si une correspondance est trouve, les sauts de flux de contrle passe au bloc catch correspondant (le gestionnaire d'exception'), qui s'excute normalement .

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.

Comme le flux de contrle dplace la pile des appels, les destructeurs sont appels pour tous les objets avec

dure de stockage automatique

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.

construit depuis le corrlatif try-block a t conclu, dans l'ordre inverse de la construction. Si une exception est leve partir d'un constructeur, les destructeurs sont appels pour toutes entirement construits non statiques non-membres de variantes et classes de base. Ce processus est appel' pile dnouement .

La remise expression sans un oprande ne peut tre utilis l'intrieur d'un bloc catch (il appelle std::terminate si utilise). Il abandonne l'excution du bloc catch et passe le contrle la clause catch correspondant suivant la pile des appels (mais pas un autre clause catch aprs le mme bloc try), la rutilisation de l'objet exception existante: pas de nouveaux objets sont faits .

Voir std::terminate et std::unexpected pour la gestion des erreurs qui surviennent pendant le traitement des exceptions .

Bien throw-expression peut tre utilise pour transfrer le contrle un bloc de code arbitraire jusqu' la pile d'excution, pour des raisons arbitraires (similaire std::longjmp), son utilisation prvue est la gestion des erreurs .

Lancer une exception est utilis pour signaler les erreurs de fonctions, o les erreurs sont gnralement limits seulement ce qui suit Erreur de rfrence: Balise fermante </ref> manquante pour la balise <ref>[1]:

# Dfaillances d'tablir des invariants

# Incapacit de rgler les postconditions

# Manquements aux conditions de l'appelant

En particulier, cela implique que les dfaillances des constructeurs et la plupart des oprateurs doivent tre dclars en lanant des exceptions .

Aprs que la condition d'erreur est signal par une fonction, des garanties supplmentaires peuvent tre prvues en ce qui concerne l'tat du programme. Les quatre niveaux de garantie exception sont gnralement reconnus B. Erreur de rfrence: Balise fermante </ref> manquante pour la balise <ref>[2][3], which are strict supersets of each other:

# Nothrow (ou nofail) garantie exception - la fonction ne lve jamais les exceptions .

# Garantie exception Forte - Si la fonction lve une exception, l'tat du programme est restaure l'tat juste avant l'appel de fonction .

# Garantie exception Basic - Si la fonction lve une exception, le programme est dans un tat valide. Il peut exiger de nettoyage, mais tous les invariants sont intacts .

# Aucune garantie exception - Si la fonction lve une exception, le programme peut ne pas tre dans un tat valide: fuites de ressources, la corruption de la mmoire, ou d'autres invariants qui dtruisent des erreurs ont pu se produire .

Alors que les objets de toute nature complte et des pointeurs cv vide peut tre jet comme des objets d'exception, toutes les fonctions de la bibliothque standard jeter anonymes objets temporaires en valeur, et les types de ces objets sont issus (directement ou indirectement) de std::exception. Exceptions dfinies par l'utilisateur suivent gnralement ce processus. Erreur de rfrence: Balise fermante </ref> manquante pour la balise <ref>[4]

Pour viter la copie inutile de l'objet exception et l'objet trancher, la meilleure pratique pour les clauses de prises est d'attraper par rfrence. Erreur de rfrence: Balise fermante </ref> manquante pour la balise <ref>[5][6]