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. Prenons l'exemple suivant :

GCPtr ptr1 = GC::Allocate();
GCPtr ptr2 = GC::Allocate();

Au lieu de spécifier explicitement les paramètres de type générique, le but est de réaliser 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.

class GC
{
public:
    template
    static GCPtr Allocate();
};

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().

Pour atténuer cette limitation, une fonction auxiliaire peut être introduite :

template 
void Allocate(GCPtr& p) {
    p = GC::Allocate();
}

Grâce à cette fonction, l'objectif initial peut être atteint comme suit :

GCPtr p;
Allocate(p);

La question de savoir si cette syntaxe offre un avantage significatif par rapport à la spécification de type explicite est subjective.

Remarque : En C 11, il est possible d'en omettre un. des déclarations de type utilisant le mot-clé auto :

auto p = GC::Allocate(); // p is of type GCPtr