Mengapa Inferens Parameter Templat C Tidak Berfungsi dengan Pembina (Sehingga C 17)?

Mengapa C Tidak Boleh Menyimpulkan Parameter Templat daripada Pembina?

C membenarkan pengkompil membuat kesimpulan parameter templat daripada parameter fungsi, membolehkan kod ringkas dan selamat jenis. Walau bagaimanapun, ciri ini tidak tersedia untuk pembina kelas. Mengapakah ini berlaku?

Dalam kod contoh, pengkompil tidak boleh membuat kesimpulan parameter templat untuk Pembolehubah kerana pembina bukan satu-satunya titik masuk untuk kelas. Pembina salin dan pengendali tugasan menyediakan cara alternatif untuk mencipta dan mengubah suai objek.

Pertimbangkan senario berikut:

MyClass m(string s);
MyClass *pm;
*pm = m;

Dalam kes ini, pengkompil tidak akan mengetahui jenis templat yang diperlukan untuk MyClass pm. Walaupun mungkin untuk membuat kesimpulan jenis daripada hujah yang diserahkan kepada pembina, ia menjadi tidak pasti apabila tugasan terlibat, menjadikannya sukar untuk menentukan jenis yang dimaksudkan.

Selain itu, mungkin terdapat keadaan di mana inferens jenis tidak diingini. Sebagai contoh, kelas mungkin mempunyai pembina yang menerima jenis yang berbeza untuk tujuan yang berbeza. Membuat kesimpulan jenis templat boleh mengenakan kekangan yang tidak diingini pada antara muka kelas.

Pembangunan C 17

Perlu diingat bahawa C 17 dijangka memperkenalkan potongan jenis daripada hujah pembina. Ini akan membolehkan sintaks berikut:

std::pair p(2, 4.5);
std::tuple t(4, 3, 2.5);

Walau bagaimanapun, adalah penting untuk diingat bahawa inferens jenis ialah ciri kemudahan dan mungkin tidak selalu sesuai. Memahami sebab di sebalik pengehadannya membantu pembangun menulis kod C yang mantap dan boleh diselenggara.

Atas ialah kandungan terperinci Mengapa Inferens Parameter Templat C Tidak Berfungsi dengan Pembina (Sehingga C 17)?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!