Bilakah Kata Kunci 'nama taip' Diperlukan dalam Templat C?

Bilakah Kata Kunci "typename" Diperlukan? [pendua]

Pertimbangkan kod berikut:

template<class K>
class C {
    struct P {};
    vector<P> vec;
    void f();
};

template<class K>
void C<K>::f() {
    typename vector<P>::iterator p = vec.begin();
}

Mengapakah kata kunci "typename" diperlukan dalam contoh ini?

Jawapan:

Kata kunci "typename" diperlukan apabila anda merujuk nama bersarang dalam kelas atau fungsi templat di mana jenis nama bersarang tidak diketahui pada masa penyusunan. Ini dirujuk sebagai "nama bergantung."

Dalam C , terdapat tiga kategori entiti: nilai, jenis dan templat. Setiap satu daripada ini boleh mempunyai nama, tetapi nama itu sendiri tidak menunjukkan kategori mana entiti itu tergolong. Oleh itu, pengkompil mesti membuat kesimpulan kategori entiti daripada konteks.

Apabila pengkompil tidak boleh membuat kesimpulan kategori, anda mesti menyatakannya secara eksplisit menggunakan kata kunci yang sesuai:

• " typename": menentukan jenis dalam a templat
• "template": menentukan templat dalam templat
• "value": menentukan nilai dalam templat (tidak ditunjukkan secara eksplisit dalam contoh)

Dalam kod yang disediakan, nama bersarang "vektor

" ialah jenis dalam kelas templat. Walau bagaimanapun, pengkompil tidak boleh membuat kesimpulan ini kerana parameter jenis "K" tidak diketahui pada masa penyusunan. Oleh itu, kata kunci "nama taip" diperlukan untuk menyatakan secara eksplisit bahawa "vektor

" ialah sejenis.

Kes lain di mana "nama taip" mesti dinyatakan termasuk:

• Apabila mengisytiharkan alias templat dalam kelas
• Apabila mentakrifkan pembina atau pemusnah untuk jenis bersarang
• Apabila mengakses fungsi ahli bersarang taip
• Apabila menggunakan jenis sebagai hujah templat

Atas ialah kandungan terperinci Bilakah Kata Kunci 'nama taip' Diperlukan dalam Templat C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!