Globale Initialisierungsreihenfolge und Abhängigkeitsauflösung in C
In C werden globale Variablen innerhalb einer einzelnen Übersetzungseinheit in der Reihenfolge initialisiert, in der sie definiert sind . Es gibt jedoch keine klar definierte Reihenfolge für globale Variablen in verschiedenen Übersetzungseinheiten. Diese Mehrdeutigkeit kann zu unerwartetem Verhalten führen, wie im folgenden Code dargestellt:
<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>
Wenn addToGlobal aufgerufen wird, bevor globalFoo initialisiert wird, ist das Verhalten wie erwartet:
Foo::Foo() Foo::addToGlobal() START Foo::add() Foo::addToGlobal() END main()
Allerdings Wenn die Reihenfolge umgekehrt wird, wird der Konstruktor für Foo nicht aufgerufen und auf globalFoo kann innerhalb von addToGlobal irgendwie zugegriffen werden:
Foo::addToGlobal() START Foo::add() Foo::addToGlobal() END Foo::Foo() main()
Dieses Verhalten wird der Tatsache zugeschrieben, dass die Reihenfolge der Initialisierung für Globals alle Abhängigkeiten zwischen ihnen ignoriert . In diesem Fall hängt Dummy von globalFoo ab, ihre Initialisierungsreihenfolge ist jedoch nicht garantiert.
Um sicherzustellen, dass der Konstruktor für Foo vor der Verwendung von globalFoo aufgerufen wird, besteht eine Lösung darin, einen statischen Zeiger auf die globale Instanz zu erstellen und zu testen ob es in addToGlobal null ist. Wenn es null ist, wird das globale Foo vor jeder dynamischen Initialisierung erstellt.
Das obige ist der detaillierte Inhalt vonWarum können globale Variablen in verschiedenen Übersetzungseinheiten zu unerwartetem Verhalten in C führen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!