Vorlagenabzug basierend auf dem Funktionsrückgabetyp in C

In C kann es wünschenswert sein, den Vorlagenabzug zu verwenden, um Code zu vereinfachen, der generisches instanziiert Funktionen basierend auf den Datentypen der Argumente der Funktion. Betrachten Sie das folgende Beispiel:

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

Anstatt die generischen Typparameter explizit anzugeben, besteht das Ziel darin, diese Schlussfolgerung mithilfe des Rückgabetyps der Funktion GC::Allocate() zu erreichen. Allerdings erlaubt C keine Typableitung basierend auf dem Rückgabetyp.

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

Obwohl der Rückgabetyp generisch ist, erfordert der Compiler beim Instanziieren der GC::Allocate()-Funktion die explizite Angabe der Vorlagentypparameter und .

Um diese Einschränkung zu mildern, kann eine Hilfsfunktion eingeführt werden:

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

Mit dieser Funktion kann das ursprüngliche Ziel wie folgt erreicht werden:

GCPtr p;
Allocate(p);

Ob diese Syntax einen signifikanten Vorteil gegenüber der expliziten Typspezifikation bietet, ist subjektiv.

Hinweis: In C 11 ist es möglich, einen wegzulassen der Typdeklarationen mit dem Schlüsselwort auto:

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