Switch ohne Case

Question

Heute habe ich zufällig entdeckt, dass mein Compiler nicht beim Schreiben von Code innerhalb einer Switch-Anweisung ohne einen Fall zu klagen. (Es beschwerte sich über das Fehlen von Case-Anweisungen, aber nach dem Hinzufügen eines nach dem Code, gab es nicht einmal eine Warnung, um mich wissen zu lassen, dass der Code nutzlos war.)

Ich versuche herauszufinden, ob Es gibt einen Zweck, den folgenden Code zuzulassen, oder wenn es nur eines dieser Dinge ist, bei denen "es mehr Arbeit ist, es einzuschränken, also ist es erlaubt".

#include <iostream> 
void foo() { 
    std::cout << "foo" << std::endl; 
} 

int main() 
{ 
    for (int a = -10; a < 10; ++a) 
    { 
     switch(a) 
     { 
     foo(); 
     case 4: 
     std::cout << "4" << std::endl; 
     } 
    } 
} 

Dies gibt nun "4" wie erwartet, wenn ein == 4, und es nie foo ausgibt. Die Frage ist also, gibt es einen (möglicherweise esoterischen, aber nützlichen) Grund, die Aussage foo(); vor dem ersten Fall zu berücksichtigen? Ich bin mir sicher, dass ich dort keine Variablen deklarieren und initialisieren darf.

(FWIW, habe ich dies auf mehrere Compiler getestet, und sie sind alle das gleiche Verhalten ergibt. Überraschenderweise sie alle Ausgaben auch nicht eine Warnung.)

Answer 1

Ja, das Verhalten wie vorgesehen in die Sprache und Sie können Code an verschiedenen Orten hinzufügen. Switch-Anweisungen sind viel komplizierter als das Aussehen, und sie erlauben ziemlich esoterischen Code, ob es Sinn macht oder nicht.

Wenn Sie einige Zeit verwenden möchten, um einige seltsame Anwendungen von switch und den Speicherort von Fällen zu betrachten, können Sie die Implementierung von Korotinen in der Boost Asio-Bibliothek betrachten. Sie können eine kleine Funktion mit den Makros schreiben, kompilieren und sehen, wie der generierte Code (nach der Makroerweiterung) aussieht.

Answer 2

Von den MSDN: -

Erklärungen können an der Spitze der zusammengesetzten Anweisung erscheinen den Schalterkörper bildet, sondern Initialisierungen in den Erklärungen enthalten sind nicht durchgeführt. Die switch-Anweisung überträgt die Steuerung direkt an eine ausführbare Anweisung innerhalb des Rumpfs. Dabei werden die Zeilen umgangen, die Initialisierungen enthalten.