C peut-il déduire des types de modèles à partir des types de retour de fonction ?

Déduction de modèle basée sur le type de retour de fonction en C

En C, il peut être souhaitable d'utiliser la déduction de modèle pour simplifier le code qui instancie le générique fonctions basées sur les types de données des arguments de la fonction. Considérons l'exemple suivant :

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

Au lieu de spécifier explicitement les paramètres de type générique, l'objectif est de parvenir à cette déduction en utilisant le type de retour de la fonction GC::Allocate(). Cependant, C n'autorise pas la déduction de type basée sur le type de retour.

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

Bien que le type de retour soit générique, le compilateur nécessite la spécification explicite des paramètres de type de modèle et lors de l'instanciation de la fonction 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>