C 11引入了新的值类别,其中一个是xvalue.
Stroustrup将它作为类似(im类别)的explained:“它是一个值,它具有身份,但可以从”移动“.
另一个来源,
cppreference解释:
a glvalue is an expression whose evaluation determines the identity of an object,bit-field,or function;
而xvalue是一个glvalue,所以这个声明也适用于xvalue.
现在,我认为如果xvalue有标识,那么我可以检查两个xvalues是否引用同一个对象,所以我取一个xvalue的地址.事实证明,不允许:
int main() { int a; int *b = &std::move(a); // NOT ALLOWED }
xvalue有身份是什么意思?
解决方法
xvalue确实有一个标识,但是语言中有一个单独的规则,一元& -expression需要一个左值操作数.来自[expr.unary.op]:
The result of the unary
&
operator is a pointer to its operand. The operand shall be an lvalue […]
通过将xvalue绑定到引用,可以在执行rvalue-to -valval转换后查看xvalue的标识:
int &&r = std::move(a); int *p = &r; // OK