当“default:”标签放在大括号外面时，复合 switch 语句中的局部变量是否会被初始化？

Question

通常，当使用 switch 语句时，您不能定义和初始化复合语句的局部变量，例如

switch (a)
{
  int b = 5;  /* Initialization is skipped, no matter what a is */

  case 1:
    /* Do something */
    break;
  default:
   /* Do something */
   break;
}

但是，因为 switch 语句是一个语句像 for 或 while 一样，没有禁止不使用复合语句的规则，请参阅此处的示例。但这意味着，可以在 switch 关键字后面的右括号和左大括号之间使用标签。

因此，在我看来，可以并允许使用这样的 switch 语句：

switch (a)
  default:
{
  int b = 5;  /* Is the initialization skipped when a != 1? */
    /* Do something for the default case using 'b' */
    break;

  case 1: // if a == 1, then the initialization of b is skipped.
    /* Do something */
    break;
}

我的问题：在这种情况下是否必须执行初始化（a！= 1）？据我所知的标准，是的，应该是这样，但我无法在我现有的任何文档中直接找到它。谁能给出一个确定的答案？

在我收到这样的评论之前，是的，我知道这不是现实世界中的编程方式。但是，一如既往，我对语言规范的边界感兴趣。我绝不会容忍我的编程团队出现这种风格！

Answer 1

大多数人将 switch 视为多个 if，但从技术上讲，它是一个经过计算的 goto。 case: 和 default: 实际上是标签。因此，goto 的规则适用于这些情况。

您的两个示例在语法上都是合法的，但在第二个示例中，当 a==1 时，将跳过 b 初始化，并且其值将是未定义的。只要不使用就没有问题。

参考：

根据C99标准，6.2.4.5，关于自动变量：

如果为对象指定了初始化，则每次在执行块时到达声明时都会执行初始化；

因此，每次执行流程到达初始化时都会初始化该变量，就像赋值一样。如果您第一次跳过初始化，则该变量将保持未初始化状态。