Uso de la función gratuita como pseudoconstructores para aprovechar la deducción del parámetro de la plantilla

Question

¿Es un patrón/idioma común utilizar funciones gratuitas como pseudoconstructores para evitar tener que especificar explícitamente los parámetros de la plantilla?

Por ejemplo, todo el mundo sabe acerca de std::make_pair, que utiliza sus parámetros para deducir las pair tipos:

template <class A, class B> 
std::pair<A, B> make_pair(A a, B b) 
{ 
    return std::pair<A, B>(a, b); 
} 

// This allows you to call make_pair(1, 2), 
// instead of having to type pair<int, int>(1, 2) 
// as you can't get type deduction from the constructor. 

El STL también hace un uso intensivo de esto en <functional> (bind1st, not1, ptr_fun, etc ...)

Me encuentro usando esto con bastante frecuencia, entonces me preguntaba si muchas otras personas lo usan, y si hay un nombre para este patrón?

Answer 1

Aparentemente se llama "Object Generator". Consulte "More C++ Idioms" y "Boost" sobre este tema.

Personalmente lo encuentro muy útil y lo uso mucho.

Además, creo que se pueden ver las plantillas de expresión como una forma especial de generadores de objetos, ya que lo único que hacen es construir tipos complejos mediante tipos de operandos y datos que normalmente también se pueden especificar manualmente. Excepto, ellos están llamando a los generadores implícitamente

a + b + c => 
    Add<Add<A, B>, C>(...)