Bolehkah Potongan Templat C Dipermudahkan Menggunakan Jenis Pemulangan Fungsi?

Memudahkan Potongan Templat Berdasarkan Jenis Pemulangan Fungsi

Dalam C, potongan templat memainkan peranan penting dalam membuat kesimpulan jenis parameter untuk fungsi generik. Walau bagaimanapun, 有时候,如何 potongan templat dipermudahkan dengan menggunakan hanya jenis pemulangan fungsi yang boleh diingini.

Pertimbangkan contoh berikut:

<code class="cpp">class GC
{
public:
    template <typename T>
    static GCPtr<T> Allocate();
};</code>

Di sini, fungsi Peruntukan mengambil parameter jenis generik T dan mengembalikan penunjuk kepada objek jenis T. Menggunakan potongan templat, adalah mungkin untuk memudahkan sintaks untuk memperuntukkan objek seperti berikut:

<code class="cpp">GCPtr<A> ptr1 = GC::Allocate(); // Desired output</code>

Malangnya, ini tidak boleh dilakukan dalam C kerana pulangan jenis fungsi tidak terlibat dalam potongan templat. Sebaliknya, tandatangan templat dipadankan berdasarkan argumen panggilan fungsi.

Penyelesaian Alternatif:

Satu penyelesaian ialah menggunakan fungsi pembantu yang menyembunyikan spesifikasi jenis eksplisit:

<code class="cpp">template <typename T>
void Allocate(GCPtr<T>& p) {
   p = GC::Allocate<T>();
}

int main()
{
   GCPtr<A> p = 0;
   Allocate(p);
}</code>

Dalam pendekatan ini, fungsi Peruntukan menerima rujukan kepada penuding sebagai hujah dan peruntukan sebenar dikendalikan secara dalaman. Ini membolehkan penggunaan yang dipermudahkan tanpa mengorbankan fleksibiliti.

Penambahbaikan C 11:

Dalam C 11, peraturan potongan templat telah dilanjutkan, membolehkan peninggalan salah satu pengisytiharan jenis :

<code class="cpp">auto p = GC::Allocate<A>(); // p is of type GCPtr<A></code>

Ini memudahkan lagi sintaks, menjadikannya lebih mudah untuk senario tertentu.

Atas ialah kandungan terperinci Bolehkah Potongan Templat C Dipermudahkan Menggunakan Jenis Pemulangan Fungsi?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!