std::pair 替换因 std::size_t 失败

Question

#include <utility>
#include <vector>

using namespace std;

std::pair<std::size_t, std::size_t> func(const std::vector<int>& numbers, int target) {
    for(std::size_t i =0; i < numbers.size(); i++)
    {   
      for(std::size_t j = i; j < numbers.size(); j++)
      {   
        if(numbers[i] + numbers[j] == target)
          return std::make_pair<std::size_t, std::size_t>(i,j);
      }   
    }   
    return std::make_pair<std::size_t, std::size_t>(0,0);
}

错误：

test.cpp: In function ‘std::pair<long unsigned int, long unsigned int> func(const std::vector<int>&, int)’:
test.cpp:12:62: error: no matching function for call to ‘make_pair<std::size_t, std::size_t>(std::size_t&, std::size_t&)’
           return std::make_pair<std::size_t, std::size_t>(i,j);
                                                              ^
In file included from /usr/include/c++/7/utility:70:0,
                 from test.cpp:1:
/usr/include/c++/7/bits/stl_pair.h:524:5: note: candidate: template<class _T1, class _T2> constexpr std::pair<typename std::__decay_and_strip<_Tp>::__type, typename std::__decay_and_strip<_T2>::__type> std::make_pair(_T1&&, _T2&&)
     make_pair(_T1&& __x, _T2&& __y)
     ^~~~~~~~~
/usr/include/c++/7/bits/stl_pair.h:524:5: note:   template argument deduction/substitution failed:
test.cpp:12:62: note:   cannot convert ‘i’ (type ‘std::size_t {aka long unsigned int}’) to type ‘long unsigned int&&’
           return std::make_pair<std::size_t, std::size_t>(i,j);
                                                          ^

既然我们已经明确提到了模板化pair中的类型以及i和j的数据类型，为什么还要尝试用unsigned long int替换？

Answer 1

当你将模板参数指定为std::size_t 时，std::make_pair 的函数参数类型变为std::size_t&&，即右值引用； i 和 j 是左值，不能绑定到右值引用。

只要让std::make_pair像std::make_pair(i,j)那样做模板参数推导（模板参数是std::size_t&，函数参数是std::size_t&）就可以了。 std::make_pair 接受forwarding references，它应该接受左值和右值（对于std::make_pair(0,0)，模板参数是std::size_t，函数参数是std::size_t&&）。