有一个著名的用法叫做达夫的方法。

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。

不仅用于变量声明，还用于高级跳转。你可以很好地利用它，当且仅当你不倾向于面条代码。

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语句中的代码实际上没有结构限制，也没有大小写*:标签放在代码*中的位置。这使得像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以来，goto和label(无论是否为case *: label)都不能出现在包含VLA声明的声明范围内。因此，说格*:标签的放置没有结构上的限制是不正确的。然而，达夫的设备早于C99标准，而且它并不依赖于VLA标准。然而，由于这个原因，我不得不在我的第一句话中插入一个“virtually”。

这有什么用吗?

是的。如果你在第一个标签之前放一个声明而不是语句，这是完全有意义的:

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()调用是可达的。

你得到了与所需的gcc选项-Wswitch-unreachable生成警告相关的答案，这个答案是关于可用性/价值部分的详细说明。

直接引用C11第6.8.4.2章，(我的重点)

开关(expr) ｛ Int I = 4; f(我); 例0: I = 17; /*变为默认代码*/ 默认值: printf (" % d \ n”,我); ｝ 标识符为I的对象存在自动存储 持续时间(在块内)，但从未初始化，因此如果 控制表达式具有非零值，即对printf的调用 函数将访问一个不确定的值。类似地，调用 函数f不能得到。

这是不言自明的。您可以使用它来定义一个局部作用域变量，该变量仅在switch语句作用域内可用。

也许不是最有用的，但也不是完全没有价值。你可以用它来声明一个在开关范围内可用的局部变量。

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

标准(N1579 6.8.4.2/7)有以下示例:

在人工程序片段中 开关(expr) ｛ Int I = 4; f(我); 例0: I = 17; /*变为默认代码*/ 默认值: printf (" % d \ n”,我); ｝ 标识符为I的对象存在并具有自动存储持续时间(在块内)，但从不存在 初始化，因此如果控制表达式具有非零值，则对printf函数的调用将 访问一个不确定的值。类似地，无法到达对函数f的调用。

P.S. BTW，样例不是有效的c++代码。在这种情况下(N4140 6.7/3，我的重点):

A program that jumps90 from a point where a variable with automatic storage duration is not in scope to a point where it is in scope is ill-formed unless the variable has scalar type, class type with a trivial default constructor and a trivial destructor, a cv-qualified version of one of these types, or an array of one of the preceding types and is declared without an initializer (8.5). 90) The transfer from the condition of a switch statement to a case label is considered a jump in this respect.

替换int i = 4;用int i;使它成为一个有效的c++。