Kata Kunci Auto dalam Parameter Templat: Menilai Kebolehlaksanaan dan Had Semasa
Walaupun C membenarkan instantiasi jenis lengkap dalam parameter templat, persoalan tetap sama ada parameter templat boleh diisytiharkan secara eksplisit menggunakan kata kunci "auto". Ini akan meningkatkan kemudahan masa kompilasi, menghapuskan keperluan untuk menentukan jenis hujah secara manual, terutamanya untuk jenis kompleks seperti fungsi penunjuk kepada ahli.
Had Semasa
Walaupun ciri sedemikian menarik, pada masa ini ia tidak boleh dilakukan dalam bahasa C. Walaupun contoh kod yang disediakan cuba untuk menentukan parameter templat menggunakan "auto", pengkompil menguatkuasakan sintaks konvensional dengan ketat, memerlukan pengisytiharan jenis eksplisit dalam parameter templat.
Penyelesaian
Walaupun penyelesaian langsung kepada pengehadan ini masih sukar difahami, terdapat penyelesaian yang berdaya maju untuk memudahkan penghantaran hujah:
<code class="cpp">#define AUTO_ARG(x) decltype(x), x</code>
Makro ini kemudiannya boleh digunakan seperti berikut:
<code class="cpp">f.bar<AUTO_ARG(5)>(); f.bar<AUTO_ARG(&Baz::bang)>();</code>
<code class="cpp">template <typename T> struct foo { foo(const T& x) {} // do whatever }; template <typename T> foo<T> make_foo(const T& x) { return foo<T>(x); }</code>
Fungsi penjana ini membenarkan hantaran hujah yang dipermudahkan:
<code class="cpp">make_foo(5); make_foo(&Baz::bang);</code>
Pertimbangan Masa Depan
Walaupun penyelesaian ini menyediakan penyelesaian praktikal, kemasukan kata kunci "auto" dalam parameter templat masih boleh dianggap sebagai potensi peningkatan untuk versi C masa hadapan.
Atas ialah kandungan terperinci Bolehkah Kami Menggunakan \'auto\' untuk Parameter Templat dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!