Estaba jugando con algo de sintaxis y encontré algunas reglas de compilación extrañas, me preguntaba cuál es el razonamiento para esto
C no compilará esto, pero C++ lo hará :
switch (argc) { case 0: int foo; break; default: break; }
Tanto C como C++ compilarán esto :
switch (argc) { case 0: ; int foo; break; default: break; }
C compilará esto pero no C++ :
switch (argc) { case 0: ; int foo = 0; break; default: break; }
gcc -v
es gcc version 4.9.3 (MacPorts gcc49 4.9.3_0)
si importa. Me doy cuenta de que la solución es envolver el contenido del case 0:
con corchetes, pero estoy más interesado en el razonamiento de los errores de compilación
case 0: int foo;
Tanto en C como en C++, una declaración etiquetada es una etiqueta seguida de una declaración. Sin embargo, en C++ la definición de una declaración incluye "declaraciones de bloque" (es decir, declaraciones y definiciones que pueden aparecer en un bloque) mientras que en C no (en C un bloque es una secuencia de "elementos de bloque", que son bloques declaraciones o declaraciones - en C++ es una secuencia de declaraciones, que incluyen declaraciones de bloque).
case 0: ; int foo;
Esto funciona porque ;
es una declaración (n vacía) tanto en C como en C++, por lo que aquí tenemos una etiqueta seguida de una declaración.
case 0: ; int foo = 0;
Como ya se explicó en los comentarios, esto no funciona en C++ porque C++ hace que sea ilegal saltar sobre una inicialización.