Apakah 'Static Initialization Order Fiasco' (SIOF) dalam C , dan bagaimanakah ia boleh dicegah?

Memahami masalah "kegagalan tertib pemula statik"

Dalam C , pemulaan statik melibatkan pemulaan pembolehubah global dan statik semasa program permulaan. Proses ini boleh membawa kepada gelagat yang tidak dijangka yang dikenali sebagai "statik initialization order fiasco" (SIOF).

Pertimbangkan contoh kod berikut:

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

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

Dalam contoh ini, pembolehubah x dan y diisytiharkan dalam fail sumber yang berbeza. Mari kita analisa proses penyusunan dan pemautan untuk memahami isu yang berpotensi:

Kompilasi:

1. Apabila menyusun fail1.cpp, pengkompil menemui y sebagai pembolehubah luaran dan membiarkannya tidak diperuntukkan. Ia kemudian memperuntukkan ruang untuk x tetapi tidak memulakannya.
2. Dalam file2.cpp, pengkompil mengikuti proses yang sama, meninggalkan x tidak diperuntukkan dan memperuntukkan ruang untuk y tanpa memulakannya.

Memaut:

1. Semasa memaut, tertib yang fail objek fail1.o dan fail2.o dipautkan tidak ditentukan.

2. Jika fail2.o dipautkan dahulu, perkara berikut berlaku:

   • x mendapat dimulakan sifar .
   • y dimulakan secara dinamik menggunakan x dimulakan sifar, menyebabkan y menjadi 1.
   • Akhir sekali, x dimulakan secara dinamik menggunakan y yang dimulakan, menghasilkan x menjadi 2.

Akibat:

Gelagat program bergantung pada susunan fail objek dipautkan. Ini boleh membawa kepada hasil yang tidak dijangka dan tidak konsisten, kerana nilai x dan y boleh berbeza berdasarkan tertib pemautan.

Aturan Piawaian Permulaan:

C standard tidak menyatakan susunan pembolehubah statik dimulakan. Langkah pemulaan mengikut standard adalah seperti berikut:

1. Sifar-mulakan semua objek bukan setempat.
2. Asalkan objek secara dinamik (sama ada x atau y). Susunan langkah ini tidak ditentukan.
3. Memulakan objek yang tinggal secara dinamik (sama ada x atau y).

Dalam contoh di atas, hasilnya ialah kedua-dua x dan y ialah dimulakan kepada nilai yang berbeza (sama ada 1 atau 2) bergantung pada susunan fail objek dipautkan.

Mencegah SIOF:

Untuk mencegah SIOF dan memastikan tingkah laku yang konsisten, adalah disyorkan untuk:

• Mengelakkan pergantungan bulat antara statik pembolehubah.
• Memulakan pembolehubah statik dengan pemalar atau ungkapan yang diketahui pada masa kompilasi.
• Gunakan arahan static_assert untuk mengesahkan bahawa kebergantungan statik dipenuhi semasa penyusunan.

Atas ialah kandungan terperinci Apakah 'Static Initialization Order Fiasco' (SIOF) dalam C , dan bagaimanakah ia boleh dicegah?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!