有效，但在转换情况下毫无价值的语法？

通过一点错字，我偶然发现了这个构造：

int main(void) {
    char foo = 'c';

    switch(foo)
    {
        printf("Cant Touch This\n");   // This line is Unreachable

        case 'a': printf("A\n"); break;
        case 'b': printf("B\n"); break;
        case 'c': printf("C\n"); break;
        case 'd': printf("D\n"); break;
    }

    return 0;
}

语句printf顶部的似乎switch是有效的，但也完全无法访问。

我得到了干净的编译，甚至没有关于无法到达代码的警告，但这似乎毫无意义。

编译器是否应将其标记为无法访问的代码？
这有什么用吗？

也许不是最有用的，但并非完全没有价值。您可以使用它来声明switch作用域内可用的局部变量。

switch (foo)
{
    int i;
case 0:
    i = 0;
    //....
case 1:
    i = 1;
    //....
}

标准（N1579 6.8.4.2/7）具有以下示例：

实例在人工程序片段中

switch (expr)
{
    int i = 4;
    f(i);
case 0:
    i = 17;
    /* falls through into default code */
default:
    printf("%d\n", i);
}

该对象的标识符i具有自动存储持续时间（在该块内），但从未初始化，因此，如果控制表达式的值为非零值，则对该printf函数的调用将访问一个不确定的值。同样，f无法调用该函数。

PS BTW，该示例不是有效的C ++代码。在这种情况下（N4140 6.7/3，重点是我的）：

除非变量具有标量类型，具有简单的默认构造函数和琐碎的析构函数的类，否则程序会从不具有自动存储持续时间的变量不在范围内的点跳转到其处于范围内的点，跳变⁹⁰，这些类型之一的cv限定版本，或者前述类型之一的数组，并且在没有初始化程序的情况下声明为（8.5）。

---

^{90）从switch陈述的条件到案件标签的转移在这方面被认为是跳跃。}

因此，替换int i = 4;为int i;使其成为有效的C ++。

这有什么用吗？

是。如果您在第一个标签之前放置一个声明，而不是一条语句，那么这很有意义：

switch (a) {
  int i;
case 0:
  i = f(); g(); h(i);
  break;
case 1:
  i = g(); f(); h(i);
  break;
}

通常，块的声明和语句规则是共享的，因此允许该语句也允许语句的规则相同。

还值得一提的是，如果第一条语句是循环构造，则case标记可能会出现在循环主体中：

switch (i) {
  for (;;) {
    f();
  case 1:
    g();
  case 2:
    if (h()) break;
  }
}

如果有更易读的方式编写代码，请不要这样写，但这是完全有效的，并且可以f()调用。

此功能有一个著名的用途，称为Duff的设备。

int n = (count+3)/4;
switch (count % 4) {
  do {
    case 0: *to = *from++;
    case 3: *to = *from++;
    case 2: *to = *from++;
    case 1: *to = *from++;
  } while (--n > 0);
}

在这里，我们将指向的缓冲区复制到指向from的缓冲区to。我们复制count数据实例。

该do{}while()语句在第一个case标签之前开始，并且case标签嵌入在中do{}while()。

这将do{}while()循环结束时遇到的条件分支的数量减少了大约4倍（在此示例中；可以将常数调整为所需的任何值）。

现在，优化器有时可以为您执行此操作（尤其是在优化流/矢量化指令时），但是如果没有配置文件引导的优化，它们将无法知道您是否期望循环很大。

通常，变量声明可以在那里发生并在每种情况下都可以使用，但是在切换结束后就超出了范围。（请注意，所有初始化都将被跳过）

此外，非特定于开关的控制流可以带您进入开关块的该部分，如上所示，或使用goto。

假设您在Linux上使用gcc，如果您使用的是4.4或更早版本，它将发出警告。

-Wunreachable-code选项在gcc 4.4及更高版本中已删除。

不仅用于变量声明，而且还用于高级跳转。只有当您不倾向于使用意大利面条式代码时，您才能很好地利用它。

int main()
{
    int i = 1;
    switch(i)
    {
        nocase:
        printf("no case\n");

        case 0: printf("0\n"); break;
        case 1: printf("1\n"); goto nocase;
    }
    return 0;
}

版画

1
no case
0 /* Notice how "0" prints even though i = 1 */

应该注意的是，开关箱是最快的控制流程条款之一。因此，它对于程序员来说必须非常灵活，有时会涉及到此类情况。

应该注意的是，对于switch语句中的代码或case *:该代码中的标签放置位置* 实际上没有结构上的限制。这使得像duff的设备这样的编程技巧成为可能，其一种可能的实现如下所示：

int n = ...;
int iterations = n/8;
switch(n%8) {
    while(iterations--) {
        sum += *ptr++;
        case 7: sum += *ptr++;
        case 6: sum += *ptr++;
        case 5: sum += *ptr++;
        case 4: sum += *ptr++;
        case 3: sum += *ptr++;
        case 2: sum += *ptr++;
        case 1: sum += *ptr++;
        case 0: ;
    }
}

您会发现，switch(n%8) {和case 7:标签之间的代码绝对可以到达...

* _{正如supercat在评论中指出的那样：自C99以来，包含VLA声明的声明范围内都不会出现a goto和标签（无论是否为case *:标签）。因此，说标签的位置没有结构上的限制是不正确的case *:。但是，duff的设备早于C99标准，无论如何它并不依赖于VLA。然而，由于这个原因，我感到不得不在第一句话中插入“虚拟”。}

您得到了与生成警告所需的gcc选项 相关的答案-Wswitch-unreachable，此答案将在可用性 / 有价值性部分进行详细说明。

直接引用C11第6.8.4.2章，（重点是我的）

switch (expr)
{
int i = 4;
f(i);
case 0:
i = 17;
/* falls through into default code */
default:
printf("%d\n", i);
}

该对象的标识符i存在并具有自动存储持续时间（在该块内），但从未初始化，因此，如果控制表达式的值为非零值，则对该printf 函数的调用将访问一个不确定的值。同样，f无法调用该函数。

这是非常不言自明的。您可以使用它来定义局部范围的变量，该变量仅在switch语句范围内可用。

可以用它实现一个“循环半”，尽管这可能不是最好的方法：

char password[100];
switch(0) do
{
  printf("Invalid password, try again.\n");
default:
  read_password(password, sizeof(password));
} while (!is_valid_password(password));