Deducción de plantilla basada en el tipo de retorno de función en C

En C, puede ser conveniente utilizar la deducción de plantilla para simplificar el código que crea instancias genéricas funciones basadas en los tipos de datos de los argumentos de la función. Considere el siguiente ejemplo:

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

En lugar de especificar explícitamente los parámetros de tipo genérico, el objetivo es lograr esta deducción utilizando el tipo de retorno de la función GC::Allocate(). Sin embargo, C no permite la deducción de tipos según el tipo de retorno.

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

A pesar de que el tipo de retorno es genérico, el compilador requiere la especificación explícita de los parámetros del tipo de plantilla y al crear una instancia de la función GC::Allocate().

Para mitigar esta limitación, se puede introducir una función auxiliar:

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

Con esta función, el objetivo original se puede lograr de la siguiente manera:

GCPtr p;
Allocate(p);

Si esta sintaxis ofrece alguna ventaja significativa sobre la especificación de tipo explícita es subjetivo.

Nota: En C 11, es posible omitir una de las declaraciones de tipo usando la palabra clave auto:

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