Risposta.

La gestione della memoria nell'area di memorizzazione statica nel linguaggio C è una parte importante della comprensione del ciclo di vita delle variabili e delle risorse di un programma.

Storia della questione

In C, vengono distinte aree di memorizzazione delle variabili: automatica (stack), dinamica (heap) e statica (segmento dati/bss). L'area di memorizzazione statica è un'area di memoria riservata per variabili che esistono per tutta la durata dell'esecuzione del programma. In essa vengono collocate le variabili dichiarate con il modificatore static (all'interno e all'esterno delle funzioni) e le variabili globali.

Problema

Si verificano errori con l'area di memorizzazione quando la gestione del tempo di vita delle variabili è errata, si tentano inizializzazioni multiple o si fa erroneo presupposto su accessi in multithreading. I neofiti confondono spesso la memoria statica con quella dinamica o automatica.

Soluzione

Le variabili statiche sono memorizzate nei segmenti di dati (o bss, se non inizializzate). Vengono inizializzate una sola volta prima dell'avvio dell'esecuzione di main() e mantengono il valore tra le chiamate delle funzioni, ma non sono accessibili al di fuori della loro area di visibilità, se dichiarate con static all'interno di una funzione o di un file. Vengono utilizzate per memorizzare lo stato tra le chiamate o per implementare la privacy dei dati.

Esempio di codice:

#include <stdio.h>

void counter() {
    static int count = 0;
    count++;
    printf("Chiamato %d volte\n", count);
}

int main() {
    for (int i = 0; i < 3; i++) counter();
    return 0;
}

Caratteristiche principali:

• Le variabili statiche vengono inizializzate solo una volta, prima dell'inizio di main e vivono fino alla terminazione del programma
• Le variabili statiche all'interno delle funzioni mantengono il valore tra le chiamate della funzione
• L'area di visibilità delle variabili statiche è limitata (funzione o file), ma il tempo di vita è l'intera durata dell'esecuzione del programma

Domande trabocchetto.

Possono le variabili statiche essere locali e globali? Qual è la differenza?

Sì, le variabili statiche locali sono dichiarate all'interno delle funzioni, quelle globali all'esterno di tutte le funzioni. Le locali sono visibili solo all'interno della funzione, le globali all'interno di tutto il file (se static precede la variabile globale, essa è "privata" per il file).

Esempio di codice:

static int g_val = 42; // disponibile in tutto questo file
void foo() {
    static int count = 0; // visibile solo in foo e vive per tutta la durata del programma
}

Quando viene inizializzata esattamente una variabile statica: ad ogni accesso alla funzione, al primo richiamo o prima dell'avvio di main?

Tutte le variabili statiche (globali o locali, dichiarate con static) vengono inizializzate prima dell'avvio di main(), cioè durante il caricamento del programma. Se l'inizializzazione è esplicita, viene utilizzato il valore specificato, altrimenti la variabile viene inizializzata a zero.

È possibile dichiarare un array di variabili con il modificatore static all'interno del corpo di una funzione? Come si comporterebbe?

Sì, è possibile. Tale array manterrà i valori tra le chiamate della funzione e alla prima chiamata sarà inizializzato a zero (se non diversamente specificato).

Esempio di codice:

void bar() {
    static int arr[3]; // tutti gli elementi saranno uguali a 0 alla prima chiamata
    arr[0]++;
    printf("arr[0]=%d\n", arr[0]);
}

Errori comuni e anti-pattern

Pro: Comodo per memorizzare lo stato tra le chiamate delle funzioni, può implementare dati "privati", non è necessario gestire manualmente l'allocazione/deallocazione della memoria

Contro: Non adatto per programmi thread-safe senza ulteriore sincronizzazione, utilizzo errato per memorizzare grandi volumi di dati, può portare a comportamenti imprevedibili con modifiche errate dei valori

Esempio della vita reale

Caso negativo: Un sviluppatore memorizza una copia temporanea di un enorme array in static all'interno di una funzione. Di conseguenza, l'applicazione occupa sempre un'enorme quantità di memoria, anche quando quell'array non è necessario. Vantaggio: semplicità di accesso, svantaggio: elevato consumo di memoria, nessuna gestione esplicita dell'allocazione.

Caso positivo: Un contatore statico delle chiamate di funzione viene utilizzato per la diagnostica e il profiling (vedi esempio sopra). Vantaggio: nessuna esigenza di variabili globali, svantaggio: attenzione con il multithreading – è necessaria la sincronizzazione.