右值参考还是左值？

Question

我有一个与 5 年前发布的类似性质的问题： Why are rvalues references variables not rvalue?

我最关心的是为什么我可以这样做：

int&& k = 3;
k++;

但我不能这样做：

(static_cast<int&&>(3))++;

我一直将右值引用解释为左值，因为右值引用变量是左值。但显然情况并非如此。有人可以向我解释为什么 (static_cast<int&&>(3))++; 会导致 using rvalue as lvalue 吗？

Answer 1

混淆可能是由r-value 和r-value reference 之间的差异引起的。前者是只适用于表达式的值类别，而后者是适用于变量的类型（从技术上讲，它需要是某种类型，例如对 int 的 r 值引用）。

所以你显示的sn-ps之间的区别实际上与变量的type无关，而是value-category 表达式的em>。后缀operator++ 要求操作数的值类别是左值，无论操作数的类型如何。

在k++中，表达式k是一个左值（粗略地说，它有一个名字），也就是它的值类别。变量 k 的 type 是一个 r 值引用，但这没关系。

在(static_cast<int&&>(3))++ 中，表达式static_cast<int&&>(3) 是一个右值（它没有名称），它是它的值类别。不管static_cast<int&&>（即int）的type是什么，value-category都是错误的，所以你会得到一个错误。

请注意，错误消息using rvalue as lvalue 指的是正在使用的表达式的值类别。它与变量的类型无关。