По умолчанию пункт перед тем случае секций в операторе переключателя

Question

Нашел в Linux/ядро ​​/ 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; 
} 

Может быть, это не совсем хороший пример, но я не могу понять, как это работает, и что побудило Линуса поставить раздел по умолчанию перед оператором switch.

Answer 1

Порядок case ярлыков в блоке switch в коде не имеет ничего общего с тем, какой из них выполнен. Надпись default выполняется, если нет case, или она проходит через case над ней. Наличие его сначала в базе кода не меняет этого.

Единственное преимущество иметь default быть первым в том, что над ним не должно быть case, чтобы случайно или намеренно провалиться до default. Это означает, что default будет работать, если и только если значение не соответствует case операторам в блоке switch.

Чтобы быть чрезвычайно педантичным, вы все равно можете нанести ярлык default с явным goto. Это довольно редко.