Label dopo if

[DavideDaSerra]

Da prove con GCC mi risulta che per il compilatore la definizione di una label non sia trattata come un'istruzione.

ES:

Codice: Seleziona tutto

if (false)
label: printf("CIAO ");

printf("MONDO");
goto label;

stampa MONDO CIAO ...

E non da errori, mi aspetterei a runtime qualcosa come "undefined label" ma il codice esegue correttamente.

[WALTERmwp]

(...) mi aspetterei a runtime qualcosa come "undefined label" (...)

perché?

Saluti

[GuidoB]

Il goto in C è utile per gestire eccezioni, o saltare fuori da più di un livello di blocchi annidati (dove non basta il break).
In entrambi i casi, molti dichiarano variabili aggiuntive da utilizzare come flag ed evitare così i goto, ma è meno efficiente e spesso meno chiaro.
Insomma, in qualche raro caso il goto, considerato da molti la pecora nera del C, è utile per ottenere codice più pulito ed efficiente.

Ah, l'ho anche visto utilizzare in un'implementazione dell'algoritmo quicksort, per evitare una chiamata ricorsiva alla fine di una procedura, e permette di risparmiare posizioni di stack.