Mengapakah `B::getB()` Gagal Memulakan `mB` dalam Kelas Templat dengan Ahli Statik?

Permulaan Ahli Statik dalam Templat: Penyelaman Lebih Dalam

Dalam C, pemulaan ahli statik untuk struct helper bersarang biasanya berfungsi tanpa masalah untuk kelas bukan templat. Walau bagaimanapun, apabila kelas yang dilampirkan templat, kemungkinan keanehan timbul jika objek pembantu tidak diakses dalam kod utama.

Isu dengan Kelas Templat

Pertimbangkan contoh mudah berikut:

<code class="cpp">struct A
{
    struct InitHelper
    {
        InitHelper()
        {
            A::mA = "Hello, I'm A.";
        }
    };
    static std::string mA;
    static InitHelper mInit;

    static const std::string& getA(){ return mA; }
};

template<class T>
struct B
{
    struct InitHelper
    {
        InitHelper()
        {
            B<T>::mB = "Hello, I'm B.";
        }
    };
    static std::string mB;
    static InitHelper mInit;

    static const std::string& getB() { return mB; }
    static InitHelper& getHelper(){ return mInit; }
};</code>

Di sini, InitHelper bersarang memulakan mA ahli statik untuk A dan mB untuk B.

Isu timbul apabila kami cuba memulakan ahli dalam kelas templat B. Menggunakan kaedah getB , seperti yang ditunjukkan di bawah, tidak mencetuskan pemulaan mB:

<code class="cpp">std::cout << "B = " << B<int>::getB() << std::endl;

Ini berlaku kerana, menurut piawaian ISO/IEC C 2003 (14.7.1), pemulaan ahli data statik hanya berlaku apabila ahli itu sendiri digunakan dengan cara yang memerlukan definisinya. Dalam kes ini, memandangkan mB hanya dirujuk dalam kaedah getB() kelas templat, pengkompil tidak secara tersirat menyatakan takrifnya secara tersirat.

Penyebaran Tersirat dan Pengkhususan Eksplisit

Untuk memahami pengkompil tingkah laku, adalah penting untuk menjelaskan konsep instantiasi tersirat. Untuk ahli data statik dalam templat, instantiasi tersirat mengisytiharkan pengisytiharan tetapi bukan definisi. Inisialisasi sebenar (panggilan pembina) berlaku hanya apabila ahli data statik digunakan dengan cara yang memerlukan takrifnya (cth., tugasan).

Sebaliknya, pengkhususan eksplisit menggunakan pengisytiharan eksplisit dalam ruang nama atau kelas, yang telah memerintahkan permulaan. Dalam erti kata lain, ahli data statik khusus sentiasa dimulakan sebelum sebarang instantiasi templat kelasnya.

Jawapannya

Dalam contoh kod khusus anda, memanggil B::getHelper() mencetuskan pemulaan kedua-dua mB dan mInit kerana getHelper mengembalikan rujukan kepada mInit, yang memerlukan InitHelper untuk wujud.

Walau bagaimanapun, bergantung pada tertib permulaan ialah gelagat yang tidak ditentukan. Penyelesaian yang betul adalah dengan secara eksplisit mengkhususkan ahli data statik mInit dalam kelas B. Ini akan memastikan bahawa objek pembantu sentiasa dicipta dan mana-mana instantiasi B berikutnya akan mempunyai ahli data statiknya dimulakan dengan betul.

Kesimpulan

Untuk meringkaskan, permulaan ahli statik dalam templat C memerlukan pertimbangan yang teliti. Instalasi tersirat hanya membuat pengisytiharan, bukan takrifan. Untuk permulaan yang teratur dan boleh dipercayai, pengkhususan eksplisit harus dipertimbangkan apabila berurusan dengan kelas templat yang mengandungi ahli data statik.

Atas ialah kandungan terperinci Mengapakah `B::getB()` Gagal Memulakan `mB` dalam Kelas Templat dengan Ahli Statik?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!