klauzula domyślna przed sekcjach przypadek w instrukcji switch

Question

Znalazłem to w 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; 
} 

Może to nie jest dość dobry przykład, ale nie mogę zrozumieć, jak to działa i co skłoniło Linus wstawić domyślną sekcję na początku instrukcji switch.

Answer 1

Kolejność etykiet case w obrębie bloku switch nie ma nic wspólnego z tym, który z nich jest wykonywany. Etykieta default jest wykonywana, jeśli nie pasuje case lub przewyższa ją z poziomu case powyżej. Posiadanie go po raz pierwszy w bazie kodu nie zmienia tego.

Jedną z zalet posiadania default na pierwszym miejscu jest to, że niemożliwe jest przypadkowe lub celowe przebicie się przez case powyżej do default. Oznacza to, że default będzie działał, jeśli i tylko jeśli wartość będzie zgodna z żadnymi instrukcjami w bloku switch.

Aby być wyjątkowo pedantycznym, można jeszcze uderzyć w etykietę default z wyraźnym goto. Jest to jednak dość rzadkie.