C vs C++ switch definizione della variabile vs dichiarazione

Question

stavo giocando con una certa sintassi e trovato alcune regole compilatore strane, si chiedeva che cosa il ragionamento è per questo

C non verrà compilato questo, ma C++ sarà:

switch (argc) { 
case 0: 
    int foo; 
    break; 
default: 
    break; 
} 

Sia C e C++ si compilare questo:

switch (argc) { 
case 0: 
    ; int foo; 
    break; 
default: 
    break; 
} 

C verrà compilato questo, ma non C++:

switch (argc) { 
case 0: 
    ; int foo = 0; 
    break; 
default: 
    break; 
} 

gcc -v è gcc version 4.9.3 (MacPorts gcc49 4.9.3_0) se è importante. Mi rendo conto che la soluzione è quella di avvolgere il contenuto di case 0: con parentesi graffe, ma io sono più interessato al ragionamento per errori di compilazione

Answer 1

case 0: 
    int foo; 

sia in C e C++ una dichiarazione con etichetta è un'etichetta seguita da un comunicato. Tuttavia in C++ la definizione di un'istruzione include "dichiarazioni di blocco" (ovvero dichiarazioni e definizioni che possono apparire in un blocco) mentre in C non esiste (in C un blocco è una sequenza di "elementi di blocco", che sono entrambi blocchi dichiarazioni o dichiarazioni - in C++ è una sequenza di dichiarazioni, che includono dichiarazioni di blocco).

case 0: 
    ; int foo; 

Questo funziona perché ; è una dichiarazione (n vuoto) sia in C e C++, ecco che effettivamente abbiamo un'etichetta seguita da un'istruzione.

case 0: 
    ; int foo = 0; 

Come già spiegato nei commenti, questo non funziona in C++ perché C++ rende illegale per saltare sopra un'inizializzazione.