Risposta.

L'operatore di salto goto è uno degli argomenti più dibattuti nella programmazione in C.

Storia della questione

L'operatore goto è apparso nei linguaggi di programmazione precoci per semplificare la scrittura di ramificazioni e cicli, quando non esistevano ancora altri meccanismi. In C è stato mantenuto per compatibilità e relativamente rari casi in cui le normali costruzioni non sono adatte.

Problema

goto semplifica l'implementazione di alcuni algoritmi a basso livello (ad esempio, la gestione complessa degli errori), ma trasforma facilmente il codice in "spaghetti" con un flusso di controllo intricata. Un uso improprio rende difficile testare, comprendere e mantenere il codice.

Soluzione

L'uso di goto è consentito per gestire l'uscita da cicli annidati o per la pulizia centralizzata delle risorse — ad esempio, in caso di errori in una funzione, dove è necessario liberare sequenzialmente più risorse allocate in fasi diverse.

Esempio di codice:

#include <stdio.h>
#include <stdlib.h>

int process() {
    int *a = malloc(10 * sizeof(int));
    if (!a) return -1;
    int *b = malloc(20 * sizeof(int));
    if (!b) goto cleanup_a;
    // ...
    free(b);
cleanup_a:
    free(a);
    return 0;
}

Caratteristiche chiave:

• Consente di gestire centralmente i casi di errore e di liberazione delle risorse
• Può facilmente trasformare il codice in un intricato e poco mantenibile
• Standardizzato e compatibile con C in tutte le implementazioni, ma da evitare in presenza di alternative

Domande insidiose.

Può il goto saltare a un'altra funzione o uscire da una funzione?

No, l'operatore goto può solo saltare all'interno della stessa funzione — su un'etichetta nella stessa funzione. Tentare di saltare tra funzioni porterà a un errore di compilazione.

È possibile utilizzare goto per entrare in un blocco di dichiarazione di variabili?

Decisamente vietato! Entrare tramite goto in un blocco dove vengono dichiarate variabili con inizializzazione automatica porta a un comportamento indefinito.

Esempio di codice:

void bad() {
    goto label;
    int x = 5;
label:
    printf("%d
", x); // comportamento indefinito
}

Gli operatori continue e break sono goto?

No. Gli operatori break e continue sono specializzati per gestire i cicli e sono solo apparentemente simili a goto per l'idea di salto, ma operano a livello di linguaggio solo con i cicli esterni più vicini, mentre goto opera su etichette dichiarate nella funzione.

Errori comuni e anti-pattern

Pro: Consente di gestire le eccezioni e liberare risorse in modo compatto; a volte semplifica l'uscita da strutture annidate

Contro: Facile da creare "spaghetti code"; complica la manutenzione; viola la programmazione strutturata

Esempio dal vivo

Casi negativi: Nel progetto ci sono quasi 50 salti tramite goto, alcuni addirittura risalendo nel testo. Risultato: difficile comprendere la logica, aumento degli errori, confusione e alti costi di manutenzione. Pro: scritto rapidamente; contro: quasi impossibile da capire e modificare.

Casi positivi: Nella funzione di inizializzazione di un grande oggetto si utilizzano goto solo per liberare centralmente le risorse in caso di errore. Il codice è conciso, facile da mantenere e aggiungere nuove risorse. Pro: leggibilità, prevenzione delle perdite di memoria; contro: alcuni considerano goto un antipattern — richiede attenzione nell'uso.