Mengapa Parameter Templat Bukan Jenis Mestilah Ungkapan Kamiran Malar?

Parameter Templat Bukan Jenis dan Ungkapan Kamiran Malar

Parameter templat bukan jenis ialah alat yang berharga untuk menyesuaikan templat tetapi mengapa ia penting bahawa ia adalah ungkapan kamiran yang berterusan?

Pertimbangkan yang berikut kod:

template <std::string temp>
void foo() {
     // ...
}

Menyusun kod ini menghasilkan ralat:

error C2993: 'std::string' : illegal type for non-type template parameter 'temp'.

Parameter templat bukan jenis mestilah ungkapan integral yang berterusan kerana ia dinilai semasa penyusunan. Ini membolehkan penjanaan kod langsung tanpa penilaian masa jalan. Jenis seperti std::string, yang boleh berubah semasa runtime, tidak boleh digantikan semasa compile-time.

Standard menetapkan bahawa parameter templat bukan jenis hanya boleh menjadi jenis berikut:

• Jenis bersepadu atau penghitungan
• Penunjuk kepada objek atau functions
• Rujukan Lnilai kepada objek atau fungsi
• Penunjuk kepada ahli
• std::nullptr_t

Dengan mengehadkan parameter templat bukan jenis untuk disusun -nilai pemalar masa, pengkompil boleh menjana kod yang cekap pada masa penyusunan, memastikan bahawa tingkah laku program boleh ditentukan sepenuhnya dan dioptimumkan lebih awal daripada masa jalan.

Atas ialah kandungan terperinci Mengapa Parameter Templat Bukan Jenis Mestilah Ungkapan Kamiran Malar?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!