为什么std :: make_pair返回一对引用类型

Question

我正在学习Koffman和Wolfgang的教科书。他们给make_pair的示例实现如下所示：

template<typename Type1, typename Type2>
  make_pair(const Type1& first_value, const Type2& second_value) {
    return pair<Type1&, Type2&>(first_value, second_value);
  }

我不明白为什么他们使用Type1＆和Type2＆来实例化return语句中的对模板而不仅仅是Type1和Type2。

Answer 1

据我所知make_pair有以下原型：

template<class Type1, class Type2>
std::pair<Type1,Type2> make_pair(Type1 first_value, Type2 second_value);

（注意：自C ++ 11以来略有不同）

另见http://en.cppreference.com/w/cpp/utility/pair/make_pair。

这也是§20.3.3 [pairs.spec]标准所说的。所以这一定是书中的错误（或者你可能忽略了一些东西）。