C++函数内右值引用参数的类型与值类别困惑

问题背景 #

我正在深入理解转移语义、rvalue、xvalue、prvalue等概念，编写了如下C++函数：

void f(int&& x, int i)
{
    std::cout << boost::typeindex::type_id_with_cvr<decltype(x)>().pretty_name();
}

运行后输出int&&，似乎参数x在函数内仍为右值引用？但查阅资料得知，传入函数的右值在函数内会表现为左值，尝试递归调用f(x, i)时，编译器报错：cannot bind rvalue reference of type ‘int&&’ to lvalue of type ‘int’。

疑问解答 #

1. x在函数内的实际类型到底是什么？boost输出、编译器报错与理论知识为何存在矛盾？

x的类型确实是int&&（右值引用类型），这也是boost输出int&&的原因——decltype(x)会直接返回变量的声明类型。但这里要区分两个核心概念：

• 类型：指变量本身的声明类型，x是int&&类型的变量。
• 值类别：指表达式在语境中的属性，变量名作为表达式时，无论它是左值引用还是右值引用类型，都是左值。

递归调用f(x, i)时，x是左值表达式，而函数f的第一个参数要求绑定到右值引用，C++不允许将左值直接绑定到右值引用（除非用std::move转换），这就是编译器报错的原因。boost输出和编译器报错并不矛盾，前者说的是变量类型，后者说的是表达式的值类别。

2. 我的推理：50是rvalue，求值后返回右值引用；右值引用int&& x是左值，返回左值引用，是否正确？

这个推理有两处错误：

• 50是prvalue（纯右值），属于右值的一种，但它本身不是右值引用——右值引用是一种类型，而50是字面量表达式，值类别是prvalue，类型是int。
• 右值引用变量x是左值表达式，但不存在“返回左值引用”的说法：x的类型是int&&，但作为表达式时，它的值类别是左值，其静态类型是int（引用类型在表达式语境中会被“剥除”，直接指向所引用的对象类型）。

3. 报错中为何是“int类型的左值”而非“int&类型”？

编译器报错描述的是表达式x的值类别和对应的静态类型：

• x是右值引用类型的变量，但作为表达式时，它是左值，其静态类型是int（引用类型在表达式语境中会被忽略，直接指向所引用的int对象）。
• int&是左值引用类型，而x本身的类型是int&&，表达式x也不是左值引用类型的表达式——它是一个类型为int的左值，所以编译器会给出那样的报错描述。

内容的提问来源于stack exchange，提问作者MieszkoPasierbek