左值和右值作为函数参数

Question

我正在尝试理解 C++ 中的左值和右值。

所以我将它们用作传递给函数的参数。 在第一种情况下，我有两个函数，第一个有一个对 const int 的引用，在这种情况下，多亏了“const”（参见link），我可以将左值和右值都传递给第一个函数，我将拥有没问题。 在第二个函数中，我必须传递一个 Rvlaue 否则我会得到描述的错误。

void f1(const int& n){cout<<"[Lvalue]"<<endl;}
void f2(int&& n){cout<<"[Rvalue]"<<endl;}

int main()
{   
    const int n = 10;
    f1(n);
    f2(n);  //error: cannot bind rvalue reference of type ‘int&&’ to lvalue of type ‘const int’

}

好的！

为什么如果第二个函数变成函数模板，如下例我也可以传递一个左值。

void f1(const int& n){cout<<"[Lvalue]"<<endl;}
template<class T>
void f2(T&& n){cout<<"[Rvalue]"<<endl;}

int main()
{   
    const int n = 10;
    f1(n);
    f2(n); //ok
}

Answer 1

重要的是T 被推断为参考。那么，如果T 是const int&，那么T&& 即const int& && 是什么？ 引用折叠规则说它是const int&。

所以，当推导T&& 中的T 时，&& 不表示右值引用，而是推导出类型的引用，根据推导的结果可能是右值或左值引用.据说是转发引用。