C++的表达式要不然是右值(rvalue)要不然就是左值(lvalue),这两个名词时从C语言继承过来的,原本是为了帮助记忆:左值可以位于赋值语句的左侧,右值不能。C++中二者的区别比较大。
C++中左值和右值
一个左值表达式的求值结果是一个对象或者一个函数,然而以常量对象为代表的某些左值实际上不能作为赋值语句的左侧运算对象。此外,虽然某些表达式的求值结果是对象,但它们是右值而非左值。
归纳:
当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份(在内存中的位置)。
重要原则
在需要右值的地方可以用左值来替代,但是不能把右值当成左值(也就是位置)使用。当一个左值被当成右值使用时,实际使用的是它的内容(值)。
用到左值的运算符:
- 赋值运算符需要要给(非常量)左值作为其左侧运算对象,得到的结果也仍然是左值
- 取地址符作用于一个左值运算对象,返回一个指向该运算对象的指针,该指针是右值
- 内置解引用运算符、下标运算符、迭代器解引用运算符、string和vector的下标运算符的求值结果都是左值
- 内置类型和迭代器的递增递减运算符作用于左值运算对象,其前置版本所得的结果也是左值
对于decltype
使用decltype时,左值和右值也有所不同。若表达式的求值结果是左值,decltype作用于该表达式(不是常量)得到一个引用类型。若表达式的求值结果是右值,decltype作用于该表达式(不是常量)得到一个指针类型。
下面举例说明:
int* p;
decltype(*p); //结果是int类型的引用 int&
decltype(&p); //结果是一个指向整型指针的指针 int**