Mengapa Pereputan Penunjuk Diutamakan Berbanding Templat yang Disimpulkan dalam Resolusi Lebihan C?

Reputan Penunjuk lwn. Templat yang Disimpulkan: Membongkar Teka-teki Keutamaan

Dalam alam C , interaksi antara lebihan fungsi dan potongan templat boleh kadang-kadang membawa kepada hasil yang tidak dijangka. Contoh utama timbul apabila fungsi dibebankan untuk mengendalikan kedua-dua tatasusunan dan penunjuk mentah. Pertimbangkan kod berikut:

template <size_t N>
void foo(const char (&amp;s)[N]) {
    std::cout << "array, size=" << N - 1 << std::endl;
}

void foo(const char *s) {
    std::cout << "raw, size=" << strlen(s) << std::endl;
}

Pada mulanya direka untuk mencetak panjang tatasusunan, fungsi ini dilanjutkan untuk menyokong bukan tatasusunan. Walau bagaimanapun, sambungan ini membawa kepada kekaburan yang membingungkan:

foo("hello") // now prints raw, size=5

Mengapakah beban berlebihan "mentah" dipilih berbanding versi "tatasusunan" yang dimaksudkan, walaupun yang terakhir sepadan dengan parameter dengan lebih tepat? Jawapannya terletak pada konsep halus yang dikenali sebagai pereputan penunjuk.

Reputan penunjuk ialah penukaran tersirat daripada tatasusunan kepada penuding yang sepadan. Dalam kes ini, tatasusunan "hello" ditukar secara senyap kepada const char * penunjuk kepada elemen pertamanya. Akibatnya, beban berlebihan yang mengendalikan penunjuk diutamakan.

Tingkah laku ini berpunca daripada kos penukaran dalam C . Lebihan beban dinilai untuk meminimumkan kos menukar argumen kepada parameter. Dalam kes ini, penukaran tatasusunan ke penuding adalah lebih murah daripada penukaran parameter tatasusunan ke fungsi.

Untuk menyelesaikan isu ini, seseorang boleh mentakrifkan bebanan kedua sebagai templat juga:

template <typename T>
auto foo(T s)
-> std::enable_if_t<std::is_convertible<T, char const *>{}>
{
    std::cout << "raw, size=" << std::strlen(s) << std::endl;
}

Pendekatan ini memastikan versi templat diutamakan kerana ia menghapuskan penukaran pereputan penunjuk.

Kesimpulannya, keutamaan diberikan kepada penunjuk. pereputan ke atas templat yang disimpulkan adalah akibat daripada prinsip pengurangan kos dalam resolusi beban berlebihan. Untuk mengelakkan kekaburan, adalah penting untuk mempertimbangkan kedua-dua penukaran tersirat dan jenis lebihan apabila melebihkan fungsi.

Atas ialah kandungan terperinci Mengapa Pereputan Penunjuk Diutamakan Berbanding Templat yang Disimpulkan dalam Resolusi Lebihan C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!