Pourquoi les variables globales dans différentes unités de traduction peuvent-elles conduire à un comportement inattendu en C ?

Ordre global d'initialisation et résolution des dépendances en C

En C, les variables globales au sein d'une seule unité de traduction sont initialisées dans l'ordre dans lequel elles sont définies . Cependant, il n’existe pas d’ordre bien défini pour les variables globales dans les différentes unités de traduction. Cette ambiguïté peut conduire à un comportement inattendu, comme illustré dans le code suivant :

<code class="cpp">struct Foo {
    Foo() { printf("Foo::Foo()\n"); }
    void add() { printf("Foo::add()\n"); }
    static int addToGlobal() {
        printf("Foo::addToGlobal() START\n");
        globalFoo.add();
        printf("Foo::addToGlobal() END\n");
        return 0;
    }
};

Foo globalFoo;
int dummy = Foo::addToGlobal();</code>

Lorsque addToGlobal est appelé avant l'initialisation de globalFoo, le comportement est comme prévu :

Foo::Foo()
Foo::addToGlobal() START
Foo::add()
Foo::addToGlobal() END
main()

Cependant, lorsque l'ordre est inversé, le constructeur de Foo n'est pas appelé et globalFoo est accessible d'une manière ou d'une autre dans addToGlobal :

Foo::addToGlobal() START
Foo::add()
Foo::addToGlobal() END
Foo::Foo()
main()

Ce comportement est attribué au fait que l'ordre d'initialisation des globals ignore toute dépendance entre eux . Dans ce cas, dummy dépend de globalFoo, mais leur ordre d'initialisation n'est pas garanti.

Pour garantir que le constructeur de Foo est appelé avant d'utiliser globalFoo, une solution consiste à créer un pointeur statique vers l'instance globale et à tester s'il est nul dans addToGlobal. S'il est nul, le Foo global est créé avant toute initialisation dynamique.

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!