Risposta.

Storia della questione: Le variabili globali e statiche sono state introdotte nel linguaggio C per memorizzare dati al di fuori del contesto locale delle funzioni. L'inizializzazione automatica preliminare e il posizionamento in sezioni speciali del file eseguibile ottimizzano il funzionamento del programma, ma allo stesso tempo portano a comportamenti non sempre evidenti se non compresi.

Problema: È importante sapere che le variabili globali e statiche in C vengono inizializzate o con un valore esplicitamente definito, o automaticamente a zero (Inizializzazione a Zero). L'inizializzazione avviene prima dell'inizio di main, il che riduce il rischio di accesso a dati non inizializzati, ma in determinate condizioni può portare a dipendenze inaspettate legate all'inizializzazione di più moduli e all'ordine di caricamento di questi.

Soluzione:

Inizializza sempre esplicitamente tali variabili, se è richiesto un valore diverso da 0.
Non utilizzare variabili globali per memorizzare dati temporanei.
Ricorda che l'inizializzazione avviene al momento del caricamento del programma, non durante l'esecuzione delle funzioni.

Esempio di codice:

#include <stdio.h>

static int stat_var;
int glob_var = 42;

int main() {
    printf("static: %d, global: %d\n", stat_var, glob_var);
}

Caratteristiche chiave:

Le variabili globali e statiche vengono automaticamente inizializzate a zero, a meno che non sia specificato diversamente.
L'inizializzazione esplicita avviene prima dell'inizio di main.
L'inizializzazione non garantisce la sicurezza dei programmi multithread.

Domande insidiose.

1. Si può fare affidamento sull'azzeramento implicito delle variabili statiche e considerarla una pratica sicura?

Tecnicamente funziona, ma in progetti di grandi dimensioni è meglio inizializzare esplicitamente le variabili per leggibilità e per prevenire eventuali cambiamenti nei compilatori/linker.

2. Quale sarà il risultato se una variabile statica è dichiarata in una funzione esterna senza inizializzazione?

Sarà comunque inizializzata a zero: static int value; all'avvio sarà sempre uguale a 0.

3. Quando avviene l'inizializzazione di una variabile globale con un inizializzatore, se la variabile è dichiarata in un modulo isolato?

L'inizializzazione avviene prima della chiamata a main, ma tra diversi moduli lo standard non garantisce l'ordine di inizializzazione di tali variabili, il che può portare a possibili accessi a dati non inizializzati nel costruttore di un altro modulo.

Errori comuni e anti-pattern

Utilizzo involontario di una variabile globale non inizializzata in un'inizializzazione complessa e dipendente
Applicazione di variabili globali per memorizzare dati temporanei o multithread
Incomprensione dell'ordine di inizializzazione tra più sorgenti

Esempio dalla vita reale

Un sviluppatore ha dichiarato variabili statiche per memorizzare uno stato comune, supponendo che sarebbero sempre state inizializzate esplicitamente.

Vantaggi:

Riduzione della quantità di codice

Svantaggi:

Se la variabile veniva utilizzata in una funzione prima dell'inizializzazione esplicita, si verificavano bug nascosti

Dopo una revisione, le variabili sono state inizializzate esplicitamente al momento della dichiarazione.

Vantaggi:

Leggibilità e sicurezza
Riduzione del numero di dipendenze tra le parti del codice

Svantaggi:

Leggero aumento della lunghezza del codice delle dichiarazioni