为什么std::make_pair＜int, int＞(a, b)会编译错误

int a, b;
std::make_pair<int, int>(a, b);    //编译错误
std::make_pair(a, b);
std::make_pair(std::move(a), std::move(b));

使用vscode很容易跳转到源码

  template<typename _T1, typename _T2>
    constexpr pair<typename __decay_and_strip<_T1>::__type,
                   typename __decay_and_strip<_T2>::__type>
    make_pair(_T1&& __x, _T2&& __y)
    {
      typedef typename __decay_and_strip<_T1>::__type __ds_type1;
      typedef typename __decay_and_strip<_T2>::__type __ds_type2;
      typedef pair<__ds_type1, __ds_type2> 	      __pair_type;
      return __pair_type(std::forward<_T1>(__x), std::forward<_T2>(__y));
    }

当std::make_pair<int, int>(a, b);等价于make_pair(int&&, int&&)函数；

但是右值引用是不能这样赋值的，可以看一下以下几种错误例子

void change(int&& right_value) {
    right_value = 8;
}
int main() {
    int a = 5; // a是个左值
    int &ref_a_left = a; // ref_a_left是个左值引用
    int &&ref_a_right = std::move(a); // ref_a_right是个右值引用
 
    change(a); // 编译不过，a是左值，change参数要求右值
    change(ref_a_left); // 编译不过，左值引用ref_a_left本身也是个左值
    change(ref_a_right); // 编译不过，右值引用ref_a_right本身也是个左值
    return 0;
}

可能大家会有疑问，std::make_pair(a, b)不会等价于make_pair(int&&, int&&)函数吗？

还真不是，在模版中，T&&并不是右值引用，而是万能引用，也叫universal preferences；（此刻是不是有种想骂人的冲动）

详细可以参考https://zhuanlan.zhihu.com/p/671867394