Standard-Klausel vor Fall Abschnitten in der switch-Anweisung

Question

Gefunden dies in 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; 
} 

Vielleicht ist das nicht ganz gutes Beispiel, aber ich kann nicht verstehen, wie es funktioniert und was Sie dazu aufgefordert Linus Standard-Abschnitt vor der switch-Anweisung setzen.

Answer 1

Die Reihenfolge der case Etiketten in einem switch Block im Code hat nichts damit zu tun, die ausgeführt wird. Das default Etikett wird ausgeführt, wenn kein case übereinstimmt oder es von einem case darüber fällt. Das erste in der Codebasis zu haben, ändert das nicht.

Der erste Vorteil, default zuerst zu sein, ist, dass es unmöglich ist, dass ein case darüber zufällig oder absichtlich durch default fällt. Dies bedeutet, default wird ausgeführt, wenn und nur wenn der Wert keine case Anweisungen im switch Block entspricht.

Um extrem pedantisch zu sein, könnten Sie immer noch das default Etikett mit einer expliziten goto treffen. Das ist aber ziemlich selten.