Switch senza custodia

Question

Oggi ho scoperto per caso che il mio compilatore non si lamenta quando scrive codice all'interno di un'istruzione switch senza un caso. (Si lamentava della mancanza di dichiarazioni di casi, ma dopo aver aggiunto uno dopo il codice, non c'era nemmeno un avvertimento per farmi sapere che il codice era inutile.)

Sto cercando di capire se c'è uno scopo per consentire il seguente codice, o se è solo una di quelle cose in cui "è più lavoro limitarlo, quindi è permesso".

#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; 
     } 
    } 
} 

Emette ora "4" come previsto quando un == 4, e non è mai uscite foo. Quindi la domanda è, c'è qualche motivo (potenzialmente esoterico ma utile) per consentire l'affermazione foo(); prima del primo caso? So per certo che non sono autorizzato a dichiarare e inizializzare le variabili lì.

(FWIW, ho provato questo su diversi compilatori, e sono tutti cedendo lo stesso comportamento. Sorprendentemente, anche tutti non lo fanno emettere un avvertimento.)

Answer 1

Sì, il comportamento è come previsto in la lingua e puoi aggiungere codice in posti diversi. Le istruzioni switch sono molto più complicate rispetto all'aspetto e consentono un codice piuttosto esoterico, indipendentemente dal fatto che abbia senso o meno.

Se si desidera passare un po 'di tempo a guardare alcuni usi strani di switch e la posizione dei casi, è possibile esaminare l'implementazione delle coroutine nella libreria boost asio. Puoi scrivere una piccola funzione con le macro, compilare e vedere come appare il codice generato (dopo l'espansione della macro).

Answer 2

Dalle MSDN: -

dichiarazioni possano apparire alla testa dello stato composto formatore corpo dell'interruttore, ma inizializzazioni incluse nelle dichiarazioni sono non eseguito. L'istruzione switch trasferisce il controllo direttamente a un'istruzione eseguibile all'interno del corpo, ignorando le righe che contengono le inizializzazioni .