用free函数作为伪构造函数利用模板参数推导

使用自由函数作为伪构造函数以避免显式指定模板参数是一种常见的模式/习惯用法吗?

例如,每个人都知道 std::make_pair ,它使用其参数来推断 pair 类型:

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.

stl也在大量使用这个 <functional> ( bind1st , not1 , ptr_fun 等

我发现自己经常使用这个,所以我只是想知道是否有其他人使用它,是否有这个模式的名称?