Bolehkah Potongan Templat Berfungsi Berdasarkan Jenis Pemulangan Fungsi dalam C?

Potongan Templat untuk Fungsi Berdasarkan Jenis Pemulangannya?

Dalam C , potongan templat menyediakan cara yang mudah untuk menentukan hujah templat berdasarkan hujah yang diberikan kepada panggilan fungsi. Walau bagaimanapun, terdapat had tertentu untuk potongan templat, seperti ketidakupayaan untuk menyimpulkan argumen jenis berdasarkan jenis pemulangan fungsi.

Isu:

Yang asal soalan bertujuan untuk menghapuskan keperluan untuk menyatakan argumen jenis secara eksplisit apabila memanggil fungsi Allocate() dalam kod berikut:

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

Jawapannya:

Malangnya, templat potongan tidak boleh digunakan untuk menyimpulkan argumen jenis berdasarkan jenis pulangan. Sebaliknya, ia adalah sebaliknya: jenis pemulangan ditentukan selepas tandatangan templat dipadankan.

Penyelesaian:

Untuk memintas had ini, Peruntukan( ) fungsi boleh dibungkus dalam fungsi pembantu yang menyembunyikan hujah jenis daripada pemanggil:

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

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

Ini membolehkan pemanggil menggunakan fungsi Peruntukan() tanpa menyatakan hujah jenis secara eksplisit:

<code class="cpp">GCPtr<A> p = 0;
Allocate(p);</code>

Nota Tambahan:

C 11 memperkenalkan kata kunci auto, yang membolehkan pengkompil menyimpulkan jenis daripada pemula. Ini memudahkan lagi kod:

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

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