C/C++左值性精髓（二）哪些表達式是左值，哪些是右值？----右值表達式

C對於右值的定義是表達式的值，C中全部完整表達式的結果都是右值。所謂完整表達式（full expression），指的是這樣的表達式，它不是其它表達式或聲明符的一部分。包括條件表達式和逗號表達式等等都不產生左值，而子表達式計算產生的中間結果或臨時對象，不少人覺得都是右值，但實際上，它們不必定是右值。例如：

int a[ 5 ] = { 1, 2, 3, 4, 5 };

int *p = a;

*p = 2;                         /* A */

a[ 1 ] = 3;                     /* B */

*p;                             /* C */

a[ 1 ];                         /* D */

A和B中的*p和a[ 1 ]都是內置賦值運算符的子表達式，雖然都是中間結果，但顯然都屬於左值表達式；只有當它們做爲完整表達式時，如C和D中的*p和a[ 1 ]所示，都會進行最後的左值轉換，使得結果皆爲右值。這個現象的本質，是因爲C將全部完整表達式的結果一概進行最後的從左值到右值的轉換，這個行爲能夠理解爲一個徹底求值的過程（徹底求值不是標準術語）。

        但C++的完整表達式並不要求進行徹底求值，是否保留左值性視須要而定，這個「須要」是什麼？實際上是C++某些運算符的強制規定，例如內置賦值運算符、前置增量和前置減量運算符等等，這類運算符的結果被強制規定爲左值，對於條件運算符，只有第二和第三表達式皆爲左值且類型相同時才保證結果爲左值。緣由無它，僅僅規定而已。

右值是否是對象？因爲左值要求一個對象，所以比較容易產生的誤解是，右值不是對象。但，若是函數返回一個結構呢？

struct S { int a; };

struct S fun( void ){ struct S s; ...; return s }

因爲POD結構屬於彙集，不是標量，於是POD結構不是一個值，標量才被視爲一個值。上述代碼中，fun返回了一個POD結構S的臨時對象，並且是一個右值，即不管C仍是C++都存在右值對象，。所以，右值只是不要求是對象，並不是不能是對象。