Mengapa Menggunakan Parameter Templat Berbeza untuk Kelas Rakan dalam Templat Bersarang?

Templat Kelas Rakan dalam Templat Bersarang

Pertimbangkan senario menentukan templat kelas untuk pepohon binari (BT) dan elemen dalam pepohon (BE). Apabila mengisytiharkan persahabatan antara kelas ini, mengapakah perlu menggunakan parameter templat yang berbeza untuk kelas rakan berbanding kelas yang mengandungi?

Dalam C , parameter templat tidak boleh membayangi satu sama lain. Dalam konteks templat bersarang, parameter templat templat dalam mesti mempunyai nama yang berbeza daripada parameter templat templat luar.

Sebagai contoh, dalam kod berikut:

template<class T> class BE {
    T *data;
    BE *l, *r;
public:
    template<class U> friend class BT;
};

Parameter templat U kelas rakan BT digunakan untuk membezakannya daripada parameter templat T kelas BE. Ini menyatakan bahawa BT ialah rakan BE tanpa mengira hujah templat BT.

Walau bagaimanapun, jika anda mengisytiharkan kelas rakan seperti berikut:

template<class T> friend class BT;

Ini membayangkan bahawa sebarang instantiasi tertentu BT ialah rakan kepada mana-mana instantiasi BE tertentu. Untuk menentukan persahabatan yang lebih khusus, anda boleh menggunakan sintaks berikut:

template<typename T>
struct foo {
    friend class bar<T>;
};

Ini menunjukkan bahawa bar ialah rakan foo hanya apabila hujah templat bar sepadan dengan hujah templat foo. Dalam kes anda, menggunakan bar kelas rakan; sudah memadai untuk menjalinkan hubungan persahabatan yang diingini.

Atas ialah kandungan terperinci Mengapa Menggunakan Parameter Templat Berbeza untuk Kelas Rakan dalam Templat Bersarang?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!