Risposta

Nel linguaggio C, le variabili con area di allocazione automatica (auto, per impostazione predefinita) vengono create nello stack all'ingresso nell'area della loro visibilità (di solito, la funzione) e vengono automaticamente distrutte all'uscita da essa.

Le caratteristiche includono:

• L'accesso a tale variabile è possibile solo all'interno del blocco in cui è dichiarata.
• Lo stack ha una dimensione limitata, il suo traboccamento porta a un errore (stack overflow).
• Restituire l'indirizzo di una variabile automatica dalla funzione porta a un comportamento indefinito.

Esempio di utilizzo corretto e scorretto:

int* wrong() {
    int x = 42;
    return &x;  // ERRORE: x verrà distrutto dopo l'uscita dalla funzione
}

void correct() {
    int y = 123;
    printf("%d\n", y); // tutto bene
}

---

Domanda insidiosa

Cosa succede se restituisci l'indirizzo di una variabile locale dalla funzione?

Risposta errata comune: «Il puntatore manterrà il valore».

Risposta corretta: L'indirizzo restituito diventerà non valido dopo l'uscita dalla funzione, l'area di memoria verrà nuovamente allocata per altre variabili automatiche o funzioni. Utilizzare tale puntatore comporta un comportamento indefinito.

Esempio:

int* myfunc() {
    int temp = 10;
    return &temp; // temp viene distrutto dopo il ritorno
}

int main() {
    int* p = myfunc();
    printf("%d\n", *p); // COMPORTAMENTO INDEFINITO
}

---

Esempi di errori reali a causa della mancanza di conoscenza delle sfumature dell'argomento

---

Storia

In un grande progetto di sistema bancario, un programmatore restituì da una funzione utente un puntatore a un array locale per l'elaborazione dei risultati. Il sistema funzionava in modo instabile: i dati venivano periodicamente danneggiati o modificati in modo imprevisto, portando a un costoso bug nella reportistica.

Storia

Nel codice del driver di un dispositivo periferico, un programmatore utilizzò un buffer dello stack per la trasmissione asincrona. La latenza tra l'inizio e il completamento della trasmissione portava a un danneggiamento dei dati poiché il buffer veniva distrutto prima del completamento dell'operazione.

Storia

Nel firmware di un registratore medico era stato implementato un cache nello stack per accelerare l'elaborazione dei dati. Sotto carico, lo stack traboccava, portando al riavvio del dispositivo e alla perdita di dati sui pazienti.