Réponse.

La gestion de la mémoire dans la zone de stockage statique en langage C est une partie importante de la compréhension du cycle de vie des variables et des ressources d'un programme.

Historique de la question

En C, on distingue des zones de stockage pour les variables : automatique (pile), dynamique (tas) et statique (segment de données/bss). La zone de stockage statique est une zone de mémoire allouée pour des variables existant pendant toute l'exécution du programme. Elle contient les variables déclarées avec le spécificateur static (à l'intérieur et à l'extérieur des fonctions) ainsi que les variables globales.

Problème

Des erreurs de zone de stockage surviennent lors d'une gestion incorrecte du temps de vie des variables, par des tentatives de réinitialisations multiples ou par une supposition erronée sur l'accès multithread. Les débutants confondent également souvent la mémoire statique avec la mémoire dynamique ou automatique.

Solution

Les variables statiques sont stockées dans les segments de données (ou bss, si non initialisées). Elles sont initialisées une fois avant le démarrage de main() et conservent leur valeur entre les appels de fonctions, mais ne sont pas accessibles en dehors de leur portée, si elles sont déclarées avec static à l'intérieur d'une fonction ou d'un fichier. Elles sont utilisées pour conserver l'état entre les appels ou pour mettre en œuvre la confidentialité des données.

Exemple de code :

#include <stdio.h>

void compteur() {
    static int count = 0;
    count++;
    printf("Appelé %d fois\n", count);
}

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

Caractéristiques clés :

• Les variables statiques sont initialisées une seule fois, avant le démarrage de main, et vivent jusqu'à la fin du programme
• Les variables static à l'intérieur des fonctions conservent leur valeur entre les appels de fonction
• La portée des variables static est limitée (à la fonction ou au fichier), mais leur temps de vie est la durée d'exécution du programme

Questions piégeuses.

Les variables statiques peuvent-elles être locales et globales ? Quelle est la différence ?

Oui, les variables static locales sont déclarées à l'intérieur des fonctions, les globales à l'extérieur de toutes les fonctions. Les locales sont visibles uniquement à l'intérieur de la fonction, les globales à l'intérieur de tout le fichier (si static est indiqué avant une variable globale, elle est "privée" pour le fichier).

Exemple de code :

static int g_val = 42; // accessible dans tout ce fichier
void foo() {
    static int count = 0; // visible uniquement dans foo et vit pendant tout le temps d'exécution du programme
}

Quand exactement une variable statique est-elle initialisée : à chaque entrée dans la fonction, au premier appel ou avant le démarrage de main ?

Toutes les variables statiques (globales ou locales, déclarées avec static) sont initialisées avant le démarrage de main(), c'est-à-dire lors du chargement du programme. Si l'initialisation est explicite, la valeur spécifiée est utilisée, sinon la variable est initialisée à zéro.

Peut-on déclarer un tableau de variables avec le modificateur static à l'intérieur du corps d'une fonction ? Comment se comportera-t-il ?

Oui, c'est possible. Un tel tableau conservera les valeurs entre les appels de fonction, et lors du premier appel, il sera initialisé à des zéros (sauf indication contraire).

Exemple de code :

void bar() {
    static int arr[3]; // tous les éléments seront égaux à 0 lors du premier appel
    arr[0]++;
    printf("arr[0]=%d\n", arr[0]);
}

Erreurs typiques et anti-modèles

Avantages : Pratique pour conserver l'état entre les appels de fonctions, on peut réaliser des données "privées", pas besoin d'allouer/libérer manuellement de la mémoire.

Inconvénients : Pas adaptées pour des programmes sécurisés sans synchronisation supplémentaire, à utiliser avec précaution pour le stockage de grandes quantités de données, peuvent conduire à un comportement imprévisible en cas de modification incorrecte de la valeur.

Exemple de la vie réelle

Cas négatif : Un développeur conserve une copie temporaire d'un énorme tableau dans static à l'intérieur d'une fonction. En conséquence, l'application utilise toujours une énorme quantité de mémoire, même lorsque ce tableau n'est pas nécessaire. Avantage : simplicité d'accès, inconvénient : forte consommation de mémoire, pas de gestion explicite de l'allocation.

Cas positif : Un compteur statique pour le nombre d'appels de fonction est utilisé pour le diagnostic et le profilage (voir l'exemple ci-dessus). Avantage : pas besoin de variables globales, inconvénient : il faut être prudent avec le multithreading — une synchronisation est nécessaire.