在C/C++中,左值(lvalue)和右值(rvalue)是用于规定表达式(expression)的性质。C++中表达式要不然是左值,要不然是右值。
这两个概念在C语言中比较容易理解:左值能放在赋值语句的左边,右值不能。但是当来到C++时,二者的理解就比较复杂了(PS:有对象真是麻烦)
简单的归纳:
- 当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份即在内存中的地址。
- 左值是代表一个内存地址值,并且通过这个内存地址,就可以对内存进行读并且写(
主要是能写
)操作。 - 在需要右值的地方可以用左值来代替,但是不能把右值当成左值使用。
- 关键是搞清楚,什么是右值,或者说什么不能用作左值(字面常量、&a的结果等等)。
举例来说:
- 赋值运算符需要一个(非常量)左值作为其左侧运算对象,最后得到的结果也是一个左值。eg:
<pre>num1 = num2 =num3;</pre> 在这里,等于运算符从右到左计算,所以num2和num1是左值,num2=num3得到的结果也是左值,但是在这个语句里被当成右值使用了。 - 取地址符作用于一个左值运算对象,返回一个指向该运算对象的指针,这个指针是一个右值。eg:
<pre>int a = 10; int *p = &a;</pre>在这里,p是一个左值,&a的结果是右值,因为&a的结果是一个地址(字面常量)。 - 内置解引用运算符、下标运算符、迭代器解引用运算符、string和vector的下标运算符的求值结果,都是左值。
- 内置类型和迭代器的递增递减运算符作用于左值运算对象所得的结果也是左值。
特例两个
- 当函数的返回值是引用类型是,可以用作左值,当函数的返回值是其他类型时,不能用作左值。eg:
<pre>char &get_val(string &str, string::size_type ix )
{
return str[ix];
}
int main()
{
string s("a value");
cout << s << endl;
get_val(s,0) = 'A';//get_val函数调用作为左值
return 0;
}</pre>在这里,get_val函数的返回值是引用,可以用作左值。 - 关于decltype,decltype返回的是一个类型不是一个表达式。当decltype作用于表达式的时候,结果根据表达式的不同也有所不同。如果表达式的结果是一个左值,这decltype作用于该表达式得到一个引用类型。eg:
<pre>int a = 11;
int p = &a;
decltpye(p) b = a;
</pre>
如果表达式的结果是一个右值,则decltype作用于该表达式得到的是一个指针类型。eg:
<pre>int a = 11;
int *p = &a;
decltype(&p) p2 = &p</pre>