c - 为什么我不能在开关选择结构中使用 "goto default;"或 "goto case x;"？

Question

Section 6.8.1 of C11或 C99 ，或 C89 的第 3.6.1 节所有这些似乎都表明 default 和 case x(其中 x 是一些 constant-expression)是标记的示例语句，以及适合与 goto 一起使用的 identifier: 样式标签。

我知道我可以直接在 default: 或 case x: 标签后面放置一个 identifier: 风格的标签。这不是这个问题的目的。我更好奇是否有任何实际理由禁止这种行为。

如果可以在 switch 选择结构之外声明 default: 标签，那么我会理解，因为 之间会有一些冲突goto里面的switch选择结构是为了瞄准。然而，section 6.4.1 of C11或 C99或 C89 的 3.1.1禁止将 default 用作关键字以外的任何内容，并且 6.8.1 将其使用进一步限制为仅限 switch 结构(或 generic 结构C11，与此处无关)。

如果多个(可能是嵌套的)switch 结构，每个结构都带有 default:(或 case x:)标签，我也会理解是否会引入歧义，但是这些标签的范围似乎仅限于它们最内层的 switch 结构，并且引用其范围之外的任何标识符显然是一个错误，需要在编译时进行诊断。

这是否在任何标准文件中进行过讨论(例如基本原理)？除了“这是因为它是”或“因为规范是这样说的”之外，对于这种行为还有其他解释吗？如果是这样，那是什么解释？

Answer 1

(我不明白 goto 到 case 在句法上是如何工作的。)

如你所说，case 和default 标签只有对应的switch 语句的作用域，只能从外部跳转到。另一方面C 中的标签具有函数作用域，可以从函数中的任何地方跳转到。

所以我们正在谈论具有完全不同属性的标签，它们在内部可能被完全不同地对待。协调这些属性似乎相对复杂，并且会使实现更加复杂。突然之间，您必须决定在实现 goto 时，哪个 case 或 default 是正确的，而现在您只需要将文件范围标识符的地址放在那里。

综上所述，这只是对这种区分的初衷的猜测。但我相信，沿着这些思路进行的争论会很快扼杀现在引入此类功能的任何尝试。