c++ - 使用自由函数作为伪构造函数来利用模板参数推导

Question

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

比如大家都知道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 等...)

我发现自己经常使用它，所以我只是想知道是否有很多其他人使用它，是否有这种模式的名称？

Answer 1

显然它叫做“对象生成器”。参见 "More C++ Idioms"和 "Boost"关于这个话题。

我个人觉得它非常有用并且经常使用它。

此外，我认为人们可能会将表达式模板视为一种特殊形式的对象生成器，因为它们所做的只是通过您通常也可以手动指定的操作数类型和数据构造复杂类型。除了，他们正在隐式调用生成器

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