Bolehkah Potongan Templat Inferen Jenis Argumen Berdasarkan Semata-mata pada Fungsi Mengembalikan Jenis dalam C?

Potongan Templat untuk Fungsi Berdasarkan Jenis Pemulangannya: Penerokaan

Pengenalan

Dalam C , potongan templat membolehkan pengkompil membuat kesimpulan jenis hujah apabila menggunakan fungsi templat berdasarkan hujah sebenar disediakan. Ini boleh memudahkan kod dengan mengalih keluar keperluan untuk menyatakan argumen jenis secara eksplisit.

Senario Cadangan

Masalah yang diberikan menunjukkan senario di mana pengguna ingin menggunakan potongan templat untuk memperuntukkan memori untuk objek pelbagai jenis menggunakan fungsi Allocate generik. Khususnya, mereka ingin mencapai kod berikut:

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

Daripada pelaksanaan semasa:

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

Templat Fungsi Peruntukan

Templat fungsi Peruntukan semasa ditakrifkan seperti berikut:

<code class="cpp">template <typename T>
static GCPtr<T> Allocate();</code>

Walau bagaimanapun, adalah tidak mungkin untuk mencapai potongan templat yang diingini menggunakan jenis pulangan semata-mata. Proses pemotongan jenis bergantung terutamanya pada hujah fungsi.

Penyelesaian dengan Fungsi Pembantu

Untuk mengatasi had ini, fungsi pembantu boleh digunakan untuk menyembunyikan jenis eksplisit hujah seperti yang ditunjukkan di bawah:

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

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

Sintaks Alternatif dengan C 11

C 11 memperkenalkan sintaks yang membenarkan membuang pengisytiharan jenis eksplisit semasa potongan templat:

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

Kesimpulan

Sementara itu tidak mungkin hanya bergantung pada potongan templat melalui jenis pulangan, menggunakan fungsi pembantu atau C 11 sintaks boleh menyediakan alternatif yang mudah yang selaras dengan tingkah laku yang diingini. Teknik ini membolehkan peruntukan pelbagai jenis objek dengan sintaks yang dipermudahkan, mengurangkan keperluan untuk hujah jenis eksplisit.

Atas ialah kandungan terperinci Bolehkah Potongan Templat Inferen Jenis Argumen Berdasarkan Semata-mata pada Fungsi Mengembalikan Jenis dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!