在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>