Mengapa Pembolehubah Global dalam Unit Terjemahan Berbeza Boleh Membawa kepada Gelagat Tidak Dijangka dalam C ?

Tertib Permulaan Global dan Resolusi Ketergantungan dalam C

Dalam C , pembolehubah global dalam satu unit terjemahan dimulakan mengikut susunan yang ditakrifkan . Walau bagaimanapun, tiada susunan yang jelas untuk pembolehubah global merentas unit terjemahan yang berbeza. Kekaburan ini boleh membawa kepada tingkah laku yang tidak dijangka, seperti yang digambarkan dalam kod berikut:

<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>

Apabila addToGlobal dipanggil sebelum globalFoo dimulakan, tingkah laku adalah seperti yang dijangkakan:

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

Walau bagaimanapun, apabila tertib diterbalikkan, pembina untuk Foo tidak dipanggil dan globalFoo entah bagaimana boleh diakses dalam addToGlobal:

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

Tingkah laku ini dikaitkan dengan fakta bahawa susunan permulaan untuk global mengabaikan sebarang kebergantungan antara mereka . Dalam kes ini, dummy bergantung pada globalFoo, tetapi susunan permulaannya tidak dijamin.

Untuk memastikan bahawa pembina untuk Foo dipanggil sebelum menggunakan globalFoo, satu penyelesaian adalah untuk mencipta penunjuk statik kepada contoh global dan ujian sama ada ia batal dalam addToGlobal. Jika ia adalah batal, Foo global dibuat sebelum sebarang permulaan dinamik.

Atas ialah kandungan terperinci Mengapa Pembolehubah Global dalam Unit Terjemahan Berbeza Boleh Membawa kepada Gelagat Tidak Dijangka dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!