在审查一些第三方C代码时，我遇到了以下内容：
switch (state) {
case 0:
if (c=='A') { // open brace
// code...
break; // brace not closed!
case 1:
// code...
break;
} // close brace!
case 2:
// code...
break;
}
我在审查代码时发现一个错误拼写，但惊讶的是它竟然没有出现编译错误。
这段代码为什么是合法的C语言？
与按预期位置关闭括号相比，对代码执行有什么影响？
是否有任何情况下这种写法会有用处？
编辑：在我查看的示例中，所有的break都存在（如上所述）-但答案也可能包括如果case 0或1中没有break时的行为。
这不仅是有效的，类似的结构已经在真实代码中使用，例如Duff's Device，它是用于复制缓冲区的展开循环：
send(to, from, count)
register short *to, *from;
register count;
{
register n = (count + 7) / 8;
switch(count % 8) {
case 0: do { *to = *from++;
case 7: *to = *from++;
case 6: *to = *from++;
case 5: *to = *from++;
case 4: *to = *from++;
case 3: *to = *from++;
case 2: *to = *from++;
case 1: *to = *from++;
} while(--n > 0);
}
}
由于 switch 语句只是计算地址并跳转到它，所以很容易理解为什么它可以与其他控制结构重叠; 其他控制结构内的行也具有可以作为跳转目标的地址！
在您提供的情况下，想象一下如果代码中没有 switch 或 break。 当您完成执行 if 语句的 then 部分时，您只需继续进行，因此会直接进入 case 2：。现在，由于您有了switch和break，因此 break 可以终止哪个部分很重要。根据MSDN页面“C break语句” 的说明：
break 语句终止其所在的最近的 do、for、switch 或 while 语句的执行。控制传递到终止语句后面的语句。
由于最近的包含块是你的 switch（请注意，if 不在列表中），因此如果您在 then 块内，则转移到 switch 之外。更有趣的是，如果进入 case 0 ，但 c =='A'为 false，那么 if 将控制传递到 then 块的闭合大括号之后，然后开始执行 case 2 中的代码。
if condition then语句中，只有一个跳转；如果条件为_false_，则跳转到then部分之后。如果你最终进入了then部分，继续执行也会让你到达那里。不需要使用break。然而，在迭代形式中，例如while condition block，块被编译为跳回开始测试... - Joshua Taylorbreak，因为循环体会将它们带回开头。switch有点奇怪，因为它不进行迭代。它只需要break，因为程序员通常希望执行一个case而不是穿过其余的case，如果没有break，他们必须在switch语句后面编写一个新标签，并从每个case中使用goto跳转到该标签。无论如何，除非你有...，否则这种控制流交错可能不是好的风格。 - Joshua Taylorgoto 进行示例，但我认为同样的想法也适用于 switch 块。} 在 case 1 上方时的语义不同，这个代码实际上表示如果 state == 0 并且 c != 'A'，则转到 case 2，因为那里是 if 语句的结束括号。然后处理该代码并在 case 2 代码的结尾处遇到 break 语句。
switch-case的奇怪的goto label实现。虽然你的特殊情况可能有点奇怪，很难想出一个使用案例（不过可以看看 Duff's Device），但是当你省略break时，case 的 fall-through 概念确实非常有用。 - Christian Raucase 1:视为单独的标签。语法是完全有效的，但从上下文中可以看出，在这种情况下几乎肯定是逻辑错误。通过发送state ==1进行测试，您将看到不正确的结果。 - Chad