Perché C++ applica questo comportamento durante l'inizializzazione incrociata?

Question

Diciamo che ho un po 'di codice C++:

if (error) 
    goto exit; 
... 
// size_t i = 0; //error 
size_t i; 
i = 0; 
... 
exit: 
    ... 

ho capito che non dovremmo usare goto, ma ancora Perché

size_t i; 
i = 0; 

compilare mentre size_t i = 0; non lo fa?

Perché un tale comportamento è applicato dallo standard (citato da @SingerOfTheFall)?

È possibile trasferire in un blocco, ma non in modo che ignori le dichiarazioni con l'inizializzazione. Un programma che salta da un punto in cui una variabile locale con durata di archiviazione automatica non è nello scope in un punto in cui è in ambito non formattato a meno che la variabile non abbia il tipo POD (3.9) e sia dichiarata senza inizializzatore.

Answer 1

Non è possibile saltare l'inizializzazione di un oggetto.

size_t i = 0; 

è un'inizializzazione, mentre

size_t i; 
i = 0; 

non è. Il C++ Standart dice:

È possibile trasferire in un blocco, ma non in modo che aggira le dichiarazioni con l'inizializzazione. Un programma che salta da un punto in cui una variabile locale con durata dell'archiviazione automatica non è nell'ambito di un punto in cui è nell'ambito dell'ambito è mal formata a meno che la variabile non abbia il tipo POD (3.9) e sia dichiarata senza un inizializzatore.

Answer 2

La ragione per la regola è che salta sopra un'inizializzazione lascia l'oggetto in uno stato indefinito. Quando arrivi alla fine della funzione, distruggere quegli oggetti non inizializzati potrebbe non funzionare.

L'unica eccezione è, ovviamente, che

int i; 

lascia il int non inizializzato in ogni caso, in modo da saltare la che è solo la metà male.

Se si desidera abbandonare anticipatamente una funzione, è possibile utilizzare lo return per evitare lo goto.