Variabili, Scope e Ciclo di Vita

In C, un oggetto è una regione di memoria che può rappresentare dei valori. Una variabile è un esempio di oggetto a cui abbiamo assegnato un identificatore (un nome) e un tipo (che dice al compilatore come interpretare i bit in quella memoria).

Contesto Storico

Nelle primissime versioni del C (come il K&R C), le variabili dovevano essere dichiarate rigorosamente all’inizio di un blocco, prima di qualsiasi istruzione eseguibile. A partire dallo standard C99, è possibile dichiarare le variabili in qualsiasi punto del blocco, migliorando la leggibilità e permettendo di inizializzarle più vicino al loro effettivo utilizzo.

Dichiarazione di Variabili

Quando dichiari una variabile, le assegni un tipo e un nome. Puoi anche dichiarare più variabili sulla stessa riga, ma è considerata una pratica migliore separarle per renderle più leggibili, specialmente quando si usano i puntatori:

// Pratica sconsigliata:
char *src, c; // src è un puntatore, c è un carattere normale
int x, y[5];  // x è intero, y è un array

// Pratica raccomandata:
char *src;
char c;
int x;
int y[5];

Best Practice Industriale

Secondo le linee guida MISRA C (Motor Industry Software Reliability Association), è fortemente raccomandato dichiarare una sola variabile per riga. Questo riduce la confusione visiva ed evita errori insidiosi legati all’associazione dei puntatori.

Lo Scope (Visibilità)

Lo scope determina la porzione di codice in cui un identificatore (il nome della variabile) può essere utilizzato. Il C ha principalmente:

1. File Scope: Variabili dichiarate fuori da qualsiasi funzione. Sono visibili in tutto il file da quel punto in poi.
2. Block Scope: Variabili dichiarate all’interno di un blocco di codice delimitato da parentesi graffe { } (come dentro un if, un for o una funzione). Esistono e sono visibili solo all’interno di quel blocco.

Attenzione all’Hiding

Se dichiari una variabile in un blocco interno con lo stesso nome di una in un blocco esterno, quella interna nasconde (shadowing) quella esterna fino alla fine del blocco. Questo è spesso causa di bug logici difficili da individuare! MISRA C vieta esplicitamente lo shadowing delle variabili.

Storage Duration (Ciclo di Vita)

Se lo scope riguarda la “visibilità” del nome, lo storage duration riguarda il tempo in cui l’oggetto esiste fisicamente in memoria (lifetime).

• Automatica: Le variabili locali (block scope) nascono quando si entra nel blocco (spesso allocate sullo Stack) e vengono distrutte quando si esce.
• Statica: Usando la parola chiave static (o dichiarandole a livello di file scope), la variabile viene creata all’avvio del programma e mantiene il suo valore tra una chiamata e l’altra della funzione.

Attenzione ai puntatori a variabili locali

Non restituire MAI un puntatore a una variabile con storage duration automatica. Quando la funzione termina, la variabile viene distrutta e il puntatore punterà a un’area di memoria non più valida (dangling pointer).

void incrementa(void) {
    // Questa variabile nasce una volta sola e ricorda il suo valore
    static unsigned int counter = 0;
    counter++;
    printf("%d ", counter);
}

💻 Esercizio Pratico: Variable Shadowing

Modifica il codice per risolvere il problema dell’hiding, facendo in modo che la variabile x esterna venga modificata correttamente al posto di dichiararne una nuova.

🧠 Verifica le tue conoscenze

🧠In un sistema critico conforme a MISRA C, perché lo shadowing delle variabili è vietato?

Espandi quiz

🧠Cosa succede in memoria a una variabile dichiarata come `static` all'interno di una funzione?

Espandi quiz

🧠Quale problematica si verifica se una funzione restituisce l'indirizzo di una sua variabile locale?

Espandi quiz