c++ - 右值到左值的转换和 "named-refs-are-lvalues"规则

Question

有很多与右值相关的问题，但我没有找到这些确切问题的答案。

我无法完全理解“命名引用是左值引用”的经验法则。

看起来很奇怪——我们将引用声明为 右值 但是因为我们必须以某种方式使用这个引用(否则，有什么意义呢？)，我们命名它并且因为它被命名它是一个 左值 毕竟!

考虑这段代码:

int&& foo(int&& arg)
{
    arg = 10;
    return arg; // ERROR, `arg` is an lvalue since it's named!
}
foo(1);

问题是:

arg 究竟何时成为左值？

如果函数是 void 并且 b) 和 c) 行不存在，那么 arg 的类型是什么？

许多文章(仅引用首次发现的 result )说可能存在隐式的左值到右值的转换，但相反的方向是不可能的——为什么？此示例显示 arg -s 从 int&& 转换而来至int&然后尝试隐式转换 int&至int&&这会导致编译错误——恰恰相反!这就是为什么我们需要 std::move这基本上是对右值类型的显式静态转换。

Answer 1

arg变量的类型为 int&&并且没有值(value)类别。
arg表达式(它是第 3 行和第 4 行的表达式)的类型为 int和值(value)类别“左值”

左值到右值的转换会更改表达式的值类别，而不会更改其类型。如果你写 arg+1在函数内部，左值表达式 arg类型 int将进行此转换以生成类型为 int 的纯右值表达式, 因为那是内置的 +需要。

int& 和 int&& 之间没有“左值到右值”或反向转换，因为表达式从来没有引用类型。您的程序中的错误是 失败。绑定(bind) 对左值表达式(类型为 int)的右值引用(类型为 int&&)。