Dalam C , potongan templat ialah mekanisme yang membuat kesimpulan argumen jenis generik untuk fungsi atau kelas templat berdasarkan argumen yang dibekalkan. Ciri ini membolehkan kod yang lebih ringkas dan selamat jenis.
Pertimbangkan coretan kod berikut:
<code class="cpp">class GC { public: template <typename T> static GCPtr<T> Allocate(); };</code>
Di sini, fungsi Peruntukan ialah fungsi generik yang memperuntukkan memori untuk objek jenis T. Untuk menggunakan fungsi ini, pemanggil mesti menyatakan secara eksplisit argumen jenis, seperti yang ditunjukkan di bawah:
<code class="cpp">GCPtr<A> ptr1 = GC::Allocate<A>(); GCPtr<B> ptr2 = GC::Allocate<B>();</code>
Persoalan timbul sama ada adalah mungkin untuk menghapuskan argumen jenis eksplisit berdasarkan jenis pulangan Peruntukan fungsi. Malangnya, dalam C tidak mungkin melakukan potongan templat berdasarkan jenis pemulangan semata-mata.
Walau bagaimanapun, terdapat cara alternatif untuk mencapai kesan yang serupa. Satu pendekatan biasa ialah menggunakan fungsi pembantu yang secara automatik menyimpulkan jenis:
<code class="cpp">// Helper function template <typename T> void Allocate(GCPtr<T>& p) { p = GC::Allocate<T>(); } int main() { GCPtr<A> p = 0; Allocate(p); }</code>
Dengan pendekatan ini, pemanggil hanya boleh menghantar rujukan kepada objek GCPtr dan fungsi pembantu akan membuat kesimpulan jenis dan panggilan fungsi Peruntukan yang sesuai.
Dalam versi C 11 dan yang lebih baru, kata kunci auto boleh digunakan untuk memudahkan potongan jenis dengan lebih lanjut:
<code class="cpp">auto p = GC::Allocate<A>(); // p is of type GCPtr<A></code>
Dengan memanfaatkan fungsi pembantu atau kata kunci auto, adalah mungkin untuk mencapai kefungsian yang diingini sambil mengekalkan faedah potongan templat.
Atas ialah kandungan terperinci Bolehkah Potongan Templat Hanya Berdasarkan Jenis Pemulangan dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!