为什么我使用已删除的函数 'void std::ref(const _Tp&&) [with _Tp = int]'

Question

#include<iostream>
#include<utility>
#include<tuple>
#include<functional>
using namespace std;
int main()
{
    int i = 0;
    auto p = make_pair(ref(i), ref(i++));
    p.first++;
    p.second++;
    cout << "i = " << i << endl;
}

例如如果我像这样使用ref()，编译器会说

使用已删除的函数'void std::ref(const _Tp&&) [with _Tp = int]'

但是，如果我的代码正在跟踪

#include<iostream>
#include<utility>
#include<tuple>
#include<functional>
using namespace std;
int main()
{
    int i = 0;
    auto p = make_pair(ref(i), ref(++i));
    p.first++;
    p.second++;
    cout << "i = " << i << endl;
}

我会成功得到输出i = 3，所以我不明白为什么我会得到如此不同的答案。

Answer 1

std::ref 接受一个变量并为您提供类似于对该变量的引用的东西。

i++ 不是变量；这是暂时的。那是因为后增量是如何工作的。原始值增加，但表达式的计算结果为 old 值，并且需要一个临时值来保存该旧值，以便您可以读取它。

std::ref 不允许你使用临时的，以避免像这样的错误。否则它将是一个悬空引用。

另一方面，++i 只是将原始变量返回给您，因此您可以很好地引用它。

但是，您不能像这样将i 和++i 放在一起；这两个表达式相对于彼此的顺序是不确定的（或某事）。不惜一切代价避免这种代码。