Qu'est-ce que le « Fiasco de l'ordre d'initialisation statique » (SIOF) en C et comment peut-il être évité ?

Comprendre le problème du « fiasco de l'ordre d'initialisation statique »

En C, l'initialisation statique implique l'initialisation de variables globales et statiques lors du démarrage du programme. Ce processus peut conduire à des comportements inattendus connus sous le nom de « fiasco de l'ordre d'initialisation statique » (SIOF).

Considérez l'exemple de code suivant :

// file1.cpp
extern int y;
int x = y + 1;

// file2.cpp
extern int x;
int y = x + 1;

Dans cet exemple, les variables x et y sont déclarés dans différents fichiers sources. Analysons le processus de compilation et de liaison pour comprendre les problèmes potentiels :

Compilation :

1. Lors de la compilation de file1.cpp, le compilateur rencontre y comme variable externe et le laisse non alloué. Il alloue ensuite de l'espace pour x mais ne l'initialise pas.
2. Dans file2.cpp, le compilateur suit le même processus, laissant x non alloué et allouant de l'espace pour y sans l'initialiser.

Lien :

1. Lors de la liaison, l'ordre dans lequel l'objet est fichier file1.o et file2.o sont liés et n'est pas spécifié.

2. Si file2.o est lié en premier, ce qui suit se produit :

   • x est initialisé à zéro.
   • y est initialisé dynamiquement à l'aide du x initialisé à zéro, ce qui fait que y devient 1.
   • Enfin, x est initialisé dynamiquement à l'aide du y initialisé, ce qui fait que x devient 2.

Conséquences :

Le comportement du programme dépend du ordre dans lequel les fichiers objets sont liés. Cela peut conduire à des résultats inattendus et incohérents, car les valeurs de x et y peuvent être différentes en fonction de l'ordre de liaison.

Ordre standard d'initialisation :

Le C La norme ne précise pas l'ordre dans lequel les variables statiques sont initialisées. Les étapes d'initialisation selon la norme sont les suivantes :

1. Réinitialisez à zéro tous les objets non locaux.
2. Initialisez dynamiquement un objet (soit x, soit y). L'ordre de cette étape n'est pas spécifié.
3. Initialisez dynamiquement l'objet restant (soit x, soit y).

Dans l'exemple ci-dessus, le résultat sera que x et y sont tous deux initialisé à des valeurs différentes (soit 1, soit 2) selon l'ordre dans lequel les fichiers objets sont liés.

Prévention SIOF :

Pour éviter le SIOF et garantir un comportement cohérent, il est recommandé de :

• Éviter les dépendances circulaires entre les variables statiques.
• Initialiser les variables statiques avec constantes ou expressions connues au moment de la compilation.
• Utilisez la directive static_assert pour vérifier que les dépendances statiques sont respectées lors de la compilation. compilation.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!