c – “xvalue有身份”是什么意思?

前端之家收集整理的这篇文章主要介绍了c – “xvalue有身份”是什么意思?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
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

猜你在找的C&C++相关文章