Bolehkah C Menyimpulkan Jenis Templat daripada Jenis Pemulangan Fungsi?

Potongan Templat Berdasarkan Jenis Pemulangan Fungsi dalam C

Dalam C , adalah wajar untuk menggunakan potongan templat untuk memudahkan kod yang menunjukkan generik fungsi berdasarkan jenis data argumen fungsi. Pertimbangkan contoh berikut:

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

Daripada menentukan parameter jenis generik secara eksplisit, matlamatnya ialah untuk mencapai potongan ini menggunakan jenis pulangan fungsi GC::Allocate(). Walau bagaimanapun, C tidak membenarkan potongan jenis berdasarkan jenis pulangan.

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

Walaupun jenis pulangan adalah generik, pengkompil memerlukan spesifikasi eksplisit bagi parameter jenis templat dan apabila menghidupkan fungsi GC::Allocate().

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

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

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