Rumah  >  Artikel  >  pembangunan bahagian belakang  >  Bolehkah Potongan Templat Inferen Jenis Argumen Berdasarkan Semata-mata pada Fungsi Mengembalikan Jenis dalam C?

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

Linda Hamilton
Linda Hamiltonasal
2024-11-06 06:25:02483semak imbas

Can Template Deduction Infer Type Arguments Based Solely on Function Return Type in 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!

Kenyataan:
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn