Perché ottengo "un'etichetta può essere solo parte di un'istruzione e una dichiarazione non è un'istruzione" se ho una variabile inizializzata dopo un'etichetta?

Question

Ho il seguente codice semplificato:

#include <stdio.h> 
int main() 
{ 
    printf("Hello "); 
    goto Cleanup; 
Cleanup: 
    char *str = "World\n"; 
    printf("%s\n", str); 
} 

ottengo un errore a causa di una nuova variabile viene dichiarata dopo l'etichetta. Se inserisco il contenuto (principalmente l'inizializzazione) dopo l'etichetta in un blocco {}, la compilazione ha esito positivo.

Penso di aver compreso il motivo del blocco in caso di un interruttore, ma perché dovrebbe essere applicabile in caso di un'etichetta?

Questo errore da un compilatore gcc

Answer 1

Lo standard di lingua semplicemente non lo consente. Le etichette possono essere seguite solo da dichiarazioni e le dichiarazioni non contano come dichiarazioni in C. Il modo più semplice per aggirare questo è inserire un'istruzione vuota dopo l'etichetta, che ti solleva dal tenere traccia dell'ambito nel modo in cui avresti bisogno di all'interno di un blocco.

#include <stdio.h> 
int main() 
{ 
    printf("Hello "); 
    goto Cleanup; 
Cleanup: ; //This is an empty statement. 
    char *str = "World\n"; 
    printf("%s\n", str); 
} 

Answer 2

Questo è un capriccio della grammatica C. Un etichetta (Cleanup:) non è permesso di apparire immediatamente prima di un dichiarazione (come char *str ...;), solo prima una dichiarazione (printf(...);). In C89 questa non è stata una grande difficoltà perché le dichiarazioni potevano apparire solo all'inizio di un blocco, quindi puoi sempre spostare l'etichetta un po 'in basso ed evitare il problema. In C99 puoi mescolare dichiarazioni e codice, ma non puoi ancora mettere un'etichetta immediatamente prima di una dichiarazione.

È possibile inserire un punto e virgola immediatamente dopo i due punti dell'etichetta (come suggerito da Renan) per fare in modo che sia presente un'istruzione vuota; questo è quello che farei nel codice generato dalla macchina. In alternativa, sollevare la dichiarazione all'inizio della funzione:

int main (void) 
{ 
    char *str; 
    printf("Hello "); 
    goto Cleanup; 
Cleanup: 
    str = "World\n"; 
    printf("%s\n", str); 
    return 0; 
}