Mengapa C Tidak Dapat Menyimpulkan Parameter Templat daripada Argumen Fungsi Lalai?

Menyimpulkan Parameter Templat daripada Argumen Fungsi Lalai

Ketidakupayaan pengkompil untuk menyimpulkan hujah templat daripada argumen fungsi lalai dalam kod yang disediakan boleh dikaitkan dengan ketetapan C spesifikasi bahasa.

Dalam C 03, seperti yang dipetik dalam §14.8.2/17 spesifikasi, "Parameter jenis templat tidak boleh disimpulkan daripada jenis argumen lalai fungsi." Sekatan ini secara eksplisit melarang penggunaan argumen lalai untuk potongan parameter templat.

Walaupun C 11 memperkenalkan kemungkinan untuk menentukan argumen templat lalai untuk templat fungsi, argumen fungsi lalai masih tidak boleh digunakan untuk potongan hujah templat. Khususnya, C 11 §14.8.2.5/5 menyatakan bahawa "Konteks tidak disimpulkan ialah: ... Parameter templat yang digunakan dalam jenis parameter parameter fungsi yang mempunyai argumen lalai yang sedang digunakan dalam panggilan untuk argumen yang pemotongan sedang dilakukan."

Oleh itu, ketidakupayaan kod yang disediakan untuk menyimpulkan parameter templat untuk T daripada argumen lalai 0.0f adalah konsisten dengan spesifikasi bahasa. Untuk menyelesaikan isu ini, hujah templat eksplisit mesti disediakan semasa memanggil fungsi bar, seperti yang ditunjukkan dalam kod semakan berikut:

a.bar<float>(5);

Atas ialah kandungan terperinci Mengapa C Tidak Dapat Menyimpulkan Parameter Templat daripada Argumen Fungsi Lalai?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!