切换案例奇怪的范围

Question

查看一些第 3 方 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？
与在预期位置关闭大括号相比，此代码的执行有什么影响？
有什么情况可以使用吗？

编辑：在示例中，我查看了所有中断（如上） - 但答案也可能包括在情况 0 或 1 中不存在中断时的行为。

Answer 1

它不仅有效，在实际代码中也使用了类似的结构，例如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 或breaks。当您执行完if 语句的then 部分后，您只需继续，这样您就会陷入case 2:。现在，既然你有switch 和break，那么break 可以突破什么很重要。根据MSDN page, “The C break statement”，

break 语句终止最近的封闭 do、for、switch 或 的执行>while 语句。控制权传递给终止语句之后的语句。

因为最近的封闭 do、for、switch 或 while 语句是您的 switch （注意 if 不包含在该列表中），那么如果您在 then 块内，则转移到 switch 语句的外部。不过，更有趣的是，如果您输入 case 0 会发生什么，但 c == 'A' 是假的。然后if 将控制权转移到then 块的右大括号之后，然后您开始执行case 2 中的代码。

Answer 2

在 C 和 C++ 中，只要不跳过任何变量声明，就可以跳入循环和 if 块。您可以查看this answer 以查看使用goto 的示例，但我不明白为什么相同的想法不适用于switch 块。

语义与 } 高于 case 1 时的语义不同。
这段代码实际上说如果state == 0 和c != 'A' 然后转到case 2，因为那是if 语句的右大括号所在的位置。然后它处理该代码并点击case 2 代码末尾的break 语句。