Mengapa Potongan Hujah Templat Gagal dengan `std::map` dalam Konteks Tidak Boleh Dipotong?

Isu dengan Potongan Argumen Templat dalam Konteks Tidak Boleh Deduksi

Dalam coretan kod ini, kami menghadapi ralat semasa cuba menggunakan fungsi ujian dengan TMap instance:

struct TMap
{
    typedef std::map<T, T> Type;
};

template<typename T>
T test(typename TMap<T>::Type &amp;tmap_) { return 0.0; }

int main()
{
    TMap<double>::Type tmap;
    tmap[1.1] = 5.2;
    double d = test(tmap); // Error
}

Ralat berpunca daripada ketidakupayaan pengkompil untuk menyimpulkan hujah templat T daripada tmap hujah fungsi. Keadaan ini timbul kerana kita berada dalam konteks yang tidak boleh disimpulkan, di mana hujah templat tidak boleh disimpulkan daripada hujah panggilan fungsi.

Dalam pengaturcaraan berasaskan templat, terdapat situasi tertentu di mana pengkompil boleh secara automatik menyimpulkan hujah templat daripada hujah panggilan fungsi. Ini dikenali sebagai potongan hujah templat. Walau bagaimanapun, dalam kes ini, pengkompil tidak boleh menyimpulkan T berdasarkan tmap_ kerana ia adalah contoh std::map, yang tidak terikat secara langsung dengan TMap::Type.

Jika kami mengkhususkan TMap untuk jenis T tertentu, pengkompil tidak akan dapat menentukan pengkhususan yang akan digunakan, memandangkan std::map boleh digandingkan dengan kedua-dua TMap dan TMap.

Untuk menyelesaikan isu ini, kami boleh menentukan hujah templat T secara eksplisit apabila memanggil fungsi ujian:

double d = test<double>(tmap);

Dengan menyatakan dua kali ganda sebagai hujah templat, pengkompil boleh menyimpulkan dengan betul jenis tmap_ dan membuat kesimpulan bahawa ia sepadan TMap::Jenis.

Atas ialah kandungan terperinci Mengapa Potongan Hujah Templat Gagal dengan `std::map` dalam Konteks Tidak Boleh Dipotong?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!