Mengapa Pereputan Penunjuk Mengatasi Potongan Templat dalam Lebihan Muatan Fungsi C?

Reputan Penunjuk Diutamakan Berbanding Potongan Templat

Apabila menulis kod yang beroperasi pada rentetan, adalah perkara biasa untuk menghadapi dilema apabila cuba membebankan fungsi untuk menampung perwakilan rentetan berasaskan tatasusunan dan bukan berasaskan tatasusunan boleh mengakibatkan yang tidak dijangka tingkah laku.

Dalam senario khusus ini, fungsi awal foo ditakrifkan untuk mencetak panjang tatasusunan aksara:

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

Fungsi ini menerima tatasusunan aksara dan mengeluarkan panjang tatasusunan. Walau bagaimanapun, apabila memanjangkan foo untuk turut mengendalikan rentetan bukan tatasusunan, kekaburan timbul:

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

Niatnya adalah untuk bebanan foo kedua untuk mengendalikan bukan tatasusunan rentetan, tetapi yang menghairankan, sambungan ini membawa kepada beban asal yang dipintas untuk kedua-dua tatasusunan dan bukan tatasusunan rentetan:

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

Tingkah laku yang tidak dijangka ini berpunca daripada konsep pereputan penunjuk. Tatasusunan pada asasnya adalah penunjuk kepada elemen pertama mereka, dan menukar tatasusunan kepada penunjuk ialah operasi yang sangat murah. Akibatnya, pengkompil mengutamakan beban lampau yang menerima parameter penuding, walaupun ia memerlukan penukaran tersirat daripada hujah tatasusunan.

Untuk memastikan tingkah laku yang diingini, di mana lebihan berasaskan tatasusunan digunakan untuk tatasusunan, adalah perlu untuk memperkenalkan lebihan tambahan:

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;
}

Lebih muatan ini menggunakan potongan templat dan mengehadkan kebolehgunaannya kepada jenis yang boleh ditukar kepada penunjuk watak. Melalui susunan separa, pengkompil kini memilih fungsi foo yang sesuai berdasarkan jenis hujah.

Atas ialah kandungan terperinci Mengapa Pereputan Penunjuk Mengatasi Potongan Templat dalam Lebihan Muatan Fungsi C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!