throw expression

Segnali di una condizione erronea ed esegue un gestore di errori.

L'espressione throw costruisce un oggetto temporaneo stoccaggio non specificato, con lo stesso tipo expression (con CV-qualificatori rimosso e il tipo di conversione da array di T a puntatore a T e dalla funzione che restituisce T a puntatore a funzione che restituisce T, se necessario) , e si inizializza dalla expression nello stesso modo di un argomenti della funzione o valori restituiti vengono inizializzati dai parametri di funzione o l'argomento di un'espressione return (cioè elisione copia e spostamento di costruzione luogo se possibile). L'oggetto eccezione persiste fino a che la clausola di cattura completa o fino a quando l'ultimo std::exception_ptr che fa riferimento a questo oggetto viene distrutto.

Una volta che l'oggetto eccezione è costruito, il flusso di controllo funziona all'indietro (fino allo stack) fino a raggiungere l'inizio di un blocco try, a questo punto vengono confrontati i parametri dei blocchi catch associati al expression gettato per trovare una corrispondenza. Se non viene trovata, il flusso di controllo continua a svolgere la pila finché il blocco try successivo, e così via. Se viene trovata una corrispondenza, il controllo passa al blocco del flusso catch corrispondente (il gestore di eccezioni'), che viene eseguito 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.

Poiché il flusso di controllo si sposta lo stack di chiamate, distruttori sono invocati per tutti gli oggetti con '<div class="t-tr-text">memorizzazione automatica durata

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.

Il tiro-espressione senza un operando può essere utilizzato solo all'interno di un blocco catch (lo chiama std::terminate se utilizzati in altro modo). Si abbandona l'esecuzione del blocco catch e passa il controllo alla successiva clausola catch corrispondente lo stack di chiamate (ma non in un altro punto fermo dopo il blocco try stesso), riutilizzando l'oggetto esistente eccezione: non nuovi oggetti sono fatti.

Vedi std::terminate std::unexpected e per la gestione degli errori che si verificano durante la gestione delle eccezioni.

Mentre laterale espressione può essere usato per trasferire il controllo a un blocco di codice arbitrario la stack di esecuzione, per ragioni arbitrarie (simile a std::longjmp), il suo uso previsto è la gestione degli errori.

Lanciare una eccezione viene utilizzata per segnalare errori di funzioni, in cui "errori" sono in genere limitati al solo le seguenti Errore nella funzione Cite: </ref> di chiusura mancante per il marcatore <ref>^[1]:

# Errori di stabilire invarianti

# Errori per soddisfare le post

# Casi di inosservanza delle condizioni del chiamante

In particolare, ciò implica che i fallimenti dei costruttori e la maggior parte degli operatori devono essere segnalati da buttare eccezioni.

Dopo l'errore è segnalato da una funzione, garanzie supplementari possono essere fornite per quanto riguarda lo stato del programma. Le seguenti quattro livelli di garanzia eccezione sono generalmente riconosciuti B. Errore nella funzione Cite: </ref> di chiusura mancante per il marcatore <ref>^[2][3], which are strict supersets of each other:

# Nothrow (o nofail) garanzia eccezione - mai la funzione genera eccezioni.

# Garanzia eccezione forte - Se la funzione genera un'eccezione, lo stato del programma viene ripristinato allo stato poco prima della chiamata di funzione.

# Garanzia eccezione di base - Se la funzione genera un'eccezione, il programma è in uno stato valido. Si può richiedere la pulizia, ma tutte le invarianti sono intatte.

# Nessuna garanzia eccezione - Se la funzione genera un'eccezione, il programma potrebbe non essere in uno stato valido: perdite di risorse, la corruzione di memoria, o altri invarianti che distruggono errori potrebbe essersi verificato.

Mentre gli oggetti di qualsiasi tipo completo e puntatori cv revocatorie possono essere gettati come oggetti di eccezione, tutte le funzioni della libreria standard lanciare anonimi oggetti temporanei per valore, e il tipo di tali oggetti sono derivati ​​(direttamente o indirettamente) da std::exception. Eccezioni definite dall'utente seguono solitamente questo schema. Errore nella funzione Cite: </ref> di chiusura mancante per il marcatore <ref>^[4]

Per evitare la copia non necessaria l'oggetto eccezione e oggetto affettatura, la migliore pratica per clausole catch è quello di prendere per riferimento. Errore nella funzione Cite: </ref> di chiusura mancante per il marcatore <ref>^[5][6]