Mengapa Potongan Separa Dibuang daripada Templat Kelas?

Potongan untuk Templat Kelas

Potongan hujah templat untuk templat kelas bertujuan untuk menyelaraskan gelagat antara templat fungsi dan templat kelas. Walau bagaimanapun, cadangan itu pada mulanya termasuk potongan separa, di mana hanya subset hujah akan dinyatakan secara eksplisit.

Kebimbangan Potongan Separa

Kebimbangan yang dibangkitkan oleh Botond Ballo menyerlahkan potensi untuk kekeliruan dalam kes di mana potongan separa boleh membawa kepada tafsiran yang tidak jelas. Contohnya:

tuple<int> t(42, "waldo", 2.0f);

Dalam senario ini, jika potongan separa dibenarkan, potongan yang dijangkakan ialah tuple. Walau bagaimanapun, tuple juga merupakan jenis yang sah, mewujudkan kesamaran.

Gelagat Semasa

Disebabkan kebimbangan ini, potongan separa untuk templat kelas telah dialih keluar daripada cadangan. Pada masa ini, potongan hanya boleh digunakan pada semua argumen templat atau tiada.

Contoh

Pertimbangkan templat kelas berikut:

template <std::size_t S, typename T>
struct test
{
    test(T (&amp;input)[size]) : data(input) {}
    type_t (&amp;data)[size]{};
};

Dan fungsi pembantu:

template <std::size_t S, typename T>
test<S, T> helper(T (&amp;input)[S]) { return input; }

Dalam kod yang diberikan:

int buffer[5];

auto a = helper<5, int>(buffer); // No deduction
auto b = helper<5>(buffer);      // Type deduced
auto c = helper(buffer);         // Type and size deduced

Hanya potongan penuh dibenarkan, seperti yang ditunjukkan oleh ralat apabila cuba menyimpulkan hanya jenis:

auto b = helper<5>(buffer);      // Type deduced: FAILS.

Atas ialah kandungan terperinci Mengapa Potongan Separa Dibuang daripada Templat Kelas?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!