Heim  >  Artikel  >  Backend-Entwicklung  >  Warum können globale Variablen in verschiedenen Übersetzungseinheiten zu unerwartetem Verhalten in C führen?

Warum können globale Variablen in verschiedenen Übersetzungseinheiten zu unerwartetem Verhalten in C führen?

Barbara Streisand
Barbara StreisandOriginal
2024-10-30 02:51:28947Durchsuche

 Why Can Global Variables in Different Translation Units Lead to Unexpected Behavior in C  ?

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!

Stellungnahme:
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn