La sección 6.8.1 de C11 o C99 , o la sección 3.6.1 de C89 parecen indicar que el default y el case x (donde x es una expresión constante ) son ejemplos de declaraciones etiquetadas, junto con el identifier: -etiquetas de estilo que son adecuado para usar con goto .
Soy consciente de que podría simplemente colocar un identifier: -etiqueta de estilo directamente siguiendo el default: o case x: etiquetas. De eso no se trata esta pregunta. Tengo más curiosidad por saber si existe alguna razón real para prohibir este tipo de comportamiento.
Si fuera posible declarar default: etiquetas fuera de una estructura de selección de switch , entonces lo entendería, ya que habría algún conflicto entre dónde se pretende que apunte el goto dentro de la estructura de selección de switch . Sin embargo, la sección 6.4.1 de C11 o C99 o 3.1.1 de C89 prohíbe el uso de default como cualquier otra cosa que no sea una palabra clave, y 6.8.1 restringe su uso solo para switch estructuras (o estructuras generic en C11, que son irrelevantes aquí).
También entendería si varias estructuras de switch (posiblemente anidadas), cada una con etiquetas default: (o case x: ) introdujeran ambigüedad, sin embargo, el alcance de esas etiquetas parece estar restringido dentro de sus estructuras de switch circundantes más internas, y refiriéndose a cualquier identificador fuera de su alcance es claramente un error que requiere un diagnóstico en tiempo de compilación.
¿Se ha discutido esto en algún documento estándar (por ejemplo, la justificación)? ¿Hay algún tipo de explicación para este comportamiento que no sea "es porque es" o "porque lo dice la especificación"? Si es así, ¿cuál es esa explicación?
(No veo cómo goto a un case funcionaría sintácticamente).
Como dice, las etiquetas de case y default solo tienen el alcance de la declaración de switch correspondiente y solo se pueden saltar desde el exterior. Por otro lado, las etiquetas en C tienen un alcance de función y se pueden saltar desde cualquier lugar de la función.
Entonces, estamos hablando de etiquetas con propiedades bastante diferentes, probablemente se traten internamente de manera bastante diferente. Parece relativamente complicado reconciliar estas propiedades y haría que implementar esto fuera más complicado. De repente, tendría que decidir al implementar goto qué case o default es el correcto, mientras que ahora solo tiene que poner la dirección del identificador del alcance del archivo allí.
Dicho todo esto, esto es solo una conjetura sobre las intenciones originales de esta distinción. Pero estoy seguro de que la argumentación en este sentido acabaría rápidamente con cualquier intento de introducir tal característica ahora.
contraejemplo
fun() { switch (b) { case x: doSomething(); break; } switch(b2) { case x: doMore(); break; } goto x; // which one? }ISO/IEC 9899:2011 Tecnología de la información -- Lenguajes de programación -- C
6.8.1 Declaraciones etiquetadas
- Sintaxis
declaración etiquetada :
identificador : declaración
case expresión-constante : declaración
predeterminado: declaración
- Una etiqueta de caso o predeterminada aparecerá solo en una declaración de cambio. Las restricciones adicionales sobre tales etiquetas se analizan en la declaración de cambio.
- Los nombres de las etiquetas deben ser únicos dentro de una función.
- Cualquier declaración puede estar precedida por un prefijo que declara un identificador como un nombre de etiqueta . Las etiquetas en sí mismas no alteran el flujo de control, que continúa sin obstáculos a través de ellas.
6.8.6 Instrucciones de salto
- Sintaxis
declaración de salto :
ir a identificador ;
6.8.6.1 La instrucción goto
- El identificador en una instrucción goto nombrará una etiqueta ubicada en algún lugar de la función envolvente.
- Una declaración goto provoca un salto incondicional a la declaración precedida por la etiqueta con nombre en la función adjunta.
6.2.1 Alcances de los identificadores
- Un nombre de etiqueta es el único tipo de identificador que tiene alcance de función . Se puede usar (en una sentencia goto) en cualquier parte de la función en la que aparece, y se declara implícitamente por su apariencia sintáctica (seguida de : y una sentencia).
case , las etiquetas default no son identificadores, etiquetas con nombre .
"Porque la especificación así lo dice". No lo pienses demasiado.