Mengapa Carian Bergantung Hujah Gagal Mencari Templat Fungsi dengan Argumen Templat Eksplisit dalam C ?

Templat Carian Bersandar Argumen dan Fungsi dalam C

Pencarian bergantung hujah (ADL) ialah ciri bahasa yang membolehkan pengkompil mencari pengecam dalam ruang nama yang dikaitkan dengan hujah panggilan fungsi. Walaupun ADL biasanya mencari fungsi, ia gagal untuk mencari templat fungsi dalam beberapa senario.

Penjelasan Standard C

Seksyen 14.8.1.6 Standard C (2003) menyatakan bahawa:

"Tetapi apabila templat fungsi dengan hujah templat eksplisit adalah digunakan, panggilan tidak mempunyai bentuk sintaksis yang betul melainkan terdapat templat fungsi dengan nama itu kelihatan pada titik panggilan Jika tiada nama sedemikian kelihatan, panggilan itu tidak terbentuk secara sintaksis dan carian bergantung kepada hujah tidak memohon."

Contoh

Pertimbangkan perkara berikut contoh:

namespace ns {
    struct foo {};
    template<int i> void frob(foo const&amp;) {}
    void non_template(foo const&amp;) {}
}

int main() {
    ns::foo f;
    non_template(f); // This is fine.
    frob<0>(f); // This is not.
}

Panggilan terakhir dalam utama (frob<0>(f);) gagal disusun kerana tiada templat fungsi dengan nama frob kelihatan dalam skop panggilan. ADL tidak dapat mencari frob<0> kerana templat fungsi tidak dianggap sebagai panggilan fungsi yang sah oleh sintaks pengkompil.

Pertimbangan Tambahan

• Untuk nama fungsi ringkas (tanpa argumen templat), ADL masih boleh cari templat fungsi walaupun namanya tidak kelihatan.
• Namun, jika templat fungsi dipanggil dengan hujah templat eksplisit, templat fungsi dengan nama khusus itu mesti kelihatan dalam skop panggilan untuk ADL berjaya.
• Dalam sesetengah kes, menggunakan pengisytiharan boleh menjadikan templat fungsi kelihatan, membolehkan ADL menemuinya .

Atas ialah kandungan terperinci Mengapa Carian Bergantung Hujah Gagal Mencari Templat Fungsi dengan Argumen Templat Eksplisit dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!