caso Interruttore strano scoping

Question

Rivedere alcuni 3rd party Codice C mi sono imbattuto in qualcosa di simile a:

switch (state) { 
case 0: 
    if (c=='A') { // open brace 
     // code... 
    break; // brace not closed! 
case 1: 
    // code... 
    break; 
    } // close brace! 
case 2: 
    // code... 
    break; 
} 

che nel codice stavo rivedendo sembrava essere solo un errore di battitura, ma sono rimasto sorpreso che compilato con l'errore fuori.

Perché questo C valido?
Qual è l'effetto sull'esecuzione di questo codice rispetto alla chiusura del tutore nel punto previsto?
C'è qualche caso in cui questo potrebbe essere utile?

Edit: Nell'esempio ho guardato tutte le interruzioni erano presenti (come sopra) - ma la risposta potrebbe includere anche il comportamento Se l'interruzione assente nel caso in cui 0 o 1.

Answer 1

Non solo è valida, struttura simile è stata utilizzato nel codice vero e proprio, per esempio, Duff's Device, che è un loop srotolato per la copia di un buffer:

send(to, from, count) 
register short *to, *from; 
register count; 
{ 
     register n = (count + 7)/8; 
     switch(count % 8) { 
     case 0: do { *to = *from++; 
     case 7:   *to = *from++; 
     case 6:   *to = *from++; 
     case 5:   *to = *from++; 
     case 4:   *to = *from++; 
     case 3:   *to = *from++; 
     case 2:   *to = *from++; 
     case 1:   *to = *from++; 
       } while(--n > 0); 
     } 
} 

da una dichiarazione switch realtà solo calcola un indirizzo e salti ad esso, è facile capire il motivo per cui può sovrapporsi con altri strutture di controllo; le linee all'interno di altre strutture di controllo hanno anche indirizzi che possono essere bersagli da salto!

Nel caso in cui è stato presentato, immaginare se non ci fossero switch o break s nel codice. Quando hai terminato di eseguire la partedi una dichiarazione if, continui a procedere, quindi cadrai nello case 2:. Ora, dato che hai il switch e il break, è importante che cosa possa uscire da break. Secondo la MSDN page, “The C break statement”,

La rottura dichiarazione termina l'esecuzione del più vicino racchiude fare, per, interruttore, o mentre dichiarazione in cui appare. Il controllo passa alla dichiarazione che segue l'istruzione terminata.

Dal momento che il più vicino che racchiude fare, per, interruttore, o mentre affermazione è la tua interruttore (si noti che se non è incluso in tale elenco), quindi se si' ri all'interno del blocco then, si trasferisce all'esterno dell'istruzione switch. Ciò che è un po 'più interessante, però, è che cosa succede se inserisci case 0, ma c == 'A' è falso. Quindi il if trasferisce il controllo appena dopo la parentesi di chiusura del blocco then e si inizia a eseguire il codice in case 2.

Answer 2

In C e C++ è legale saltare in loop e se blocchi fino a quando non si passano sopra dichiarazioni di variabili. È possibile controllare this answer per un esempio utilizzando goto, ma non vedo perché le stesse idee non si applicano ai blocchi switch.

La semantica è diversa rispetto a se lo } era superiore a case 1 come previsto.
Questo codice indica effettivamente se state == 0 e c != 'A' quindi andare a case 2 poiché è lì che si trova la parentesi di chiusura dell'istruzione if. Elabora quindi quel codice e raggiunge l'istruzione break alla fine del codice case 2.