switch 语句中 case 部分之前的 default 子句

Question

在 linux/kernel/signal.c 中找到这个

switch (_NSIG_WORDS) {
default:
    for (i = 1; i < _NSIG_WORDS; ++i) {
        x = *++s &~ *++m;
        if (!x)
            continue;
        sig = ffz(~x) + i*_NSIG_BPW + 1;
        break;
    }
    break;

case 2:
    x = s[1] &~ m[1];
    if (!x)
        break;
    sig = ffz(~x) + _NSIG_BPW + 1;
    break;

case 1:
    /* Nothing to do */
    break;
}

也许这不是一个很好的例子，但我不明白它是如何工作的，以及是什么促使 Linus 将 default-section 放在 switch 语句的前面。

Answer 1

代码中switch 块中case 标签的顺序与执行哪个标签无关。如果没有case 匹配，或者它从上面的case 中落下，则执行default 标签。将它放在代码库中并不会改变这一点。

让default 成为第一的一个好处是，它上面的case 不可能意外或故意落入default。这意味着当且仅当该值与 switch 块中的任何 case 语句不匹配时，default 才会运行。

为了非常迂腐，您仍然可以使用明确的goto 来点击default 标签。不过，这非常罕见。